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/miplib/normalized-mps-v2-20-10-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
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	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.12098
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 28762

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 03:52:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11655 boxname=wulflinc5 idbench=897 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 11655
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        910408 kB
Buffers:          7156 kB
Cached:          95772 kB
SwapCached:        432 kB
Active:          17616 kB
Inactive:        87328 kB
HighTotal:      131008 kB
HighFree:        78400 kB
LowTotal:       903652 kB
LowFree:        832008 kB
SwapTotal:     2097136 kB
SwapFree:      2095792 kB
Dirty:              76 kB
Writeback:           0 kB
Mapped:           5220 kB
Slab:            13592 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:12:06 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 11655 7 1200.45 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.92 0.95 0.90 2/54 18236
Raw data (stat): 18236 (runsolver) R 18235 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777560421 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.0003 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 2097 0 0 0 992 6 0 0 25 0 1 0 777560421 14532608 2075 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3548 2075 566 18 0 3530 0
vsize: 14192
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 2208 0 0 0 1992 7 0 0 25 0 1 0 777560421 14921728 2186 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3643 2186 566 18 0 3625 0
vsize: 14572
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 2533 0 0 0 2991 8 0 0 25 0 1 0 777560421 16265216 2511 4294967295 134512640 134581331 3221224608 3221223328 134522604 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3971 2511 566 18 0 3953 0
vsize: 15884
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 2938 0 0 0 3990 9 0 0 25 0 1 0 777560421 17895424 2916 4294967295 134512640 134581331 3221224608 3221223520 134528085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4369 2916 566 18 0 4351 0
vsize: 17476
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 3092 0 0 0 4990 9 0 0 25 0 1 0 777560421 18530304 3070 4294967295 134512640 134581331 3221224608 3221223520 134519032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3070 566 18 0 4506 0
vsize: 18096
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 3324 0 0 0 5989 10 0 0 25 0 1 0 777560421 19505152 3302 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3302 566 18 0 4744 0
vsize: 19048
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 3530 0 0 0 6989 11 0 0 25 0 1 0 777560421 20439040 3508 4294967295 134512640 134581331 3221224608 3221223500 134560192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4990 3508 566 18 0 4972 0
vsize: 19960
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 3737 0 0 0 7989 11 0 0 25 0 1 0 777560421 21237760 3715 4294967295 134512640 134581331 3221224608 3221223520 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5185 3715 566 18 0 5167 0
vsize: 20740
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 3945 0 0 0 8988 12 0 0 25 0 1 0 777560421 22073344 3923 4294967295 134512640 134581331 3221224608 3221223552 134559093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5389 3923 566 18 0 5371 0
vsize: 21556
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4130 0 0 0 9988 12 0 0 25 0 1 0 777560421 22888448 4108 4294967295 134512640 134581331 3221224608 3221223328 134524449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5588 4108 566 18 0 5570 0
vsize: 22352
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4322 0 0 0 10988 13 0 0 25 0 1 0 777560421 23703552 4300 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5787 4300 566 18 0 5769 0
vsize: 23148
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4594 0 0 0 11987 14 0 0 25 0 1 0 777560421 24817664 4572 4294967295 134512640 134581331 3221224608 3221223392 134528948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6059 4572 566 18 0 6041 0
vsize: 24236
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4715 0 0 0 12987 14 0 0 25 0 1 0 777560421 25227264 4693 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4715 0 0 0 13987 14 0 0 25 0 1 0 777560421 25227264 4693 4294967295 134512640 134581331 3221224608 3221223552 134559312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4715 0 0 0 14987 14 0 0 25 0 1 0 777560421 25227264 4693 4294967295 134512640 134581331 3221224608 3221223472 134528267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4715 0 0 0 15987 14 0 0 25 0 1 0 777560421 25227264 4693 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4715 0 0 0 16987 14 0 0 25 0 1 0 777560421 25227264 4693 4294967295 134512640 134581331 3221224608 3221223328 134522634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6159 4693 566 18 0 6141 0
vsize: 24636
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 4907 0 0 0 17987 15 0 0 25 0 1 0 777560421 26034176 4885 4294967295 134512640 134581331 3221224608 3221223472 134528366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6356 4885 566 18 0 6338 0
vsize: 25424
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5160 0 0 0 18986 16 0 0 25 0 1 0 777560421 27099136 5138 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6616 5138 566 18 0 6598 0
vsize: 26464
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5321 0 0 0 19986 16 0 0 25 0 1 0 777560421 27779072 5299 4294967295 134512640 134581331 3221224608 3221223472 134528428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5321 0 0 0 20986 16 0 0 25 0 1 0 777560421 27779072 5299 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5321 0 0 0 21986 16 0 0 25 0 1 0 777560421 27779072 5299 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5321 0 0 0 22986 16 0 0 25 0 1 0 777560421 27779072 5299 4294967295 134512640 134581331 3221224608 3221223536 134520043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6782 5299 566 18 0 6764 0
vsize: 27128
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5505 0 0 0 23986 17 0 0 25 0 1 0 777560421 28491776 5483 4294967295 134512640 134581331 3221224608 3221223520 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6956 5483 566 18 0 6938 0
vsize: 27824
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5657 0 0 0 24986 17 0 0 25 0 1 0 777560421 29138944 5635 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7114 5635 566 18 0 7096 0
vsize: 28456
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 5928 0 0 0 25985 18 0 0 25 0 1 0 777560421 30273536 5906 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 5906 566 18 0 7373 0
vsize: 29564
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 6206 0 0 0 26984 19 0 0 25 0 1 0 777560421 31281152 6176 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7637 6176 566 18 0 7619 0
vsize: 30548
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 6425 0 0 0 27984 20 0 0 25 0 1 0 777560421 32133120 6382 4294967295 134512640 134581331 3221224608 3221223520 134519032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7845 6382 566 18 0 7827 0
vsize: 31380
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 6621 0 0 0 28983 20 0 0 25 0 1 0 777560421 32858112 6557 4294967295 134512640 134581331 3221224608 3221223588 134526342 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8022 6557 566 18 0 8004 0
vsize: 32088
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 6773 0 0 0 29983 20 0 0 25 0 1 0 777560421 33435648 6696 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8163 6696 566 18 0 8145 0
vsize: 32652
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 6933 0 0 0 30983 21 0 0 25 0 1 0 777560421 34193408 6854 4294967295 134512640 134581331 3221224608 3221223520 134519020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8348 6854 566 18 0 8330 0
vsize: 33392
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7131 0 0 0 31983 21 0 0 25 0 1 0 777560421 34840576 7036 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8506 7036 566 18 0 8488 0
vsize: 34024
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7377 0 0 0 32983 21 0 0 25 0 1 0 777560421 35848192 7282 4294967295 134512640 134581331 3221224608 3221223588 134526390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8752 7282 566 18 0 8734 0
vsize: 35008
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7542 0 0 0 33982 22 0 0 25 0 1 0 777560421 36552704 7443 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8924 7443 566 18 0 8906 0
vsize: 35696
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 34982 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223280 134531720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 35983 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 36983 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223584 134560721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 37983 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 38984 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223520 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 39984 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223520 134519011 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 40985 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7619 0 0 0 41985 22 0 0 25 0 1 0 777560421 36818944 7520 4294967295 134512640 134581331 3221224608 3221223552 134558819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7520 566 18 0 8971 0
vsize: 35956
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 42985 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223244 1075288811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 43985 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 44985 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221222448 134532162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 45986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18236
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 46986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 18239
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 47986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+490.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 48986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134522611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+500.017 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 49986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134522624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+510.017 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 50986 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+520.017 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 51987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+530.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 52987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+540.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 53987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223392 134528838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+550.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18289
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 54987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+560.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 55987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+570.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 56987 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+580.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 57988 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134522634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+590.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 58988 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+600.053 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 59991 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223328 134522613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+610.054 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7620 0 0 0 60992 22 0 0 25 0 1 0 777560421 36818944 7521 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7521 566 18 0 8971 0
vsize: 35956
[startup+620.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 61992 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+630.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 62992 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+640.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 63992 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223520 134519006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+650.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 64992 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+660.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 65992 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+670.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 66993 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223520 134519014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+680.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 67993 22 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+690.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 68993 23 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+700.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 69993 23 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+710.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7621 0 0 0 70993 23 0 0 25 0 1 0 777560421 36818944 7522 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7522 566 18 0 8971 0
vsize: 35956
[startup+720.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7627 0 0 0 71993 23 0 0 25 0 1 0 777560421 36818944 7528 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8989 7528 566 18 0 8971 0
vsize: 35956
[startup+730.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 7995 0 0 0 72992 24 0 0 25 0 1 0 777560421 38395904 7896 4294967295 134512640 134581331 3221224608 3221221648 134532772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9374 7896 566 18 0 9356 0
vsize: 37496
[startup+740.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 8317 0 0 0 73992 25 0 0 25 0 1 0 777560421 39632896 8217 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9676 8217 566 18 0 9658 0
vsize: 38704
[startup+750.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 8566 0 0 0 74992 25 0 0 25 0 1 0 777560421 40689664 8466 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9934 8466 566 18 0 9916 0
vsize: 39736
[startup+760.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 8828 0 0 0 75991 26 0 0 25 0 1 0 777560421 41701376 8722 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10181 8722 566 18 0 10163 0
vsize: 40724
[startup+770.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 8992 0 0 0 76992 26 0 0 25 0 1 0 777560421 42438656 8886 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10361 8886 566 18 0 10343 0
vsize: 41444
[startup+780.188 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 9207 0 0 0 78004 27 0 0 25 0 1 0 777560421 43286528 9098 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10568 9098 566 18 0 10550 0
vsize: 42272
[startup+790.188 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 9486 0 0 0 79003 27 0 0 25 0 1 0 777560421 44396544 9377 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10839 9377 566 18 0 10821 0
vsize: 43356
[startup+800.188 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 9668 0 0 0 80003 27 0 0 25 0 1 0 777560421 45219840 9558 4294967295 134512640 134581331 3221224608 3221223552 134558842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11040 9558 566 18 0 11022 0
vsize: 44160
[startup+810.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 9858 0 0 0 81003 28 0 0 25 0 1 0 777560421 45944832 9748 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11217 9748 566 18 0 11199 0
vsize: 44868
[startup+820.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 10108 0 0 0 82003 29 0 0 25 0 1 0 777560421 47001600 9998 4294967295 134512640 134581331 3221224608 3221223520 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11475 9998 566 18 0 11457 0
vsize: 45900
[startup+830.189 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18291
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 10268 0 0 0 83002 29 0 0 25 0 1 0 777560421 47624192 10158 4294967295 134512640 134581331 3221224608 3221223520 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11627 10158 566 18 0 11609 0
vsize: 46508
[startup+840.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/56 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 10497 0 0 0 84003 29 0 0 25 0 1 0 777560421 48570368 10372 4294967295 134512640 134581331 3221224608 3221223328 134522568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11858 10372 566 18 0 11840 0
vsize: 47432
[startup+850.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 10778 0 0 0 85002 30 0 0 25 0 1 0 777560421 49704960 10653 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12135 10653 566 18 0 12117 0
vsize: 48540
[startup+860.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 10985 0 0 0 86002 30 0 0 25 0 1 0 777560421 50462720 10860 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12320 10860 566 18 0 12302 0
vsize: 49280
[startup+870.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 11238 0 0 0 87002 30 0 0 25 0 1 0 777560421 51552256 11113 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12586 11113 566 18 0 12568 0
vsize: 50344
[startup+880.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 11392 0 0 0 88002 31 0 0 25 0 1 0 777560421 52236288 11267 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11267 566 18 0 12735 0
vsize: 51012
[startup+890.191 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 11538 0 0 0 89002 31 0 0 25 0 1 0 777560421 52760576 11413 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12881 11413 566 18 0 12863 0
vsize: 51524
[startup+900.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 11760 0 0 0 90001 32 0 0 25 0 1 0 777560421 53657600 11630 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13100 11630 566 18 0 13082 0
vsize: 52400
[startup+910.192 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12073 0 0 0 91001 32 0 0 25 0 1 0 777560421 54902784 11943 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13404 11943 566 18 0 13386 0
vsize: 53616
[startup+920.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12215 0 0 0 92001 32 0 0 25 0 1 0 777560421 55513088 12085 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13553 12085 566 18 0 13535 0
vsize: 54212
[startup+930.193 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12355 0 0 0 93001 33 0 0 25 0 1 0 777560421 56082432 12225 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13692 12225 566 18 0 13674 0
vsize: 54768
[startup+940.194 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12472 0 0 0 94001 33 0 0 25 0 1 0 777560421 56532992 12336 4294967295 134512640 134581331 3221224608 3221223504 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13802 12336 566 18 0 13784 0
vsize: 55208
[startup+950.194 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12607 0 0 0 95001 33 0 0 25 0 1 0 777560421 57122816 12471 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 12471 566 18 0 13928 0
vsize: 55784
[startup+960.195 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12816 0 0 0 96001 33 0 0 25 0 1 0 777560421 57958400 12680 4294967295 134512640 134581331 3221224608 3221223328 134524456 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14150 12680 566 18 0 14132 0
vsize: 56600
[startup+970.196 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 12930 0 0 0 97001 33 0 0 25 0 1 0 777560421 58380288 12790 4294967295 134512640 134581331 3221224608 3221223520 134518996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14253 12790 566 18 0 14235 0
vsize: 57012
[startup+980.196 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13008 0 0 0 98001 34 0 0 25 0 1 0 777560421 58789888 12868 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14353 12868 566 18 0 14335 0
vsize: 57412
[startup+990.195 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13122 0 0 0 99001 34 0 0 25 0 1 0 777560421 59150336 12982 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14441 12982 566 18 0 14423 0
vsize: 57764
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13305 0 0 0 100001 34 0 0 25 0 1 0 777560421 59895808 13165 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14623 13165 566 18 0 14605 0
vsize: 58492
[startup+1010.19 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13473 0 0 0 101001 35 0 0 25 0 1 0 777560421 60624896 13333 4294967295 134512640 134581331 3221224608 3221223520 134519014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14801 13333 566 18 0 14783 0
vsize: 59204
[startup+1020.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13550 0 0 0 102001 35 0 0 25 0 1 0 777560421 60919808 13410 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14873 13410 566 18 0 14855 0
vsize: 59492
[startup+1030.2 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13779 0 0 0 103001 35 0 0 25 0 1 0 777560421 61911040 13639 4294967295 134512640 134581331 3221224608 3221223520 134519040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15115 13639 566 18 0 15097 0
vsize: 60460
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13852 0 0 0 104001 35 0 0 25 0 1 0 777560421 62230528 13712 4294967295 134512640 134581331 3221224608 3221223328 134522611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15193 13713 566 18 0 15175 0
vsize: 60772
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 13996 0 0 0 105002 35 0 0 25 0 1 0 777560421 62791680 13856 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15330 13856 566 18 0 15312 0
vsize: 61320
[startup+1060.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14050 0 0 0 106001 36 0 0 25 0 1 0 777560421 63004672 13908 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15382 13908 566 18 0 15364 0
vsize: 61528
[startup+1070.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14171 0 0 0 107002 36 0 0 25 0 1 0 777560421 63463424 14029 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15494 14029 566 18 0 15476 0
vsize: 61976
[startup+1080.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14266 0 0 0 108002 36 0 0 25 0 1 0 777560421 63827968 14124 4294967295 134512640 134581331 3221224608 3221223504 134517907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15583 14124 566 18 0 15565 0
vsize: 62332
[startup+1090.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14385 0 0 0 109002 36 0 0 25 0 1 0 777560421 64397312 14243 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15722 14243 566 18 0 15704 0
vsize: 62888
[startup+1100.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14588 0 0 0 110002 36 0 0 25 0 1 0 777560421 65228800 14446 4294967295 134512640 134581331 3221224608 3221223536 134519952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15925 14446 566 18 0 15907 0
vsize: 63700
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 14824 0 0 0 111002 37 0 0 25 0 1 0 777560421 66170880 14681 4294967295 134512640 134581331 3221224608 3221223520 134519017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16155 14681 566 18 0 16137 0
vsize: 64620
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15061 0 0 0 112002 37 0 0 25 0 1 0 777560421 67203072 14918 4294967295 134512640 134581331 3221224608 3221223328 134522606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16407 14918 566 18 0 16389 0
vsize: 65628
[startup+1130.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15061 0 0 0 113002 37 0 0 25 0 1 0 777560421 67203072 14918 4294967295 134512640 134581331 3221224608 3221223552 134558956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16407 14918 566 18 0 16389 0
vsize: 65628
[startup+1140.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15323 0 0 0 114002 37 0 0 25 0 1 0 777560421 68239360 15180 4294967295 134512640 134581331 3221224608 3221223328 134524447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16660 15180 566 18 0 16642 0
vsize: 66640
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15397 0 0 0 115002 37 0 0 25 0 1 0 777560421 68501504 15252 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16724 15252 566 18 0 16706 0
vsize: 66896
[startup+1160.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15569 0 0 0 116002 38 0 0 25 0 1 0 777560421 69226496 15424 4294967295 134512640 134581331 3221224608 3221223324 134523798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16901 15424 566 18 0 16883 0
vsize: 67604
[startup+1170.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15649 0 0 0 117002 38 0 0 25 0 1 0 777560421 69537792 15504 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16977 15504 566 18 0 16959 0
vsize: 67908
[startup+1180.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15773 0 0 0 118002 38 0 0 25 0 1 0 777560421 70156288 15628 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17128 15628 566 18 0 17110 0
vsize: 68512
[startup+1190.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 15916 0 0 0 119003 38 0 0 25 0 1 0 777560421 70672384 15771 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 15771 566 18 0 17236 0
vsize: 69016
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18293
Raw data (stat): 18236 (Pueblo) R 18235 7266 7265 0 -1 0 16089 0 0 0 120002 39 0 0 25 0 1 0 777560421 71368704 15944 4294967295 134512640 134581331 3221224608 3221223520 134518996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17424 15944 566 18 0 17406 0
vsize: 69696
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18293
Raw data (stat): 18236 (Pueblo) Z 18235 7266 7265 0 -1 1036 16089 0 0 0 120002 42 0 0 25 0 1 0 777560421 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.25
CPU time (s): 1200.45
CPU user time (s): 1200.02
CPU system time (s): 0.427934
CPU usage (%): 100.016
Max. virtual memory (Kb): 69696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####