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-4.opb
MD5SUM	4ad922a0ad53056b410be6ab5caa6b5b
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	13489
Number of constraints which are clauses	13489
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 24190

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 00:53:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1888 boxname=wulflinc31 idbench=210 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  4ad922a0ad53056b410be6ab5caa6b5b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4.opb
IDLAUNCH: 1888
/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:        136416 kB
Buffers:         42608 kB
Cached:         821096 kB
SwapCached:        644 kB
Active:         495476 kB
Inactive:       370556 kB
HighTotal:      131008 kB
HighFree:          532 kB
LowTotal:       903652 kB
LowFree:        135884 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26576 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 01:13:13 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 1888 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.93 2/54 18670
Raw data (stat): 18670 (runsolver) R 18669 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 696432916 1056768 100 4294967295 134512640 135381576 3221221696 3221216920 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1222 0 0 0 993 3 0 0 25 0 1 0 696432916 10747904 1199 4294967295 134512640 134581331 3221221792 3221220784 134561084 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.0017 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1351 0 0 0 1993 4 0 0 25 0 1 0 696432916 11276288 1328 4294967295 134512640 134581331 3221221792 3221220784 134561134 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2753 1328 566 18 0 2735 0
vsize: 11012
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1559 0 0 0 2993 4 0 0 25 0 1 0 696432916 12070912 1536 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2947 1536 566 18 0 2929 0
vsize: 11788
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1652 0 0 0 3992 5 0 0 25 0 1 0 696432916 12468224 1629 4294967295 134512640 134581331 3221221792 3221220688 134517894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3044 1629 566 18 0 3026 0
vsize: 12176
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1682 0 0 0 4992 5 0 0 25 0 1 0 696432916 12603392 1659 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3077 1659 566 18 0 3059 0
vsize: 12308
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1738 0 0 0 5992 5 0 0 25 0 1 0 696432916 12865536 1715 4294967295 134512640 134581331 3221221792 3221220800 134560421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1715 566 18 0 3123 0
vsize: 12564
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1738 0 0 0 6992 5 0 0 25 0 1 0 696432916 12865536 1715 4294967295 134512640 134581331 3221221792 3221220736 134559269 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3141 1715 566 18 0 3123 0
vsize: 12564
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1843 0 0 0 7992 6 0 0 25 0 1 0 696432916 13262848 1820 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1820 566 18 0 3220 0
vsize: 12952
[startup+90.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1847 0 0 0 8993 6 0 0 25 0 1 0 696432916 13262848 1824 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1824 566 18 0 3220 0
vsize: 12952
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1856 0 0 0 9993 6 0 0 25 0 1 0 696432916 13262848 1833 4294967295 134512640 134581331 3221221792 3221220672 134560366 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1833 566 18 0 3220 0
vsize: 12952
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1856 0 0 0 10993 6 0 0 25 0 1 0 696432916 13262848 1833 4294967295 134512640 134581331 3221221792 3221220784 134561148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1833 566 18 0 3220 0
vsize: 12952
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1895 0 0 0 11993 6 0 0 25 0 1 0 696432916 13615104 1872 4294967295 134512640 134581331 3221221792 3221220724 134558768 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3324 1872 566 18 0 3306 0
vsize: 13296
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1910 0 0 0 12993 6 0 0 25 0 1 0 696432916 13615104 1887 4294967295 134512640 134581331 3221221792 3221220672 134560453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3324 1887 566 18 0 3306 0
vsize: 13296
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1924 0 0 0 13993 6 0 0 25 0 1 0 696432916 13754368 1901 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3358 1901 566 18 0 3340 0
vsize: 13432
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1969 0 0 0 14993 6 0 0 25 0 1 0 696432916 13885440 1946 4294967295 134512640 134581331 3221221792 3221220688 134517851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 1946 566 18 0 3372 0
vsize: 13560
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 1970 0 0 0 15993 6 0 0 25 0 1 0 696432916 13885440 1947 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 1947 566 18 0 3372 0
vsize: 13560
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2059 0 0 0 16993 6 0 0 25 0 1 0 696432916 14286848 2036 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2036 566 18 0 3470 0
vsize: 13952
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2118 0 0 0 17993 7 0 0 25 0 1 0 696432916 14417920 2095 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3520 2095 566 18 0 3502 0
vsize: 14080
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2123 0 0 0 18993 7 0 0 25 0 1 0 696432916 14561280 2100 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2100 566 18 0 3537 0
vsize: 14220
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2174 0 0 0 19993 7 0 0 25 0 1 0 696432916 14692352 2151 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2151 566 18 0 3569 0
vsize: 14348
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2175 0 0 0 20994 7 0 0 25 0 1 0 696432916 14692352 2152 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2152 566 18 0 3569 0
vsize: 14348
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2175 0 0 0 21994 7 0 0 25 0 1 0 696432916 14692352 2152 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2152 566 18 0 3569 0
vsize: 14348
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2175 0 0 0 22994 7 0 0 25 0 1 0 696432916 14692352 2152 4294967295 134512640 134581331 3221221792 3221220784 134561073 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2152 566 18 0 3569 0
vsize: 14348
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2175 0 0 0 23994 7 0 0 25 0 1 0 696432916 14692352 2152 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2152 566 18 0 3569 0
vsize: 14348
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2193 0 0 0 24994 7 0 0 25 0 1 0 696432916 14823424 2170 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2170 566 18 0 3601 0
vsize: 14476
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2384 0 0 0 25994 8 0 0 25 0 1 0 696432916 15618048 2361 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3813 2361 566 18 0 3795 0
vsize: 15252
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2384 0 0 0 26994 8 0 0 25 0 1 0 696432916 15618048 2361 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3813 2361 566 18 0 3795 0
vsize: 15252
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2392 0 0 0 27994 8 0 0 25 0 1 0 696432916 15618048 2369 4294967295 134512640 134581331 3221221792 3221220784 134560631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3813 2369 566 18 0 3795 0
vsize: 15252
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2435 0 0 0 28994 8 0 0 25 0 1 0 696432916 15761408 2412 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2412 566 18 0 3830 0
vsize: 15392
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2435 0 0 0 29994 8 0 0 25 0 1 0 696432916 15761408 2412 4294967295 134512640 134581331 3221221792 3221220720 134520043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2412 566 18 0 3830 0
vsize: 15392
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2435 0 0 0 30994 8 0 0 25 0 1 0 696432916 15761408 2412 4294967295 134512640 134581331 3221221792 3221220672 134560350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2412 566 18 0 3830 0
vsize: 15392
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2454 0 0 0 31994 8 0 0 25 0 1 0 696432916 15908864 2431 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2431 566 18 0 3866 0
vsize: 15536
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2465 0 0 0 32994 9 0 0 25 0 1 0 696432916 15908864 2442 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2442 566 18 0 3866 0
vsize: 15536
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2467 0 0 0 33994 9 0 0 25 0 1 0 696432916 15908864 2444 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3884 2444 566 18 0 3866 0
vsize: 15536
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2530 0 0 0 34993 9 0 0 25 0 1 0 696432916 16175104 2507 4294967295 134512640 134581331 3221221792 3221220672 134560433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3949 2507 566 18 0 3931 0
vsize: 15796
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2613 0 0 0 35993 9 0 0 25 0 1 0 696432916 16576512 2590 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4047 2590 566 18 0 4029 0
vsize: 16188
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2613 0 0 0 36994 9 0 0 25 0 1 0 696432916 16576512 2590 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4047 2590 566 18 0 4029 0
vsize: 16188
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2628 0 0 0 37994 9 0 0 25 0 1 0 696432916 16576512 2605 4294967295 134512640 134581331 3221221792 3221220736 134559312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4047 2605 566 18 0 4029 0
vsize: 16188
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2785 0 0 0 38993 10 0 0 25 0 1 0 696432916 17231872 2762 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4207 2762 566 18 0 4189 0
vsize: 16828
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 39993 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220672 134520182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 40993 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220736 134559219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 41994 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 42994 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220784 134561120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 43994 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 44994 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2807 0 0 0 45994 10 0 0 25 0 1 0 696432916 17367040 2784 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2784 566 18 0 4222 0
vsize: 16960
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2808 0 0 0 46994 11 0 0 25 0 1 0 696432916 17367040 2785 4294967295 134512640 134581331 3221221792 3221220736 134559285 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2785 566 18 0 4222 0
vsize: 16960
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2808 0 0 0 47994 11 0 0 25 0 1 0 696432916 17367040 2785 4294967295 134512640 134581331 3221221792 3221220720 134519820 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2785 566 18 0 4222 0
vsize: 16960
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2808 0 0 0 48995 11 0 0 25 0 1 0 696432916 17367040 2785 4294967295 134512640 134581331 3221221792 3221220720 134519928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2785 566 18 0 4222 0
vsize: 16960
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2809 0 0 0 49995 11 0 0 25 0 1 0 696432916 17367040 2786 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2786 566 18 0 4222 0
vsize: 16960
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2810 0 0 0 50995 11 0 0 25 0 1 0 696432916 17367040 2787 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2787 566 18 0 4222 0
vsize: 16960
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2810 0 0 0 51995 11 0 0 25 0 1 0 696432916 17367040 2787 4294967295 134512640 134581331 3221221792 3221220688 134517862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2787 566 18 0 4222 0
vsize: 16960
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2810 0 0 0 52995 11 0 0 25 0 1 0 696432916 17367040 2787 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2787 566 18 0 4222 0
vsize: 16960
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2824 0 0 0 53995 11 0 0 25 0 1 0 696432916 17367040 2801 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4240 2801 566 18 0 4222 0
vsize: 16960
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2844 0 0 0 54995 11 0 0 25 0 1 0 696432916 17502208 2821 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 2821 566 18 0 4255 0
vsize: 17092
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2844 0 0 0 55996 11 0 0 25 0 1 0 696432916 17502208 2821 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 2821 566 18 0 4255 0
vsize: 17092
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2844 0 0 0 56996 11 0 0 25 0 1 0 696432916 17502208 2821 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 2821 566 18 0 4255 0
vsize: 17092
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2872 0 0 0 57996 11 0 0 25 0 1 0 696432916 17637376 2849 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2849 566 18 0 4288 0
vsize: 17224
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2894 0 0 0 58996 11 0 0 25 0 1 0 696432916 17637376 2871 4294967295 134512640 134581331 3221221792 3221220720 134519899 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2871 566 18 0 4288 0
vsize: 17224
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2894 0 0 0 59996 11 0 0 25 0 1 0 696432916 17637376 2871 4294967295 134512640 134581331 3221221792 3221220720 134520027 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4306 2871 566 18 0 4288 0
vsize: 17224
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2905 0 0 0 60996 11 0 0 25 0 1 0 696432916 17793024 2882 4294967295 134512640 134581331 3221221792 3221220784 134561111 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 2882 566 18 0 4326 0
vsize: 17376
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 2906 0 0 0 61997 11 0 0 25 0 1 0 696432916 17793024 2883 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4344 2883 566 18 0 4326 0
vsize: 17376
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3065 0 0 0 62996 12 0 0 25 0 1 0 696432916 18456576 3042 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3042 566 18 0 4488 0
vsize: 18024
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3070 0 0 0 63996 12 0 0 25 0 1 0 696432916 18456576 3047 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3047 566 18 0 4488 0
vsize: 18024
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3078 0 0 0 64996 12 0 0 25 0 1 0 696432916 18456576 3055 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3055 566 18 0 4488 0
vsize: 18024
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3088 0 0 0 65996 12 0 0 25 0 1 0 696432916 18595840 3065 4294967295 134512640 134581331 3221221792 3221220752 134519892 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3065 566 18 0 4522 0
vsize: 18160
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3090 0 0 0 66997 12 0 0 25 0 1 0 696432916 18595840 3067 4294967295 134512640 134581331 3221221792 3221220720 134519797 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3067 566 18 0 4522 0
vsize: 18160
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3094 0 0 0 67997 12 0 0 25 0 1 0 696432916 18595840 3071 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3071 566 18 0 4522 0
vsize: 18160
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3094 0 0 0 68997 12 0 0 25 0 1 0 696432916 18595840 3071 4294967295 134512640 134581331 3221221792 3221220784 134560631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3071 566 18 0 4522 0
vsize: 18160
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3103 0 0 0 69997 12 0 0 25 0 1 0 696432916 18595840 3080 4294967295 134512640 134581331 3221221792 3221220672 134560228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3080 566 18 0 4522 0
vsize: 18160
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3104 0 0 0 70997 12 0 0 25 0 1 0 696432916 18595840 3081 4294967295 134512640 134581331 3221221792 3221220704 134531386 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3081 566 18 0 4522 0
vsize: 18160
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3117 0 0 0 71997 12 0 0 25 0 1 0 696432916 18595840 3094 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3094 566 18 0 4522 0
vsize: 18160
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3117 0 0 0 72997 12 0 0 25 0 1 0 696432916 18595840 3094 4294967295 134512640 134581331 3221221792 3221220784 134560650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3094 566 18 0 4522 0
vsize: 18160
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3126 0 0 0 73998 12 0 0 25 0 1 0 696432916 18792448 3103 4294967295 134512640 134581331 3221221792 3221220672 134560334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3103 566 18 0 4570 0
vsize: 18352
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3128 0 0 0 74998 12 0 0 25 0 1 0 696432916 18792448 3105 4294967295 134512640 134581331 3221221792 3221220784 134560663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3105 566 18 0 4570 0
vsize: 18352
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3129 0 0 0 75998 12 0 0 25 0 1 0 696432916 18792448 3106 4294967295 134512640 134581331 3221221792 3221220768 134560730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3106 566 18 0 4570 0
vsize: 18352
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3130 0 0 0 76998 12 0 0 25 0 1 0 696432916 18792448 3107 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3107 566 18 0 4570 0
vsize: 18352
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3141 0 0 0 77998 12 0 0 25 0 1 0 696432916 18792448 3118 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3118 566 18 0 4570 0
vsize: 18352
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3142 0 0 0 78998 12 0 0 25 0 1 0 696432916 18792448 3119 4294967295 134512640 134581331 3221221792 3221220736 134559393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3119 566 18 0 4570 0
vsize: 18352
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3142 0 0 0 79999 12 0 0 25 0 1 0 696432916 18792448 3119 4294967295 134512640 134581331 3221221792 3221220752 134531401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3119 566 18 0 4570 0
vsize: 18352
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3142 0 0 0 80999 12 0 0 25 0 1 0 696432916 18792448 3119 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3119 566 18 0 4570 0
vsize: 18352
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3143 0 0 0 81999 12 0 0 25 0 1 0 696432916 18792448 3120 4294967295 134512640 134581331 3221221792 3221220720 134520109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3120 566 18 0 4570 0
vsize: 18352
[startup+830.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3154 0 0 0 82999 13 0 0 25 0 1 0 696432916 18792448 3131 4294967295 134512640 134581331 3221221792 3221220780 134561090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3131 566 18 0 4570 0
vsize: 18352
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3154 0 0 0 83999 13 0 0 25 0 1 0 696432916 18792448 3131 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3131 566 18 0 4570 0
vsize: 18352
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3154 0 0 0 84999 13 0 0 25 0 1 0 696432916 18792448 3131 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3131 566 18 0 4570 0
vsize: 18352
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3154 0 0 0 85999 13 0 0 25 0 1 0 696432916 18792448 3131 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3131 566 18 0 4570 0
vsize: 18352
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3154 0 0 0 87000 13 0 0 25 0 1 0 696432916 18792448 3131 4294967295 134512640 134581331 3221221792 3221220704 134519980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3131 566 18 0 4570 0
vsize: 18352
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 88000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 89000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 90000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220736 134559219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+910.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 91000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220688 134517865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+920.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 92000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3155 0 0 0 93000 13 0 0 25 0 1 0 696432916 18792448 3132 4294967295 134512640 134581331 3221221792 3221220736 134559223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3132 566 18 0 4570 0
vsize: 18352
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3198 0 0 0 94000 13 0 0 25 0 1 0 696432916 19087360 3175 4294967295 134512640 134581331 3221221792 3221220736 134559274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3175 566 18 0 4642 0
vsize: 18640
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3198 0 0 0 95000 14 0 0 25 0 1 0 696432916 19087360 3175 4294967295 134512640 134581331 3221221792 3221220720 134519869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3175 566 18 0 4642 0
vsize: 18640
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3201 0 0 0 96000 14 0 0 25 0 1 0 696432916 19087360 3178 4294967295 134512640 134581331 3221221792 3221220784 134561137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3178 566 18 0 4642 0
vsize: 18640
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3210 0 0 0 97000 14 0 0 25 0 1 0 696432916 19087360 3187 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3187 566 18 0 4642 0
vsize: 18640
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3216 0 0 0 98000 14 0 0 25 0 1 0 696432916 19087360 3193 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4660 3193 566 18 0 4642 0
vsize: 18640
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3375 0 0 0 99000 14 0 0 25 0 1 0 696432916 19800064 3352 4294967295 134512640 134581331 3221221792 3221220720 134519826 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4834 3352 566 18 0 4816 0
vsize: 19336
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3380 0 0 0 100000 14 0 0 25 0 1 0 696432916 19800064 3357 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4834 3357 566 18 0 4816 0
vsize: 19336
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3381 0 0 0 101000 14 0 0 25 0 1 0 696432916 19800064 3358 4294967295 134512640 134581331 3221221792 3221220688 134517878 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4834 3358 566 18 0 4816 0
vsize: 19336
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3382 0 0 0 102001 14 0 0 25 0 1 0 696432916 19800064 3359 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4834 3359 566 18 0 4816 0
vsize: 19336
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3399 0 0 0 103001 14 0 0 25 0 1 0 696432916 19992576 3376 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4881 3376 566 18 0 4863 0
vsize: 19524
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3455 0 0 0 104001 14 0 0 25 0 1 0 696432916 20123648 3432 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3432 566 18 0 4895 0
vsize: 19652
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3455 0 0 0 105001 14 0 0 25 0 1 0 696432916 20123648 3432 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3432 566 18 0 4895 0
vsize: 19652
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3455 0 0 0 106001 14 0 0 25 0 1 0 696432916 20123648 3432 4294967295 134512640 134581331 3221221792 3221220720 134519829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3432 566 18 0 4895 0
vsize: 19652
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3455 0 0 0 107001 14 0 0 25 0 1 0 696432916 20123648 3432 4294967295 134512640 134581331 3221221792 3221220736 134559279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3432 566 18 0 4895 0
vsize: 19652
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3455 0 0 0 108001 14 0 0 25 0 1 0 696432916 20123648 3432 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3432 566 18 0 4895 0
vsize: 19652
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3492 0 0 0 109001 15 0 0 25 0 1 0 696432916 20258816 3469 4294967295 134512640 134581331 3221221792 3221220752 134516726 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 3469 566 18 0 4928 0
vsize: 19784
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3492 0 0 0 110002 15 0 0 25 0 1 0 696432916 20258816 3469 4294967295 134512640 134581331 3221221792 3221220736 134559059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 3469 566 18 0 4928 0
vsize: 19784
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3492 0 0 0 111002 15 0 0 25 0 1 0 696432916 20258816 3469 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 3469 566 18 0 4928 0
vsize: 19784
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3492 0 0 0 112002 15 0 0 25 0 1 0 696432916 20258816 3469 4294967295 134512640 134581331 3221221792 3221220784 134561128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 3469 566 18 0 4928 0
vsize: 19784
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 113002 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220736 134558859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 114002 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220784 134561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 115002 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 116002 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220784 134561084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 117003 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220720 134519803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3503 0 0 0 118003 15 0 0 25 0 1 0 696432916 20430848 3480 4294967295 134512640 134581331 3221221792 3221220784 134561059 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3480 566 18 0 4970 0
vsize: 19952
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3512 0 0 0 119003 15 0 0 25 0 1 0 696432916 20430848 3489 4294967295 134512640 134581331 3221221792 3221220768 134560721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3489 566 18 0 4970 0
vsize: 19952
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 18670
Raw data (stat): 18670 (Pueblo) R 18669 7876 7672 0 -1 0 3513 0 0 0 120003 15 0 0 25 0 1 0 696432916 20430848 3490 4294967295 134512640 134581331 3221221792 3221220720 134519924 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4988 3490 566 18 0 4970 0
vsize: 19952
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.93 1/54 18670
Raw data (stat): 18670 (Pueblo) Z 18669 7876 7672 0 -1 1036 3513 0 0 0 120003 16 0 0 25 0 1 0 696432916 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.2
CPU user time (s): 1200.04
CPU system time (s): 0.160975
CPU usage (%): 100.013
Max. virtual memory (Kb): 19952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####