PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-rout.opb
MD5SUM	46c175563919d1fe493ed3da6f49d52f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1251872
Optimality of the best value was proved	NO
Number of terms in the objective function	21
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	2097151
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	33812000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	166074535
Number of bits of the biggest sum of numbers	28
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1585.77
Number of variables	5151
Total number of constraints	606
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	314
Number of constraints which are nor clauses,nor cardinality constraints	292
Minimum length of a constraint	1
Maximum length of a constraint	617
Trace number 27209

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 20:07:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17986 boxname=wulflinc24 idbench=1384 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  46c175563919d1fe493ed3da6f49d52f  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-rout.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-rout.opb
IDLAUNCH: 17986
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        800480 kB
Buffers:         36460 kB
Cached:         174532 kB
SwapCached:        624 kB
Active:          61348 kB
Inactive:       152128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        800228 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14924 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 20:27:24 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 17986 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/54 7641
Raw data (stat): 7641 (runsolver) R 7640 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832990980 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1360 0 0 0 995 3 0 0 25 0 1 0 832990980 11374592 1338 4294967295 134512640 134581331 3221224608 3221223520 134527709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2777 1338 566 18 0 2759 0
vsize: 11108
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1418 0 0 0 1995 3 0 0 25 0 1 0 832990980 11640832 1396 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2842 1396 566 18 0 2824 0
vsize: 11368
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1556 0 0 0 2994 4 0 0 25 0 1 0 832990980 12165120 1534 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 1534 566 18 0 2952 0
vsize: 11880
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1589 0 0 0 3994 4 0 0 25 0 1 0 832990980 12296192 1567 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3002 1567 566 18 0 2984 0
vsize: 12008
[startup+50.0009 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1600 0 0 0 4995 4 0 0 25 0 1 0 832990980 12427264 1578 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 1578 566 18 0 3016 0
vsize: 12136
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1600 0 0 0 5995 4 0 0 25 0 1 0 832990980 12427264 1578 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 1578 566 18 0 3016 0
vsize: 12136
[startup+70.0004 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1601 0 0 0 6995 4 0 0 25 0 1 0 832990980 12427264 1579 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 1579 566 18 0 3016 0
vsize: 12136
[startup+80.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1622 0 0 0 7995 4 0 0 25 0 1 0 832990980 12427264 1600 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3034 1600 566 18 0 3016 0
vsize: 12136
[startup+90.0004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1671 0 0 0 8995 4 0 0 25 0 1 0 832990980 12701696 1649 4294967295 134512640 134581331 3221224608 3221223244 1075289071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1649 566 18 0 3083 0
vsize: 12404
[startup+100 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1676 0 0 0 9995 4 0 0 25 0 1 0 832990980 12701696 1654 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3101 1654 566 18 0 3083 0
vsize: 12404
[startup+110.001 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1700 0 0 0 10995 5 0 0 25 0 1 0 832990980 12832768 1678 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 1678 566 18 0 3115 0
vsize: 12532
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1700 0 0 0 11996 5 0 0 25 0 1 0 832990980 12832768 1678 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3133 1678 566 18 0 3115 0
vsize: 12532
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1773 0 0 0 12996 5 0 0 25 0 1 0 832990980 13094912 1751 4294967295 134512640 134581331 3221224608 3221223488 134520246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1751 566 18 0 3179 0
vsize: 12788
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1773 0 0 0 13995 5 0 0 25 0 1 0 832990980 13094912 1751 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1751 566 18 0 3179 0
vsize: 12788
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 14996 5 0 0 25 0 1 0 832990980 13094912 1764 4294967295 134512640 134581331 3221224608 3221223680 134531400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1764 566 18 0 3179 0
vsize: 12788
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 15996 6 0 0 25 0 1 0 832990980 13094912 1764 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1764 566 18 0 3179 0
vsize: 12788
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 16996 6 0 0 25 0 1 0 832990980 13094912 1764 4294967295 134512640 134581331 3221224608 3221223472 134528370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1764 566 18 0 3179 0
vsize: 12788
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 17996 6 0 0 25 0 1 0 832990980 13094912 1764 4294967295 134512640 134581331 3221224608 3221223536 134519950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1764 566 18 0 3179 0
vsize: 12788
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 18996 6 0 0 25 0 1 0 832990980 13094912 1764 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3197 1764 566 18 0 3179 0
vsize: 12788
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 19996 6 0 0 25 0 1 0 832990980 13049856 1754 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3186 1754 566 18 0 3168 0
vsize: 12744
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 20997 6 0 0 25 0 1 0 832990980 13049856 1754 4294967295 134512640 134581331 3221224608 3221223392 134528782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3186 1754 566 18 0 3168 0
vsize: 12744
[startup+220.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1786 0 0 0 21997 6 0 0 25 0 1 0 832990980 13000704 1742 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3174 1742 566 18 0 3156 0
vsize: 12696
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1789 0 0 0 22997 6 0 0 25 0 1 0 832990980 13131776 1745 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3206 1745 566 18 0 3188 0
vsize: 12824
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1827 0 0 0 23997 6 0 0 25 0 1 0 832990980 13262848 1783 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1783 566 18 0 3220 0
vsize: 12952
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1837 0 0 0 24997 6 0 0 25 0 1 0 832990980 13262848 1793 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1793 566 18 0 3220 0
vsize: 12952
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1838 0 0 0 25997 6 0 0 25 0 1 0 832990980 13262848 1794 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1794 566 18 0 3220 0
vsize: 12952
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1838 0 0 0 26997 6 0 0 25 0 1 0 832990980 13262848 1794 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3238 1794 566 18 0 3220 0
vsize: 12952
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1870 0 0 0 27997 6 0 0 25 0 1 0 832990980 13393920 1826 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 1826 566 18 0 3252 0
vsize: 13080
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1870 0 0 0 28998 6 0 0 25 0 1 0 832990980 13393920 1826 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 1826 566 18 0 3252 0
vsize: 13080
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1880 0 0 0 29998 6 0 0 25 0 1 0 832990980 13393920 1836 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 1836 566 18 0 3252 0
vsize: 13080
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1880 0 0 0 30998 6 0 0 25 0 1 0 832990980 13393920 1836 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 1836 566 18 0 3252 0
vsize: 13080
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1880 0 0 0 31998 6 0 0 25 0 1 0 832990980 13393920 1836 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3270 1836 566 18 0 3252 0
vsize: 13080
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 32998 6 0 0 25 0 1 0 832990980 13524992 1848 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3302 1848 566 18 0 3284 0
vsize: 13208
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 33998 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 34999 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 35999 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+370.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 36999 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 37999 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+390.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 38999 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 40000 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1892 0 0 0 41000 6 0 0 25 0 1 0 832990980 13479936 1848 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 1848 566 18 0 3273 0
vsize: 13164
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1934 0 0 0 42000 6 0 0 25 0 1 0 832990980 13611008 1890 4294967295 134512640 134581331 3221224608 3221223520 134527973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 1890 566 18 0 3305 0
vsize: 13292
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1934 0 0 0 43000 6 0 0 25 0 1 0 832990980 13611008 1890 4294967295 134512640 134581331 3221224608 3221223536 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 1890 566 18 0 3305 0
vsize: 13292
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1936 0 0 0 44000 6 0 0 25 0 1 0 832990980 13742080 1892 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1892 566 18 0 3337 0
vsize: 13420
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1947 0 0 0 45000 7 0 0 25 0 1 0 832990980 13742080 1903 4294967295 134512640 134581331 3221224608 3221223496 134560195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1903 566 18 0 3337 0
vsize: 13420
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1947 0 0 0 46001 7 0 0 25 0 1 0 832990980 13742080 1903 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1903 566 18 0 3337 0
vsize: 13420
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1952 0 0 0 47001 7 0 0 25 0 1 0 832990980 13742080 1908 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1908 566 18 0 3337 0
vsize: 13420
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1952 0 0 0 48001 7 0 0 25 0 1 0 832990980 13742080 1908 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1908 566 18 0 3337 0
vsize: 13420
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1952 0 0 0 49001 7 0 0 25 0 1 0 832990980 13742080 1908 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1908 566 18 0 3337 0
vsize: 13420
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 50001 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 51001 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 52002 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+530.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 53002 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+540.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 54002 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+550.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 55002 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223472 134560296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+560.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1960 0 0 0 56002 7 0 0 25 0 1 0 832990980 13742080 1916 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1916 566 18 0 3337 0
vsize: 13420
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1961 0 0 0 57002 7 0 0 25 0 1 0 832990980 13742080 1917 4294967295 134512640 134581331 3221224608 3221223472 134528270 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1917 566 18 0 3337 0
vsize: 13420
[startup+580.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1961 0 0 0 58003 7 0 0 25 0 1 0 832990980 13742080 1917 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1917 566 18 0 3337 0
vsize: 13420
[startup+590.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1961 0 0 0 59003 7 0 0 25 0 1 0 832990980 13742080 1917 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3355 1917 566 18 0 3337 0
vsize: 13420
[startup+600.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 1967 0 0 0 60003 7 0 0 25 0 1 0 832990980 13873152 1923 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3387 1923 566 18 0 3369 0
vsize: 13548
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2000 0 0 0 61003 7 0 0 25 0 1 0 832990980 14004224 1956 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3419 1956 566 18 0 3401 0
vsize: 13676
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2000 0 0 0 62003 7 0 0 25 0 1 0 832990980 13955072 1956 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3407 1956 566 18 0 3389 0
vsize: 13628
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 63003 7 0 0 25 0 1 0 832990980 14086144 1982 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3439 1982 566 18 0 3421 0
vsize: 13756
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 64003 7 0 0 25 0 1 0 832990980 14086144 1982 4294967295 134512640 134581331 3221224608 3221223520 134527420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3439 1982 566 18 0 3421 0
vsize: 13756
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 65004 7 0 0 25 0 1 0 832990980 14086144 1982 4294967295 134512640 134581331 3221224608 3221223592 134560790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3439 1982 566 18 0 3421 0
vsize: 13756
[startup+660.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 66004 7 0 0 25 0 1 0 832990980 14041088 1982 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3428 1982 566 18 0 3410 0
vsize: 13712
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 67004 7 0 0 25 0 1 0 832990980 14016512 1982 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 1982 566 18 0 3404 0
vsize: 13688
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 68004 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 69004 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+700.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 70004 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 71005 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+720.017 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 72005 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+730.018 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2026 0 0 0 73005 7 0 0 25 0 1 0 832990980 14012416 1982 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3421 1982 566 18 0 3403 0
vsize: 13684
[startup+740.018 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2034 0 0 0 74004 8 0 0 25 0 1 0 832990980 14143488 1990 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 1990 566 18 0 3435 0
vsize: 13812
[startup+750.017 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2052 0 0 0 75004 8 0 0 25 0 1 0 832990980 14143488 2008 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2008 566 18 0 3435 0
vsize: 13812
[startup+760.018 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2052 0 0 0 76005 8 0 0 25 0 1 0 832990980 14143488 2008 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3453 2008 566 18 0 3435 0
vsize: 13812
[startup+770.018 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2052 0 0 0 77005 8 0 0 25 0 1 0 832990980 14123008 2008 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2008 566 18 0 3430 0
vsize: 13792
[startup+780.018 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2052 0 0 0 78005 8 0 0 25 0 1 0 832990980 14123008 2008 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3448 2008 566 18 0 3430 0
vsize: 13792
[startup+790.019 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2067 0 0 0 79005 8 0 0 25 0 1 0 832990980 14254080 2023 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2023 566 18 0 3462 0
vsize: 13920
[startup+800.019 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2067 0 0 0 80005 8 0 0 25 0 1 0 832990980 14254080 2023 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2023 566 18 0 3462 0
vsize: 13920
[startup+810.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2067 0 0 0 81005 8 0 0 25 0 1 0 832990980 14254080 2023 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3480 2023 566 18 0 3462 0
vsize: 13920
[startup+820.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2102 0 0 0 82005 8 0 0 25 0 1 0 832990980 14385152 2058 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2058 566 18 0 3494 0
vsize: 14048
[startup+830.02 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2102 0 0 0 83006 8 0 0 25 0 1 0 832990980 14385152 2058 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2058 566 18 0 3494 0
vsize: 14048
[startup+840.019 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2121 0 0 0 84006 9 0 0 25 0 1 0 832990980 14385152 2077 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2077 566 18 0 3494 0
vsize: 14048
[startup+850.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2121 0 0 0 85006 9 0 0 25 0 1 0 832990980 14385152 2077 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3512 2077 566 18 0 3494 0
vsize: 14048
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2137 0 0 0 86006 9 0 0 25 0 1 0 832990980 14516224 2093 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2093 566 18 0 3526 0
vsize: 14176
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2145 0 0 0 87006 9 0 0 25 0 1 0 832990980 14516224 2101 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3544 2101 566 18 0 3526 0
vsize: 14176
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 88006 9 0 0 25 0 1 0 832990980 14647296 2125 4294967295 134512640 134581331 3221224608 3221223692 134531376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2125 566 18 0 3558 0
vsize: 14304
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 89006 9 0 0 25 0 1 0 832990980 14647296 2125 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3576 2125 566 18 0 3558 0
vsize: 14304
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 90006 9 0 0 25 0 1 0 832990980 14610432 2125 4294967295 134512640 134581331 3221224608 3221223536 134519947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3567 2125 566 18 0 3549 0
vsize: 14268
[startup+910.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 91006 9 0 0 25 0 1 0 832990980 14610432 2125 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3567 2125 566 18 0 3549 0
vsize: 14268
[startup+920.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 92007 9 0 0 25 0 1 0 832990980 14606336 2125 4294967295 134512640 134581331 3221224608 3221223464 1075285693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2125 566 18 0 3548 0
vsize: 14264
[startup+930.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2169 0 0 0 93007 9 0 0 25 0 1 0 832990980 14606336 2125 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2125 566 18 0 3548 0
vsize: 14264
[startup+940.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 94007 9 0 0 25 0 1 0 832990980 14737408 2136 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2136 566 18 0 3580 0
vsize: 14392
[startup+950.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 95007 9 0 0 25 0 1 0 832990980 14737408 2136 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2136 566 18 0 3580 0
vsize: 14392
[startup+960.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 96007 9 0 0 25 0 1 0 832990980 14692352 2136 4294967295 134512640 134581331 3221224608 3221223520 134527649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3587 2136 566 18 0 3569 0
vsize: 14348
[startup+970.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 97007 9 0 0 25 0 1 0 832990980 14671872 2136 4294967295 134512640 134581331 3221224608 3221223520 134527973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2136 566 18 0 3564 0
vsize: 14328
[startup+980.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 98008 9 0 0 25 0 1 0 832990980 14671872 2136 4294967295 134512640 134581331 3221224608 3221223520 134527973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2136 566 18 0 3564 0
vsize: 14328
[startup+990.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2180 0 0 0 99008 9 0 0 25 0 1 0 832990980 14671872 2136 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2136 566 18 0 3564 0
vsize: 14328
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2190 0 0 0 100008 9 0 0 25 0 1 0 832990980 14671872 2146 4294967295 134512640 134581331 3221224608 3221223500 134560192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2146 566 18 0 3564 0
vsize: 14328
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2190 0 0 0 101008 9 0 0 25 0 1 0 832990980 14671872 2146 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2146 566 18 0 3564 0
vsize: 14328
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2190 0 0 0 102008 9 0 0 25 0 1 0 832990980 14671872 2146 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3582 2146 566 18 0 3564 0
vsize: 14328
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2251 0 0 0 103008 9 0 0 25 0 1 0 832990980 14934016 2207 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2207 566 18 0 3628 0
vsize: 14584
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2251 0 0 0 104008 9 0 0 25 0 1 0 832990980 14934016 2207 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3646 2207 566 18 0 3628 0
vsize: 14584
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2265 0 0 0 105009 9 0 0 25 0 1 0 832990980 15065088 2221 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2221 566 18 0 3660 0
vsize: 14712
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2275 0 0 0 106009 9 0 0 25 0 1 0 832990980 15065088 2231 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2231 566 18 0 3660 0
vsize: 14712
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2275 0 0 0 107009 9 0 0 25 0 1 0 832990980 15065088 2231 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2231 566 18 0 3660 0
vsize: 14712
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2275 0 0 0 108009 9 0 0 25 0 1 0 832990980 15065088 2231 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3678 2231 566 18 0 3660 0
vsize: 14712
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2275 0 0 0 109009 10 0 0 25 0 1 0 832990980 15040512 2231 4294967295 134512640 134581331 3221224608 3221223472 134528272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3672 2231 566 18 0 3654 0
vsize: 14688
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2275 0 0 0 110009 10 0 0 25 0 1 0 832990980 15011840 2231 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2231 566 18 0 3647 0
vsize: 14660
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 111009 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 112010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 113010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 114010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 115010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 116010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 117010 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 118011 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 119011 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7641
Raw data (stat): 7641 (Pueblo) R 7640 4613 4612 0 -1 0 2276 0 0 0 120011 10 0 0 25 0 1 0 832990980 15011840 2232 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3665 2232 566 18 0 3647 0
vsize: 14660
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 0.99 1/54 7641
Raw data (stat): 7641 (Pueblo) Z 7640 4613 4612 0 -1 1036 2276 0 0 0 120011 10 0 0 25 0 1 0 832990980 0 0 4294967295 0 0 0 0 0 0 0 7 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.03
CPU time (s): 1200.22
CPU user time (s): 1200.12
CPU system time (s): 0.105983
CPU usage (%): 100.016
Max. virtual memory (Kb): 14712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####