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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3702.opb
MD5SUM	1d23f02bf686681d1b293e114d3bb612
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39177236543
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39177236543
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.03484
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26988

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-24 18:31:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19026 boxname=wulflinc3 idbench=1464 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  1d23f02bf686681d1b293e114d3bb612  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3702.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3702.opb
IDLAUNCH: 19026
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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		: 451.190
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:        881252 kB
Buffers:          6092 kB
Cached:         125580 kB
SwapCached:        112 kB
Active:          30956 kB
Inactive:       103696 kB
HighTotal:      131008 kB
HighFree:         1036 kB
LowTotal:       903652 kB
LowFree:        880216 kB
SwapTotal:     2097136 kB
SwapFree:      2096992 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6904 kB
Slab:            12932 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:51:14 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 19026 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.93 2/54 23856
Raw data (stat): 23856 (runsolver) R 23855 20224 20223 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774187494 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.001 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 79732 0 0 0 838 161 0 0 25 0 1 0 774187494 56098816 12085 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13696 12088 566 18 0 13678 0
vsize: 54784
[startup+20.001 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 384175 0 0 0 1283 716 0 0 25 0 1 0 774187494 57163776 12369 4294967295 134512640 134581331 3221224608 3221223576 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14059 12377 566 18 0 14041 0
vsize: 55824
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 1971 1028 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223552 134558952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 2971 1028 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 3971 1029 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 4970 1029 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 5970 1029 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 6970 1029 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 558783 0 0 0 7970 1030 0 0 25 0 1 0 774187494 57061376 12392 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13931 12392 566 18 0 13913 0
vsize: 55724
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 559144 0 0 0 8969 1031 0 0 25 0 1 0 774187494 58482688 12753 4294967295 134512640 134581331 3221224608 3221223504 134517883 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14278 12753 566 18 0 14260 0
vsize: 57112
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 559671 0 0 0 9968 1033 0 0 25 0 1 0 774187494 60764160 13280 4294967295 134512640 134581331 3221224608 3221223392 134528817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14835 13280 566 18 0 14817 0
vsize: 59340
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 560715 0 0 0 10965 1036 0 0 25 0 1 0 774187494 64999424 14324 4294967295 134512640 134581331 3221224608 3221223520 134527678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15869 14324 566 18 0 15851 0
vsize: 63476
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 560827 0 0 0 11964 1036 0 0 25 0 1 0 774187494 65380352 14436 4294967295 134512640 134581331 3221224608 3221223520 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15962 14436 566 18 0 15944 0
vsize: 63848
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 560933 0 0 0 12964 1037 0 0 25 0 1 0 774187494 65880064 14542 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16084 14542 566 18 0 16066 0
vsize: 64336
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561032 0 0 0 13964 1037 0 0 25 0 1 0 774187494 66256896 14641 4294967295 134512640 134581331 3221224608 3221223520 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16176 14641 566 18 0 16158 0
vsize: 64704
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561151 0 0 0 14963 1038 0 0 25 0 1 0 774187494 66723840 14760 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16290 14760 566 18 0 16272 0
vsize: 65160
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561261 0 0 0 15962 1039 0 0 25 0 1 0 774187494 67194880 14870 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16405 14870 566 18 0 16387 0
vsize: 65620
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561364 0 0 0 16962 1039 0 0 25 0 1 0 774187494 67661824 14973 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16519 14973 566 18 0 16501 0
vsize: 66076
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561439 0 0 0 17961 1040 0 0 25 0 1 0 774187494 67899392 15048 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16577 15048 566 18 0 16559 0
vsize: 66308
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561517 0 0 0 18961 1041 0 0 25 0 1 0 774187494 68259840 15126 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16665 15126 566 18 0 16647 0
vsize: 66660
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561710 0 0 0 19960 1042 0 0 25 0 1 0 774187494 69005312 15319 4294967295 134512640 134581331 3221224608 3221223520 134527709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16847 15319 566 18 0 16829 0
vsize: 67388
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 561866 0 0 0 20959 1043 0 0 25 0 1 0 774187494 69632000 15475 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17000 15475 566 18 0 16982 0
vsize: 68000
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562187 0 0 0 21958 1044 0 0 25 0 1 0 774187494 71028736 15796 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17341 15796 566 18 0 17323 0
vsize: 69364
[startup+240.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562401 0 0 0 22957 1045 0 0 25 0 1 0 774187494 71917568 16010 4294967295 134512640 134581331 3221224608 3221223520 134527440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17558 16010 566 18 0 17540 0
vsize: 70232
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562551 0 0 0 23956 1046 0 0 25 0 1 0 774187494 72536064 16160 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17709 16160 566 18 0 17691 0
vsize: 70836
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562691 0 0 0 24956 1047 0 0 25 0 1 0 774187494 73048064 16300 4294967295 134512640 134581331 3221224608 3221223428 1075289647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17834 16300 566 18 0 17816 0
vsize: 71336
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562812 0 0 0 25955 1048 0 0 25 0 1 0 774187494 73572352 16421 4294967295 134512640 134581331 3221224608 3221223472 134528261 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17962 16421 566 18 0 17944 0
vsize: 71848
[startup+280.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 562908 0 0 0 26954 1049 0 0 25 0 1 0 774187494 73904128 16517 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18043 16517 566 18 0 18025 0
vsize: 72172
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563041 0 0 0 27954 1049 0 0 25 0 1 0 774187494 74506240 16650 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18190 16650 566 18 0 18172 0
vsize: 72760
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563232 0 0 0 28953 1050 0 0 25 0 1 0 774187494 75239424 16841 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18369 16841 566 18 0 18351 0
vsize: 73476
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563374 0 0 0 29953 1051 0 0 25 0 1 0 774187494 75870208 16983 4294967295 134512640 134581331 3221224608 3221223520 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18523 16983 566 18 0 18505 0
vsize: 74092
[startup+320.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563516 0 0 0 30952 1052 0 0 25 0 1 0 774187494 76419072 17125 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18657 17125 566 18 0 18639 0
vsize: 74628
[startup+330.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563701 0 0 0 31951 1053 0 0 25 0 1 0 774187494 77185024 17310 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18844 17310 566 18 0 18826 0
vsize: 75376
[startup+340.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 563818 0 0 0 32951 1053 0 0 25 0 1 0 774187494 77688832 17427 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18967 17427 566 18 0 18949 0
vsize: 75868
[startup+350.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 564078 0 0 0 33950 1054 0 0 25 0 1 0 774187494 78802944 17687 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19239 17687 566 18 0 19221 0
vsize: 76956
[startup+360.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 564435 0 0 0 34948 1056 0 0 25 0 1 0 774187494 80220160 18044 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19585 18044 566 18 0 19567 0
vsize: 78340
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 564773 0 0 0 35948 1057 0 0 25 0 1 0 774187494 81571840 18382 4294967295 134512640 134581331 3221224608 3221223472 134528375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18382 566 18 0 19897 0
vsize: 79660
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 565086 0 0 0 36947 1059 0 0 25 0 1 0 774187494 82874368 18695 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20233 18695 566 18 0 20215 0
vsize: 80932
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 565328 0 0 0 37946 1060 0 0 25 0 1 0 774187494 83881984 18937 4294967295 134512640 134581331 3221224608 3221223520 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20479 18937 566 18 0 20461 0
vsize: 81916
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 565532 0 0 0 38944 1061 0 0 25 0 1 0 774187494 84688896 19141 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19141 566 18 0 20658 0
vsize: 82704
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 565676 0 0 0 39944 1062 0 0 25 0 1 0 774187494 85303296 19285 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20826 19285 566 18 0 20808 0
vsize: 83304
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 565862 0 0 0 40943 1063 0 0 25 0 1 0 774187494 86036480 19471 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21005 19471 566 18 0 20987 0
vsize: 84020
[startup+430.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 566045 0 0 0 41942 1065 0 0 25 0 1 0 774187494 86786048 19654 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21188 19654 566 18 0 21170 0
vsize: 84752
[startup+440.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 566271 0 0 0 42941 1066 0 0 25 0 1 0 774187494 87748608 19880 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21423 19880 566 18 0 21405 0
vsize: 85692
[startup+450.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 566487 0 0 0 43940 1067 0 0 25 0 1 0 774187494 88686592 20096 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21652 20096 566 18 0 21634 0
vsize: 86608
[startup+460.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 566692 0 0 0 44939 1068 0 0 25 0 1 0 774187494 89522176 20301 4294967295 134512640 134581331 3221224608 3221223520 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21856 20301 566 18 0 21838 0
vsize: 87424
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 566925 0 0 0 45938 1069 0 0 25 0 1 0 774187494 90456064 20534 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22084 20534 566 18 0 22066 0
vsize: 88336
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 567142 0 0 0 46937 1070 0 0 25 0 1 0 774187494 91303936 20751 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22291 20751 566 18 0 22273 0
vsize: 89164
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 567307 0 0 0 47936 1071 0 0 25 0 1 0 774187494 91947008 20916 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22448 20916 566 18 0 22430 0
vsize: 89792
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 567502 0 0 0 48935 1072 0 0 25 0 1 0 774187494 92835840 21111 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22665 21111 566 18 0 22647 0
vsize: 90660
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 567671 0 0 0 49935 1073 0 0 25 0 1 0 774187494 93458432 21280 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22817 21280 566 18 0 22799 0
vsize: 91268
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 567894 0 0 0 50935 1073 0 0 25 0 1 0 774187494 94429184 21503 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23054 21503 566 18 0 23036 0
vsize: 92216
[startup+530.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568077 0 0 0 51934 1074 0 0 25 0 1 0 774187494 95182848 21686 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23238 21686 566 18 0 23220 0
vsize: 92952
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568229 0 0 0 52934 1075 0 0 25 0 1 0 774187494 95703040 21838 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23365 21838 566 18 0 23347 0
vsize: 93460
[startup+550.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568412 0 0 0 53933 1075 0 0 25 0 1 0 774187494 96481280 22021 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23555 22021 566 18 0 23537 0
vsize: 94220
[startup+560.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568574 0 0 0 54933 1076 0 0 25 0 1 0 774187494 97120256 22183 4294967295 134512640 134581331 3221224608 3221223520 134527647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23711 22183 566 18 0 23693 0
vsize: 94844
[startup+570.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568731 0 0 0 55933 1076 0 0 25 0 1 0 774187494 97882112 22340 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23897 22340 566 18 0 23879 0
vsize: 95588
[startup+580.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 568975 0 0 0 56932 1077 0 0 25 0 1 0 774187494 98811904 22584 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24124 22584 566 18 0 24106 0
vsize: 96496
[startup+590.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 569141 0 0 0 57932 1077 0 0 25 0 1 0 774187494 99540992 22750 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24302 22750 566 18 0 24284 0
vsize: 97208
[startup+600.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 569548 0 0 0 58931 1078 0 0 25 0 1 0 774187494 101105664 23157 4294967295 134512640 134581331 3221224608 3221223536 134519931 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24684 23157 566 18 0 24666 0
vsize: 98736
[startup+610.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 569904 0 0 0 59929 1080 0 0 25 0 1 0 774187494 102690816 23513 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25071 23513 566 18 0 25053 0
vsize: 100284
[startup+620.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 569953 0 0 0 60929 1080 0 0 25 0 1 0 774187494 102780928 23562 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25093 23562 566 18 0 25075 0
vsize: 100372
[startup+630.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 571112 0 0 0 61926 1083 0 0 25 0 1 0 774187494 107544576 24721 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26256 24721 566 18 0 26238 0
vsize: 105024
[startup+640.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 572496 0 0 0 62922 1088 0 0 25 0 1 0 774187494 113209344 26105 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27639 26105 566 18 0 27621 0
vsize: 110556
[startup+650.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 573917 0 0 0 63917 1092 0 0 25 0 1 0 774187494 119005184 27526 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29054 27526 566 18 0 29036 0
vsize: 116216
[startup+660.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 575213 0 0 0 64915 1095 0 0 25 0 1 0 774187494 124293120 28822 4294967295 134512640 134581331 3221224608 3221223504 134517767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30345 28822 566 18 0 30327 0
vsize: 121380
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 576572 0 0 0 65911 1099 0 0 25 0 1 0 774187494 129982464 30181 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31734 30181 566 18 0 31716 0
vsize: 126936
[startup+680.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 577821 0 0 0 66908 1102 0 0 25 0 1 0 774187494 135057408 31430 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32973 31430 566 18 0 32955 0
vsize: 131892
[startup+690.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579085 0 0 0 67905 1106 0 0 25 0 1 0 774187494 140267520 32694 4294967295 134512640 134581331 3221224608 3221223384 1075291632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34245 32694 566 18 0 34227 0
vsize: 136980
[startup+700.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579338 0 0 0 68904 1107 0 0 25 0 1 0 774187494 141307904 32947 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34499 32947 566 18 0 34481 0
vsize: 137996
[startup+710.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579424 0 0 0 69904 1107 0 0 25 0 1 0 774187494 141688832 33033 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34592 33033 566 18 0 34574 0
vsize: 138368
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579526 0 0 0 70904 1107 0 0 25 0 1 0 774187494 142057472 33135 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34682 33135 566 18 0 34664 0
vsize: 138728
[startup+730.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579623 0 0 0 71904 1107 0 0 25 0 1 0 774187494 142430208 33232 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34773 33232 566 18 0 34755 0
vsize: 139092
[startup+740.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579703 0 0 0 72904 1107 0 0 25 0 1 0 774187494 142807040 33312 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 33312 566 18 0 34847 0
vsize: 139460
[startup+750.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579795 0 0 0 73903 1108 0 0 25 0 1 0 774187494 143183872 33404 4294967295 134512640 134581331 3221224608 3221223584 134560718 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34957 33404 566 18 0 34939 0
vsize: 139828
[startup+760.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579864 0 0 0 74903 1108 0 0 25 0 1 0 774187494 143433728 33473 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35018 33473 566 18 0 35000 0
vsize: 140072
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 579951 0 0 0 75903 1108 0 0 25 0 1 0 774187494 143810560 33560 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35110 33560 566 18 0 35092 0
vsize: 140440
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580039 0 0 0 76903 1109 0 0 25 0 1 0 774187494 144187392 33648 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35202 33648 566 18 0 35184 0
vsize: 140808
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580093 0 0 0 77903 1109 0 0 25 0 1 0 774187494 144441344 33702 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35264 33702 566 18 0 35246 0
vsize: 141056
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580219 0 0 0 78903 1110 0 0 25 0 1 0 774187494 144949248 33828 4294967295 134512640 134581331 3221224608 3221223520 134527652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35388 33828 566 18 0 35370 0
vsize: 141552
[startup+810.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580324 0 0 0 79902 1110 0 0 25 0 1 0 774187494 145330176 33933 4294967295 134512640 134581331 3221224608 3221223552 134559269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35481 33933 566 18 0 35463 0
vsize: 141924
[startup+820.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580402 0 0 0 80902 1110 0 0 25 0 1 0 774187494 145711104 34011 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35574 34011 566 18 0 35556 0
vsize: 142296
[startup+830.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580462 0 0 0 81903 1110 0 0 25 0 1 0 774187494 145965056 34071 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35636 34071 566 18 0 35618 0
vsize: 142544
[startup+840.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580571 0 0 0 82903 1111 0 0 25 0 1 0 774187494 146345984 34180 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35729 34180 566 18 0 35711 0
vsize: 142916
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580630 0 0 0 83903 1111 0 0 25 0 1 0 774187494 146599936 34239 4294967295 134512640 134581331 3221224608 3221223520 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35791 34239 566 18 0 35773 0
vsize: 143164
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580727 0 0 0 84903 1111 0 0 25 0 1 0 774187494 146980864 34336 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35884 34336 566 18 0 35866 0
vsize: 143536
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580824 0 0 0 85903 1111 0 0 25 0 1 0 774187494 147361792 34433 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35977 34433 566 18 0 35959 0
vsize: 143908
[startup+880.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 580936 0 0 0 86902 1112 0 0 25 0 1 0 774187494 147865600 34545 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36100 34545 566 18 0 36082 0
vsize: 144400
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581049 0 0 0 87902 1112 0 0 25 0 1 0 774187494 148365312 34658 4294967295 134512640 134581331 3221224608 3221223472 134527118 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36222 34658 566 18 0 36204 0
vsize: 144888
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581126 0 0 0 88902 1113 0 0 25 0 1 0 774187494 148615168 34735 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36283 34735 566 18 0 36265 0
vsize: 145132
[startup+910.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581229 0 0 0 89902 1113 0 0 25 0 1 0 774187494 148996096 34838 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36376 34838 566 18 0 36358 0
vsize: 145504
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581329 0 0 0 90902 1113 0 0 25 0 1 0 774187494 149491712 34938 4294967295 134512640 134581331 3221224608 3221223520 134527948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36497 34938 566 18 0 36479 0
vsize: 145988
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581431 0 0 0 91902 1113 0 0 25 0 1 0 774187494 149868544 35040 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36589 35040 566 18 0 36571 0
vsize: 146356
[startup+940.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581530 0 0 0 92902 1114 0 0 25 0 1 0 774187494 150245376 35139 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36681 35139 566 18 0 36663 0
vsize: 146724
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581611 0 0 0 93902 1114 0 0 25 0 1 0 774187494 150630400 35220 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36775 35220 566 18 0 36757 0
vsize: 147100
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581708 0 0 0 94902 1114 0 0 25 0 1 0 774187494 151011328 35317 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36868 35317 566 18 0 36850 0
vsize: 147472
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581777 0 0 0 95902 1114 0 0 25 0 1 0 774187494 151261184 35386 4294967295 134512640 134581331 3221224608 3221223520 134527707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36929 35386 566 18 0 36911 0
vsize: 147716
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581859 0 0 0 96901 1115 0 0 25 0 1 0 774187494 151646208 35468 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37023 35468 566 18 0 37005 0
vsize: 148092
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 581947 0 0 0 97902 1115 0 0 25 0 1 0 774187494 152023040 35556 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37115 35556 566 18 0 37097 0
vsize: 148460
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582034 0 0 0 98902 1115 0 0 25 0 1 0 774187494 152276992 35643 4294967295 134512640 134581331 3221224608 3221223520 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37177 35643 566 18 0 37159 0
vsize: 148708
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582121 0 0 0 99902 1115 0 0 25 0 1 0 774187494 152649728 35730 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37268 35730 566 18 0 37250 0
vsize: 149072
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582210 0 0 0 100901 1116 0 0 25 0 1 0 774187494 153026560 35819 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37360 35819 566 18 0 37342 0
vsize: 149440
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582287 0 0 0 101901 1116 0 0 25 0 1 0 774187494 153399296 35896 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37451 35896 566 18 0 37433 0
vsize: 149804
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582369 0 0 0 102901 1116 0 0 25 0 1 0 774187494 153645056 35978 4294967295 134512640 134581331 3221224608 3221223520 134527457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37511 35978 566 18 0 37493 0
vsize: 150044
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582448 0 0 0 103901 1116 0 0 25 0 1 0 774187494 154021888 36057 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37603 36057 566 18 0 37585 0
vsize: 150412
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582529 0 0 0 104901 1116 0 0 25 0 1 0 774187494 154402816 36138 4294967295 134512640 134581331 3221224608 3221223520 134527636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37696 36138 566 18 0 37678 0
vsize: 150784
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582609 0 0 0 105901 1117 0 0 25 0 1 0 774187494 154652672 36218 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37757 36218 566 18 0 37739 0
vsize: 151028
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582692 0 0 0 106901 1117 0 0 25 0 1 0 774187494 155033600 36301 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37850 36301 566 18 0 37832 0
vsize: 151400
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582786 0 0 0 107901 1117 0 0 25 0 1 0 774187494 155410432 36395 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37942 36395 566 18 0 37924 0
vsize: 151768
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582864 0 0 0 108901 1118 0 0 25 0 1 0 774187494 155787264 36473 4294967295 134512640 134581331 3221224608 3221223472 134560398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38034 36473 566 18 0 38016 0
vsize: 152136
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582937 0 0 0 109901 1118 0 0 25 0 1 0 774187494 156037120 36546 4294967295 134512640 134581331 3221224608 3221223520 134527987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38095 36546 566 18 0 38077 0
vsize: 152380
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 582995 0 0 0 110901 1118 0 0 25 0 1 0 774187494 156286976 36604 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38156 36604 566 18 0 38138 0
vsize: 152624
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583041 0 0 0 111900 1119 0 0 25 0 1 0 774187494 156413952 36650 4294967295 134512640 134581331 3221224608 3221223520 134527695 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38187 36650 566 18 0 38169 0
vsize: 152748
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583094 0 0 0 112900 1119 0 0 25 0 1 0 774187494 156663808 36703 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38248 36703 566 18 0 38230 0
vsize: 152992
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583173 0 0 0 113900 1119 0 0 25 0 1 0 774187494 157048832 36782 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38342 36782 566 18 0 38324 0
vsize: 153368
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583225 0 0 0 114900 1120 0 0 25 0 1 0 774187494 157175808 36834 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38373 36834 566 18 0 38355 0
vsize: 153492
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583258 0 0 0 115900 1120 0 0 25 0 1 0 774187494 157302784 36867 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38404 36867 566 18 0 38386 0
vsize: 153616
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583290 0 0 0 116900 1120 0 0 25 0 1 0 774187494 157429760 36899 4294967295 134512640 134581331 3221224608 3221223520 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38435 36899 566 18 0 38417 0
vsize: 153740
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583344 0 0 0 117900 1120 0 0 25 0 1 0 774187494 157687808 36953 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38498 36953 566 18 0 38480 0
vsize: 153992
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 23856
Raw data (stat): 23856 (Pueblo) R 23855 20224 20223 0 -1 0 583389 0 0 0 118900 1120 0 0 25 0 1 0 774187494 157814784 36998 4294967295 134512640 134581331 3221224608 3221223520 134527432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38529 36998 566 18 0 38511 0
vsize: 154116
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 23856
Raw data (stat): 23856 (Pueblo) Z 23855 20224 20223 0 -1 1036 583389 0 0 0 118900 1127 0 0 25 0 1 0 774187494 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.1
CPU time (s): 1200.28
CPU user time (s): 1189.01
CPU system time (s): 11.2783
CPU usage (%): 100.015
Max. virtual memory (Kb): 154116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####