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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-aflow40b.opb
MD5SUM	64cd8dd71c00255f05a721f3d3f16ae5
Bench Category	optimization, medium integers (OPTMEDINT)
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	1364
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	230637
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	7037881
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	23384
Total number of constraints	4170
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1403
Number of constraints which are nor clauses,nor cardinality constraints	2767
Minimum length of a constraint	1
Maximum length of a constraint	1202
Trace number 28535

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 02:51:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12422 boxname=wulflinc15 idbench=956 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  64cd8dd71c00255f05a721f3d3f16ae5  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-aflow40b.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-aflow40b.opb
IDLAUNCH: 12422
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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	: 2
cpu MHz		: 450.999
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:        931564 kB
Buffers:          6004 kB
Cached:          75228 kB
SwapCached:        640 kB
Active:          23608 kB
Inactive:        59712 kB
HighTotal:      131008 kB
HighFree:        73920 kB
LowTotal:       903652 kB
LowFree:        857644 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            14168 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 03:11:19 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 12422 7 1200.35 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.97 0.99 2/54 2965
Raw data (stat): 2965 (runsolver) R 2964 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777189613 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+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3097 0 0 0 993 6 0 0 25 0 1 0 777189613 18956288 3075 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4628 3075 566 18 0 4610 0
vsize: 18512
[startup+20.0214 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3097 0 0 0 1995 6 0 0 25 0 1 0 777189613 18956288 3075 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4628 3075 566 18 0 4610 0
vsize: 18512
[startup+30.0216 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3097 0 0 0 2995 6 0 0 25 0 1 0 777189613 18956288 3075 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4628 3075 566 18 0 4610 0
vsize: 18512
[startup+40.0218 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3351 0 0 0 3995 6 0 0 25 0 1 0 777189613 20111360 3329 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4910 3329 566 18 0 4892 0
vsize: 19640
[startup+50.0223 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3482 0 0 0 4995 7 0 0 25 0 1 0 777189613 20594688 3460 4294967295 134512640 134581331 3221224592 3221223488 134517859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 3460 566 18 0 5010 0
vsize: 20112
[startup+60.0221 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3714 0 0 0 5994 7 0 0 25 0 1 0 777189613 21475328 3692 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5243 3692 566 18 0 5225 0
vsize: 20972
[startup+70.0233 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 3931 0 0 0 6994 8 0 0 25 0 1 0 777189613 22462464 3909 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5484 3909 566 18 0 5466 0
vsize: 21936
[startup+80.0241 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4128 0 0 0 7994 8 0 0 25 0 1 0 777189613 23220224 4106 4294967295 134512640 134581331 3221224592 3221223520 134519947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5669 4106 566 18 0 5651 0
vsize: 22676
[startup+90.0236 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4301 0 0 0 8993 9 0 0 25 0 1 0 777189613 23953408 4279 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5848 4279 566 18 0 5830 0
vsize: 23392
[startup+100.024 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4446 0 0 0 9993 9 0 0 25 0 1 0 777189613 24576000 4424 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6000 4424 566 18 0 5982 0
vsize: 24000
[startup+110.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4582 0 0 0 10993 10 0 0 25 0 1 0 777189613 25071616 4560 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6121 4560 566 18 0 6103 0
vsize: 24484
[startup+120.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 11992 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+130.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 12992 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223456 134528223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+140.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 13992 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+150.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 14992 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223504 134527658 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+160.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 15992 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+170.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4805 0 0 0 16993 11 0 0 25 0 1 0 777189613 26042368 4783 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6358 4783 566 18 0 6340 0
vsize: 25432
[startup+180.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 4842 0 0 0 17993 11 0 0 25 0 1 0 777189613 26177536 4820 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6391 4820 566 18 0 6373 0
vsize: 25564
[startup+190.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5128 0 0 0 18993 11 0 0 25 0 1 0 777189613 27308032 5106 4294967295 134512640 134581331 3221224592 3221223504 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6667 5106 566 18 0 6649 0
vsize: 26668
[startup+200.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5262 0 0 0 19992 12 0 0 25 0 1 0 777189613 27893760 5240 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6810 5240 566 18 0 6792 0
vsize: 27240
[startup+210.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5286 0 0 0 20992 12 0 0 25 0 1 0 777189613 28008448 5264 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 5264 566 18 0 6820 0
vsize: 27352
[startup+220.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5286 0 0 0 21993 12 0 0 25 0 1 0 777189613 28008448 5264 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 5264 566 18 0 6820 0
vsize: 27352
[startup+230.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5286 0 0 0 22992 12 0 0 25 0 1 0 777189613 28008448 5264 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 5264 566 18 0 6820 0
vsize: 27352
[startup+240.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5286 0 0 0 23992 13 0 0 25 0 1 0 777189613 28008448 5264 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 5264 566 18 0 6820 0
vsize: 27352
[startup+250.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5388 0 0 0 24992 13 0 0 25 0 1 0 777189613 28393472 5366 4294967295 134512640 134581331 3221224592 3221223504 134527712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6932 5366 566 18 0 6914 0
vsize: 27728
[startup+260.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5572 0 0 0 25992 14 0 0 25 0 1 0 777189613 29130752 5550 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7112 5550 566 18 0 7094 0
vsize: 28448
[startup+270.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5714 0 0 0 26991 14 0 0 25 0 1 0 777189613 29745152 5692 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7262 5692 566 18 0 7244 0
vsize: 29048
[startup+280.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5906 0 0 0 27991 15 0 0 25 0 1 0 777189613 30490624 5884 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7444 5884 566 18 0 7426 0
vsize: 29776
[startup+290.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5927 0 0 0 28991 15 0 0 25 0 1 0 777189613 30621696 5905 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 5905 566 18 0 7458 0
vsize: 29904
[startup+300.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5927 0 0 0 29991 15 0 0 25 0 1 0 777189613 30621696 5905 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 5905 566 18 0 7458 0
vsize: 29904
[startup+310.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5927 0 0 0 30991 15 0 0 25 0 1 0 777189613 30621696 5905 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 5905 566 18 0 7458 0
vsize: 29904
[startup+320.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5927 0 0 0 31992 15 0 0 25 0 1 0 777189613 30621696 5905 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 5905 566 18 0 7458 0
vsize: 29904
[startup+330.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 5927 0 0 0 32992 15 0 0 25 0 1 0 777189613 30621696 5905 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7476 5905 566 18 0 7458 0
vsize: 29904
[startup+340.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 6145 0 0 0 33991 16 0 0 25 0 1 0 777189613 31461376 6123 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7681 6123 566 18 0 7663 0
vsize: 30724
[startup+350.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 6362 0 0 0 34991 16 0 0 25 0 1 0 777189613 32346112 6340 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7897 6340 566 18 0 7879 0
vsize: 31588
[startup+360.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 6580 0 0 0 35990 17 0 0 25 0 1 0 777189613 33218560 6558 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8110 6558 566 18 0 8092 0
vsize: 32440
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 6774 0 0 0 36989 18 0 0 25 0 1 0 777189613 34054144 6752 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8314 6752 566 18 0 8296 0
vsize: 33256
[startup+380.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 7123 0 0 0 37989 19 0 0 25 0 1 0 777189613 35495936 7101 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8666 7101 566 18 0 8648 0
vsize: 34664
[startup+390.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 7606 0 0 0 38987 20 0 0 25 0 1 0 777189613 37470208 7584 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9148 7584 566 18 0 9130 0
vsize: 36592
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 7819 0 0 0 39987 21 0 0 25 0 1 0 777189613 38277120 7797 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9345 7797 566 18 0 9327 0
vsize: 37380
[startup+410.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 40987 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 41987 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223412 1075289793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 42987 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+440.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 43987 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+450.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 44988 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223520 134519924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8193 0 0 0 45988 21 0 0 25 0 1 0 777189613 39878656 8171 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9736 8171 566 18 0 9718 0
vsize: 38944
[startup+470.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8369 0 0 0 46987 22 0 0 25 0 1 0 777189613 40620032 8347 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9917 8347 566 18 0 9899 0
vsize: 39668
[startup+480.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8644 0 0 0 47986 23 0 0 25 0 1 0 777189613 41746432 8622 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10192 8622 566 18 0 10174 0
vsize: 40768
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 8840 0 0 0 48986 24 0 0 25 0 1 0 777189613 42516480 8818 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10380 8818 566 18 0 10362 0
vsize: 41520
[startup+500.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 9202 0 0 0 49985 25 0 0 25 0 1 0 777189613 43978752 9180 4294967295 134512640 134581331 3221224592 3221223504 134528085 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10737 9180 566 18 0 10719 0
vsize: 42948
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 9515 0 0 0 50984 26 0 0 25 0 1 0 777189613 45240320 9493 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11045 9493 566 18 0 11027 0
vsize: 44180
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 2965
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 9742 0 0 0 51984 26 0 0 25 0 1 0 777189613 46202880 9720 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11280 9720 566 18 0 11262 0
vsize: 45120
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.99 3/57 3003
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 52982 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+540.034 s]
Raw data (loadavg): 1.14 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 53982 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223520 134519952 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+550.034 s]
Raw data (loadavg): 1.12 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 54982 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+560.034 s]
Raw data (loadavg): 1.10 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 55982 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+570.034 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 56983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+580.034 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 57983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+590.034 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 58983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223504 134527737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+600.035 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 3018
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 59983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+610.035 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 60983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+620.036 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 61983 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223504 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+630.035 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10122 0 0 0 62984 28 0 0 25 0 1 0 777189613 47738880 10100 4294967295 134512640 134581331 3221224592 3221223488 134517873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11655 10100 566 18 0 11637 0
vsize: 46620
[startup+640.035 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10637 0 0 0 63983 29 0 0 25 0 1 0 777189613 49893376 10615 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12181 10615 566 18 0 12163 0
vsize: 48724
[startup+650.035 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 64983 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+660.042 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 65984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+670.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 66984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223504 134527725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+680.043 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 67984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+690.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 68984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+700.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 69984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+710.042 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 70984 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+720.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 71985 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+730.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 72985 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+740.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 73985 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+750.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 74985 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 75985 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 76986 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+780.081 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 77989 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+790.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 78989 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+800.089 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 79990 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+810.088 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 80990 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+820.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10930 0 0 0 81993 29 0 0 25 0 1 0 777189613 51027968 10908 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 10908 566 18 0 12440 0
vsize: 49832
[startup+830.113 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 10941 0 0 0 82993 30 0 0 25 0 1 0 777189613 51146752 10919 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12487 10919 566 18 0 12469 0
vsize: 49948
[startup+840.112 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11049 0 0 0 83993 30 0 0 25 0 1 0 777189613 51552256 11027 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12586 11027 566 18 0 12568 0
vsize: 50344
[startup+850.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11245 0 0 0 84992 31 0 0 25 0 1 0 777189613 52391936 11223 4294967295 134512640 134581331 3221224592 3221223504 134527720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12791 11223 566 18 0 12773 0
vsize: 51164
[startup+860.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11384 0 0 0 85992 31 0 0 25 0 1 0 777189613 52932608 11362 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12923 11362 566 18 0 12905 0
vsize: 51692
[startup+870.114 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11538 0 0 0 86992 32 0 0 25 0 1 0 777189613 53682176 11516 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13106 11516 566 18 0 13088 0
vsize: 52424
[startup+880.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11674 0 0 0 87992 32 0 0 25 0 1 0 777189613 54140928 11652 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13218 11652 566 18 0 13200 0
vsize: 52872
[startup+890.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3020
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 11833 0 0 0 88992 33 0 0 25 0 1 0 777189613 54763520 11811 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13370 11811 566 18 0 13352 0
vsize: 53480
[startup+900.121 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12029 0 0 0 89991 33 0 0 25 0 1 0 777189613 55586816 12007 4294967295 134512640 134581331 3221224592 3221223488 134517883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13571 12007 566 18 0 13553 0
vsize: 54284
[startup+910.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12166 0 0 0 90991 34 0 0 25 0 1 0 777189613 56193024 12144 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13719 12144 566 18 0 13701 0
vsize: 54876
[startup+920.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12299 0 0 0 91991 34 0 0 25 0 1 0 777189613 56795136 12277 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13866 12277 566 18 0 13848 0
vsize: 55464
[startup+930.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12424 0 0 0 92991 35 0 0 25 0 1 0 777189613 57204736 12402 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13966 12402 566 18 0 13948 0
vsize: 55864
[startup+940.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12556 0 0 0 93991 35 0 0 25 0 1 0 777189613 57843712 12534 4294967295 134512640 134581331 3221224592 3221223488 134517862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14122 12534 566 18 0 14104 0
vsize: 56488
[startup+950.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12688 0 0 0 94991 35 0 0 25 0 1 0 777189613 58351616 12666 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14246 12666 566 18 0 14228 0
vsize: 56984
[startup+960.122 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12812 0 0 0 95991 35 0 0 25 0 1 0 777189613 58793984 12790 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14354 12790 566 18 0 14336 0
vsize: 57416
[startup+970.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 12932 0 0 0 96990 36 0 0 25 0 1 0 777189613 59285504 12910 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14474 12910 566 18 0 14456 0
vsize: 57896
[startup+980.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13064 0 0 0 97990 36 0 0 25 0 1 0 777189613 59809792 13042 4294967295 134512640 134581331 3221224592 3221223368 1075285701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14602 13042 566 18 0 14584 0
vsize: 58408
[startup+990.123 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13190 0 0 0 98990 36 0 0 25 0 1 0 777189613 60448768 13168 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14758 13168 566 18 0 14740 0
vsize: 59032
[startup+1000.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13330 0 0 0 99990 36 0 0 25 0 1 0 777189613 61038592 13308 4294967295 134512640 134581331 3221224592 3221223488 134517897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14902 13308 566 18 0 14884 0
vsize: 59608
[startup+1010.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13462 0 0 0 100990 37 0 0 25 0 1 0 777189613 61480960 13440 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15010 13440 566 18 0 14992 0
vsize: 60040
[startup+1020.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13595 0 0 0 101990 37 0 0 25 0 1 0 777189613 62070784 13573 4294967295 134512640 134581331 3221224592 3221223488 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15154 13573 566 18 0 15136 0
vsize: 60616
[startup+1030.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13727 0 0 0 102990 37 0 0 25 0 1 0 777189613 62578688 13705 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15278 13705 566 18 0 15260 0
vsize: 61112
[startup+1040.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 13880 0 0 0 103990 38 0 0 25 0 1 0 777189613 63201280 13858 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15430 13858 566 18 0 15412 0
vsize: 61720
[startup+1050.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 14129 0 0 0 104989 38 0 0 25 0 1 0 777189613 64249856 14107 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15686 14107 566 18 0 15668 0
vsize: 62744
[startup+1060.12 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 14337 0 0 0 105989 39 0 0 25 0 1 0 777189613 65134592 14315 4294967295 134512640 134581331 3221224592 3221223572 134560793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15902 14315 566 18 0 15884 0
vsize: 63608
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 14555 0 0 0 106989 39 0 0 25 0 1 0 777189613 66019328 14533 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16118 14533 566 18 0 16100 0
vsize: 64472
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 14828 0 0 0 107988 40 0 0 25 0 1 0 777189613 67248128 14806 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16418 14806 566 18 0 16400 0
vsize: 65672
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 15062 0 0 0 108987 41 0 0 25 0 1 0 777189613 68100096 15040 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16626 15040 566 18 0 16608 0
vsize: 66504
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 15300 0 0 0 109986 42 0 0 25 0 1 0 777189613 69083136 15278 4294967295 134512640 134581331 3221224592 3221223488 134517865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16866 15278 566 18 0 16848 0
vsize: 67464
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 15565 0 0 0 110986 43 0 0 25 0 1 0 777189613 70180864 15543 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17134 15543 566 18 0 17116 0
vsize: 68536
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 15795 0 0 0 111985 43 0 0 25 0 1 0 777189613 71147520 15773 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17370 15773 566 18 0 17352 0
vsize: 69480
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 15980 0 0 0 112985 44 0 0 25 0 1 0 777189613 71917568 15958 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17558 15958 566 18 0 17540 0
vsize: 70232
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 16219 0 0 0 113985 44 0 0 25 0 1 0 777189613 72900608 16197 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17798 16197 566 18 0 17780 0
vsize: 71192
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 16522 0 0 0 114984 45 0 0 25 0 1 0 777189613 74145792 16500 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18102 16500 566 18 0 18084 0
vsize: 72408
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 16747 0 0 0 115984 46 0 0 25 0 1 0 777189613 75063296 16725 4294967295 134512640 134581331 3221224592 3221223504 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18326 16725 566 18 0 18308 0
vsize: 73304
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 17007 0 0 0 116984 46 0 0 25 0 1 0 777189613 76177408 16985 4294967295 134512640 134581331 3221224592 3221223488 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18598 16985 566 18 0 18580 0
vsize: 74392
[startup+1180.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 17315 0 0 0 117983 47 0 0 25 0 1 0 777189613 77520896 17293 4294967295 134512640 134581331 3221224592 3221223488 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18926 17293 566 18 0 18908 0
vsize: 75704
[startup+1190.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 17529 0 0 0 118983 47 0 0 25 0 1 0 777189613 78307328 17507 4294967295 134512640 134581331 3221224592 3221223488 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19118 17507 566 18 0 19100 0
vsize: 76472
[startup+1200.13 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 3022
Raw data (stat): 2965 (Pueblo) R 2964 23514 23513 0 -1 0 17786 0 0 0 119982 48 0 0 25 0 1 0 777189613 79368192 17764 4294967295 134512640 134581331 3221224592 3221223488 134517894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19377 17764 566 18 0 19359 0
vsize: 77508
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.16 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 3022
Raw data (stat): 2965 (Pueblo) Z 2964 23514 23513 0 -1 1036 17786 0 0 0 119982 51 0 0 25 0 1 0 777189613 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.16
CPU time (s): 1200.35
CPU user time (s): 1199.83
CPU system time (s): 0.516921
CPU usage (%): 100.015
Max. virtual memory (Kb): 77508
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####