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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 27803

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 23:15:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15698 boxname=wulflinc9 idbench=1208 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  60f638829868e3a2820fb14a59c3225e  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-degen3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-degen3.opb
IDLAUNCH: 15698
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 2
cpu MHz		: 451.242
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:        873376 kB
Buffers:         10540 kB
Cached:         129856 kB
SwapCached:        364 kB
Active:          44620 kB
Inactive:        98264 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        871920 kB
SwapTotal:     2097136 kB
SwapFree:      2096368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6348 kB
Slab:            12496 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 23:35:36 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 15698 7 1200.3 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): 1.13 0.98 0.92 2/54 12003
Raw data (stat): 12003 (runsolver) R 12002 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775900177 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99983 s]
Raw data (loadavg): 1.11 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 39225 0 0 0 925 73 0 0 25 0 1 0 775900177 33247232 6243 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8153 6252 566 18 0 8135 0
vsize: 32468
[startup+20.0002 s]
Raw data (loadavg): 1.09 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85892 0 0 0 1850 148 0 0 25 0 1 0 775900177 38686720 7560 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9445 7560 566 18 0 9427 0
vsize: 37780
[startup+30.0004 s]
Raw data (loadavg): 1.08 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85893 0 0 0 2850 148 0 0 25 0 1 0 775900177 38686720 7561 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9445 7561 566 18 0 9427 0
vsize: 37780
[startup+40.0014 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85895 0 0 0 3851 148 0 0 25 0 1 0 775900177 38686720 7563 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9445 7563 566 18 0 9427 0
vsize: 37780
[startup+50.0017 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 4851 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+60.0018 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 5851 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+70.0024 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 6851 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+80.0032 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 7851 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+90.0039 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 8852 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+100.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 9852 148 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+110.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 10852 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+120.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 11852 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+130.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 12852 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+140.006 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 13852 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+150.006 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 14853 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+160.007 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 15853 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+170.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 16853 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+180.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 17853 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+190.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 18853 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+200.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 19854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+210.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 20854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+220.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 21854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 22854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+240.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 23854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+250.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 24854 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+260.008 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 25855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+270.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 26855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+280.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 27855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+290.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 28855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+300.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 29855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+310.009 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 30855 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+320.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 31856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+330.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 32856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+340.011 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 33856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+350.011 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 34856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+360.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 35856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+370.011 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 36856 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+380.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 37857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+390.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 38857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+400.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 39857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+410.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 40857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+420.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 41857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+430.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 42857 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+440.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 43858 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+450.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 44858 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+460.012 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 45858 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+470.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 46858 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+480.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 47859 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 48859 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 49859 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134528077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 50859 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 51859 149 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 52859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+540.013 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 53859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+550.013 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 54859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+560.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 55859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+570.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 56859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+580.014 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 57859 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+590.015 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 58860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+600.015 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 59860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+610.015 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 60860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+620.016 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 61860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+630.015 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 62860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+640.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 63860 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+650.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85899 0 0 0 64861 150 0 0 25 0 1 0 775900177 38686720 7567 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7567 566 18 0 9427 0
vsize: 37780
[startup+660.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85922 0 0 0 65861 150 0 0 25 0 1 0 775900177 38686720 7590 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 7590 566 18 0 9427 0
vsize: 37780
[startup+670.017 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85956 0 0 0 66861 151 0 0 25 0 1 0 775900177 38813696 7624 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9476 7624 566 18 0 9458 0
vsize: 37904
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 85992 0 0 0 67861 151 0 0 25 0 1 0 775900177 39067648 7660 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9538 7660 566 18 0 9520 0
vsize: 38152
[startup+690.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86029 0 0 0 68861 151 0 0 25 0 1 0 775900177 39202816 7697 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9571 7697 566 18 0 9553 0
vsize: 38284
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86063 0 0 0 69861 151 0 0 25 0 1 0 775900177 39329792 7731 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9602 7731 566 18 0 9584 0
vsize: 38408
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86110 0 0 0 70861 151 0 0 25 0 1 0 775900177 39456768 7778 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9633 7778 566 18 0 9615 0
vsize: 38532
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86137 0 0 0 71861 151 0 0 25 0 1 0 775900177 39583744 7805 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9664 7805 566 18 0 9646 0
vsize: 38656
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86183 0 0 0 72861 151 0 0 25 0 1 0 775900177 39837696 7851 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 7851 566 18 0 9708 0
vsize: 38904
[startup+740.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86215 0 0 0 73861 151 0 0 25 0 1 0 775900177 39964672 7883 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9757 7883 566 18 0 9739 0
vsize: 39028
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86237 0 0 0 74861 152 0 0 25 0 1 0 775900177 39964672 7905 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9757 7905 566 18 0 9739 0
vsize: 39028
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86279 0 0 0 75861 152 0 0 25 0 1 0 775900177 40218624 7947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9819 7947 566 18 0 9801 0
vsize: 39276
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86314 0 0 0 76862 152 0 0 25 0 1 0 775900177 40345600 7982 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9850 7982 566 18 0 9832 0
vsize: 39400
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86334 0 0 0 77862 152 0 0 25 0 1 0 775900177 40472576 8002 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 8002 566 18 0 9863 0
vsize: 39524
[startup+790.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86353 0 0 0 78862 152 0 0 25 0 1 0 775900177 40472576 8021 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9881 8021 566 18 0 9863 0
vsize: 39524
[startup+800.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86370 0 0 0 79862 152 0 0 25 0 1 0 775900177 40599552 8038 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9912 8038 566 18 0 9894 0
vsize: 39648
[startup+810.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86379 0 0 0 80862 152 0 0 25 0 1 0 775900177 40599552 8047 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9912 8047 566 18 0 9894 0
vsize: 39648
[startup+820.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86404 0 0 0 81862 153 0 0 25 0 1 0 775900177 40730624 8072 4294967295 134512640 134581331 3221224608 3221223520 134527670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9944 8072 566 18 0 9926 0
vsize: 39776
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86433 0 0 0 82863 153 0 0 25 0 1 0 775900177 40865792 8101 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9977 8101 566 18 0 9959 0
vsize: 39908
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86461 0 0 0 83864 153 0 0 25 0 1 0 775900177 40996864 8129 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10009 8129 566 18 0 9991 0
vsize: 40036
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86497 0 0 0 84864 153 0 0 25 0 1 0 775900177 41127936 8165 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10041 8165 566 18 0 10023 0
vsize: 40164
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86518 0 0 0 85864 153 0 0 25 0 1 0 775900177 41127936 8186 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10041 8186 566 18 0 10023 0
vsize: 40164
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86536 0 0 0 86864 153 0 0 25 0 1 0 775900177 41259008 8204 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10073 8204 566 18 0 10055 0
vsize: 40292
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86568 0 0 0 87864 153 0 0 25 0 1 0 775900177 41385984 8236 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10104 8236 566 18 0 10086 0
vsize: 40416
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86575 0 0 0 88864 153 0 0 25 0 1 0 775900177 41385984 8243 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10104 8243 566 18 0 10086 0
vsize: 40416
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86588 0 0 0 89864 153 0 0 25 0 1 0 775900177 41517056 8256 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10136 8256 566 18 0 10118 0
vsize: 40544
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86594 0 0 0 90865 153 0 0 25 0 1 0 775900177 41517056 8262 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10136 8262 566 18 0 10118 0
vsize: 40544
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86601 0 0 0 91865 153 0 0 25 0 1 0 775900177 41517056 8269 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10136 8269 566 18 0 10118 0
vsize: 40544
[startup+930.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86622 0 0 0 92865 154 0 0 25 0 1 0 775900177 41648128 8290 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10168 8290 566 18 0 10150 0
vsize: 40672
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86661 0 0 0 93865 154 0 0 25 0 1 0 775900177 41779200 8329 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10200 8329 566 18 0 10182 0
vsize: 40800
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86698 0 0 0 94865 154 0 0 25 0 1 0 775900177 41906176 8366 4294967295 134512640 134581331 3221224608 3221223520 134527645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10231 8366 566 18 0 10213 0
vsize: 40924
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86740 0 0 0 95865 154 0 0 25 0 1 0 775900177 42037248 8408 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10263 8408 566 18 0 10245 0
vsize: 41052
[startup+970.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86779 0 0 0 96865 154 0 0 25 0 1 0 775900177 42295296 8447 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10326 8447 566 18 0 10308 0
vsize: 41304
[startup+980.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86810 0 0 0 97865 154 0 0 25 0 1 0 775900177 42426368 8478 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10358 8478 566 18 0 10340 0
vsize: 41432
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86844 0 0 0 98865 154 0 0 25 0 1 0 775900177 42553344 8512 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10389 8512 566 18 0 10371 0
vsize: 41556
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86872 0 0 0 99866 154 0 0 25 0 1 0 775900177 42680320 8540 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10420 8540 566 18 0 10402 0
vsize: 41680
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86905 0 0 0 100866 154 0 0 25 0 1 0 775900177 42811392 8573 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10452 8573 566 18 0 10434 0
vsize: 41808
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86938 0 0 0 101866 154 0 0 25 0 1 0 775900177 42938368 8606 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 8606 566 18 0 10465 0
vsize: 41932
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86943 0 0 0 102867 154 0 0 25 0 1 0 775900177 42938368 8611 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 8611 566 18 0 10465 0
vsize: 41932
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86944 0 0 0 103868 154 0 0 25 0 1 0 775900177 42938368 8612 4294967295 134512640 134581331 3221224608 3221223520 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 8612 566 18 0 10465 0
vsize: 41932
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86944 0 0 0 104868 154 0 0 25 0 1 0 775900177 42938368 8612 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 8612 566 18 0 10465 0
vsize: 41932
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 86944 0 0 0 105868 154 0 0 25 0 1 0 775900177 42938368 8612 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10483 8612 566 18 0 10465 0
vsize: 41932
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87045 0 0 0 106868 155 0 0 25 0 1 0 775900177 43331584 8713 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10579 8713 566 18 0 10561 0
vsize: 42316
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87193 0 0 0 107868 155 0 0 25 0 1 0 775900177 43986944 8861 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10739 8861 566 18 0 10721 0
vsize: 42956
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87560 0 0 0 108867 156 0 0 25 0 1 0 775900177 45576192 9228 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11127 9228 566 18 0 11109 0
vsize: 44508
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87709 0 0 0 109866 157 0 0 25 0 1 0 775900177 46084096 9377 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9377 566 18 0 11233 0
vsize: 45004
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 110866 157 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 111867 157 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 112866 157 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 113866 158 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 114866 158 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87711 0 0 0 115867 158 0 0 25 0 1 0 775900177 46084096 9379 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9379 566 18 0 11233 0
vsize: 45004
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87712 0 0 0 116868 158 0 0 25 0 1 0 775900177 46084096 9380 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9380 566 18 0 11233 0
vsize: 45004
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87712 0 0 0 117869 158 0 0 25 0 1 0 775900177 46084096 9380 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9380 566 18 0 11233 0
vsize: 45004
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87712 0 0 0 118869 158 0 0 25 0 1 0 775900177 46084096 9380 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 9380 566 18 0 11233 0
vsize: 45004
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12003
Raw data (stat): 12003 (Pueblo) R 12002 3944 3943 0 -1 0 87727 0 0 0 119869 158 0 0 25 0 1 0 775900177 46194688 9395 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11278 9395 566 18 0 11260 0
vsize: 45112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12003
Raw data (stat): 12003 (Pueblo) Z 12002 3944 3943 0 -1 1036 87727 0 0 0 119869 160 0 0 25 0 1 0 775900177 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.11
CPU time (s): 1200.3
CPU user time (s): 1198.7
CPU system time (s): 1.60276
CPU usage (%): 100.016
Max. virtual memory (Kb): 45112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####