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/milp/normalized-mps-v2-13-7-dano3_3.opb
MD5SUM	cb5fbc431eb68f8a2a8d0f81405ac2af
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	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	131072000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	576307709
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	296.838
Number of variables	270305
Total number of constraints	3778
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	72
Number of constraints which are nor clauses,nor cardinality constraints	3706
Minimum length of a constraint	1
Maximum length of a constraint	10600
Trace number 26952

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-24 18:18:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19442 boxname=wulflinc8 idbench=1496 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  cb5fbc431eb68f8a2a8d0f81405ac2af  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-dano3_3.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-dano3_3.opb
IDLAUNCH: 19442
/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:        469144 kB
Buffers:         34784 kB
Cached:         508808 kB
SwapCached:          0 kB
Active:          88756 kB
Inactive:       457820 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        468892 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7060 kB
Slab:            13260 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:38:23 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 19442 7 1200.42 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 6049
Raw data (stat): 6049 (runsolver) R 6048 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 760551858 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.0013 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 8088 0 0 0 977 21 0 0 25 0 1 0 760551858 38756352 8067 4294967295 134512640 134581331 3221224608 3217028888 1074960369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9462 8067 566 18 0 9444 0
vsize: 37848
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 10987 0 0 0 1965 33 0 0 25 0 1 0 760551858 50487296 10966 4294967295 134512640 134581331 3221224608 3217028884 1074960316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12326 10966 566 18 0 12308 0
vsize: 49304
[startup+30.0019 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 217671 0 0 0 2524 474 0 0 25 0 1 0 760551858 105353216 18588 4294967295 134512640 134581331 3221224608 3221223648 134520845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25721 18588 566 18 0 25703 0
vsize: 102884
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 475675 0 0 0 2978 1020 0 0 25 0 1 0 760551858 118800384 21832 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29004 21839 566 18 0 28986 0
vsize: 116016
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 757609 0 0 0 3387 1611 0 0 25 0 1 0 760551858 121503744 22342 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29664 22352 566 18 0 29646 0
vsize: 118656
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1026671 0 0 0 3817 2182 0 0 25 0 1 0 760551858 136470528 26084 4294967295 134512640 134581331 3221224608 3221223600 134531726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33318 26091 566 18 0 33300 0
vsize: 133272
[startup+70.0054 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1280926 0 0 0 4276 2723 0 0 25 0 1 0 760551858 157765632 31387 4294967295 134512640 134581331 3221224608 3221223808 134557266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38781 31391 566 18 0 38763 0
vsize: 154068
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1353315 0 0 0 5123 2877 0 0 25 0 1 0 760551858 161243136 32232 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39366 32232 566 18 0 39348 0
vsize: 157464
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1353325 0 0 0 6123 2877 0 0 25 0 1 0 760551858 161243136 32242 4294967295 134512640 134581331 3221224608 3221223504 134517905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39366 32242 566 18 0 39348 0
vsize: 157464
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1353325 0 0 0 7123 2877 0 0 25 0 1 0 760551858 161243136 32242 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39366 32242 566 18 0 39348 0
vsize: 157464
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1353604 0 0 0 8123 2877 0 0 25 0 1 0 760551858 162426880 32521 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39655 32521 566 18 0 39637 0
vsize: 158620
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1354579 0 0 0 9119 2881 0 0 25 0 1 0 760551858 166383616 33496 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40621 33496 566 18 0 40603 0
vsize: 162484
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1355631 0 0 0 10115 2885 0 0 25 0 1 0 760551858 170721280 34548 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41680 34548 566 18 0 41662 0
vsize: 166720
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1356744 0 0 0 11111 2889 0 0 25 0 1 0 760551858 175292416 35661 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42796 35661 566 18 0 42778 0
vsize: 171184
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1357895 0 0 0 12108 2893 0 0 25 0 1 0 760551858 179924992 36812 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43927 36812 566 18 0 43909 0
vsize: 175708
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1358944 0 0 0 13105 2896 0 0 25 0 1 0 760551858 184246272 37861 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44982 37861 566 18 0 44964 0
vsize: 179928
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1360060 0 0 0 14101 2900 0 0 25 0 1 0 760551858 188907520 38977 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46120 38977 566 18 0 46102 0
vsize: 184480
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1361128 0 0 0 15098 2904 0 0 25 0 1 0 760551858 193171456 40045 4294967295 134512640 134581331 3221224608 3221223504 134517854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47161 40045 566 18 0 47143 0
vsize: 188644
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1362070 0 0 0 16095 2906 0 0 25 0 1 0 760551858 197115904 40987 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48124 40987 566 18 0 48106 0
vsize: 192496
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1363078 0 0 0 17092 2910 0 0 25 0 1 0 760551858 201302016 41995 4294967295 134512640 134581331 3221224608 3221223504 134517862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49146 41995 566 18 0 49128 0
vsize: 196584
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1364157 0 0 0 18089 2913 0 0 25 0 1 0 760551858 205721600 43074 4294967295 134512640 134581331 3221224608 3221223552 134560143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50225 43074 566 18 0 50207 0
vsize: 200900
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1365190 0 0 0 19086 2916 0 0 25 0 1 0 760551858 209866752 44107 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51237 44107 566 18 0 51219 0
vsize: 204948
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1366177 0 0 0 20084 2918 0 0 25 0 1 0 760551858 213913600 45094 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52225 45094 566 18 0 52207 0
vsize: 208900
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1367167 0 0 0 21082 2921 0 0 25 0 1 0 760551858 217948160 46084 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53210 46084 566 18 0 53192 0
vsize: 212840
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1368010 0 0 0 22078 2925 0 0 25 0 1 0 760551858 221384704 46927 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54049 46927 566 18 0 54031 0
vsize: 216196
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1368837 0 0 0 23076 2927 0 0 25 0 1 0 760551858 224845824 47754 4294967295 134512640 134581331 3221224608 3221223392 134528817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54894 47754 566 18 0 54876 0
vsize: 219576
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1369763 0 0 0 24074 2929 0 0 25 0 1 0 760551858 228634624 48680 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55819 48680 566 18 0 55801 0
vsize: 223276
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1370757 0 0 0 25072 2932 0 0 25 0 1 0 760551858 232644608 49674 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56798 49674 566 18 0 56780 0
vsize: 227192
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1371740 0 0 0 26069 2935 0 0 25 0 1 0 760551858 236654592 50657 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57777 50657 566 18 0 57759 0
vsize: 231108
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1372711 0 0 0 27065 2939 0 0 25 0 1 0 760551858 240721920 51628 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58770 51628 566 18 0 58752 0
vsize: 235080
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1373489 0 0 0 28062 2942 0 0 25 0 1 0 760551858 243900416 52406 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59546 52406 566 18 0 59528 0
vsize: 238184
[startup+320.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1374261 0 0 0 29060 2944 0 0 25 0 1 0 760551858 247074816 53178 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60321 53178 566 18 0 60303 0
vsize: 241284
[startup+330.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1375047 0 0 0 30058 2947 0 0 25 0 1 0 760551858 250269696 53964 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61101 53964 566 18 0 61083 0
vsize: 244404
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1375835 0 0 0 31056 2949 0 0 25 0 1 0 760551858 253579264 54752 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61909 54752 566 18 0 61891 0
vsize: 247636
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1376602 0 0 0 32053 2952 0 0 25 0 1 0 760551858 256774144 55519 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62689 55519 566 18 0 62671 0
vsize: 250756
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1377358 0 0 0 33051 2955 0 0 25 0 1 0 760551858 259833856 56275 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63436 56275 566 18 0 63418 0
vsize: 253744
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1378122 0 0 0 34049 2957 0 0 25 0 1 0 760551858 262897664 57039 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64184 57039 566 18 0 64166 0
vsize: 256736
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1378887 0 0 0 35046 2960 0 0 25 0 1 0 760551858 266092544 57804 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64964 57804 566 18 0 64946 0
vsize: 259856
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1379797 0 0 0 36044 2962 0 0 25 0 1 0 760551858 269721600 58714 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65850 58714 566 18 0 65832 0
vsize: 263400
[startup+400.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1380719 0 0 0 37042 2964 0 0 25 0 1 0 760551858 273604608 59636 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66798 59636 566 18 0 66780 0
vsize: 267192
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1381628 0 0 0 38040 2967 0 0 25 0 1 0 760551858 277360640 60545 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67715 60545 566 18 0 67697 0
vsize: 270860
[startup+420.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1382524 0 0 0 39036 2971 0 0 25 0 1 0 760551858 280985600 61441 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68600 61441 566 18 0 68582 0
vsize: 274400
[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1383395 0 0 0 40034 2973 0 0 25 0 1 0 760551858 284610560 62312 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69485 62312 566 18 0 69467 0
vsize: 277940
[startup+440.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1384306 0 0 0 41031 2977 0 0 25 0 1 0 760551858 288231424 63223 4294967295 134512640 134581331 3221224608 3221223600 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70369 63223 566 18 0 70351 0
vsize: 281476
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1385945 0 0 0 42029 2979 0 0 25 0 1 0 760551858 295038976 64862 4294967295 134512640 134581331 3221224608 3221223536 134519958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72031 64862 566 18 0 72013 0
vsize: 288124
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1386930 0 0 0 43027 2981 0 0 25 0 1 0 760551858 298995712 65847 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72997 65847 566 18 0 72979 0
vsize: 291988
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1387601 0 0 0 44027 2981 0 0 25 0 1 0 760551858 301744128 66518 4294967295 134512640 134581331 3221224608 3221223536 134520076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73668 66518 566 18 0 73650 0
vsize: 294672
[startup+480.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1388436 0 0 0 45023 2986 0 0 25 0 1 0 760551858 305258496 67353 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74526 67353 566 18 0 74508 0
vsize: 298104
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1389318 0 0 0 46021 2987 0 0 25 0 1 0 760551858 308748288 68235 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75378 68235 566 18 0 75360 0
vsize: 301512
[startup+500.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1390210 0 0 0 47019 2990 0 0 25 0 1 0 760551858 312500224 69127 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76294 69127 566 18 0 76276 0
vsize: 305176
[startup+510.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1391091 0 0 0 48016 2993 0 0 25 0 1 0 760551858 316121088 70008 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77178 70008 566 18 0 77160 0
vsize: 308712
[startup+520.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1391961 0 0 0 49014 2995 0 0 25 0 1 0 760551858 319619072 70878 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78032 70878 566 18 0 78014 0
vsize: 312128
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1392816 0 0 0 50012 2998 0 0 25 0 1 0 760551858 323112960 71733 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78885 71733 566 18 0 78867 0
vsize: 315540
[startup+540.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1393692 0 0 0 51008 3001 0 0 25 0 1 0 760551858 326737920 72609 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79770 72609 566 18 0 79752 0
vsize: 319080
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1394555 0 0 0 52006 3004 0 0 25 0 1 0 760551858 330231808 73472 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80623 73472 566 18 0 80605 0
vsize: 322492
[startup+560.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1395410 0 0 0 53002 3008 0 0 25 0 1 0 760551858 333733888 74327 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81478 74327 566 18 0 81460 0
vsize: 325912
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1396256 0 0 0 54000 3010 0 0 25 0 1 0 760551858 337227776 75173 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82331 75173 566 18 0 82313 0
vsize: 329324
[startup+580.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1397073 0 0 0 54997 3013 0 0 25 0 1 0 760551858 340594688 75990 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83153 75990 566 18 0 83135 0
vsize: 332612
[startup+590.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1397920 0 0 0 55994 3016 0 0 25 0 1 0 760551858 344129536 76837 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84016 76837 566 18 0 83998 0
vsize: 336064
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1398750 0 0 0 56991 3020 0 0 25 0 1 0 760551858 347623424 77667 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84869 77667 566 18 0 84851 0
vsize: 339476
[startup+610.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1399568 0 0 0 57988 3023 0 0 25 0 1 0 760551858 350986240 78485 4294967295 134512640 134581331 3221224608 3221223504 134517873 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85690 78485 566 18 0 85672 0
vsize: 342760
[startup+620.032 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400380 0 0 0 58986 3025 0 0 25 0 1 0 760551858 354226176 79297 4294967295 134512640 134581331 3221224608 3221223504 134517900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86481 79297 566 18 0 86463 0
vsize: 345924
[startup+630.032 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 59986 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+640.033 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 60987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+650.034 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 61987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+660.034 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 62987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223520 134527416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+670.034 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 63987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+680.034 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 64987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+690.034 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 65987 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+700.035 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 66988 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+710.036 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 67988 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+720.036 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 68988 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+730.036 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 69988 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+740.037 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 70988 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 71989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 72989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223296 1075289347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+770.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 73989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223600 134561084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 74989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 75989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 76990 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+810.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 77990 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 78989 3025 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400438 0 0 0 79989 3026 0 0 25 0 1 0 760551858 354480128 79355 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79355 566 18 0 86525 0
vsize: 346172
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 80990 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 81990 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 82990 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223536 134519829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+870.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 83990 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 84990 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223504 134517851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+890.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 85991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+900.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 86991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223600 134561137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 87991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 88991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223504 134517865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 89991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223552 134559274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 90991 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400439 0 0 0 91992 3026 0 0 25 0 1 0 760551858 354480128 79356 4294967295 134512640 134581331 3221224608 3221223536 134520109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86543 79356 566 18 0 86525 0
vsize: 346172
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1400633 0 0 0 92991 3026 0 0 25 0 1 0 760551858 355254272 79550 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86732 79550 566 18 0 86714 0
vsize: 346928
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1401458 0 0 0 93989 3029 0 0 25 0 1 0 760551858 358617088 80375 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87553 80375 566 18 0 87535 0
vsize: 350212
[startup+980.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1402263 0 0 0 94987 3031 0 0 25 0 1 0 760551858 361984000 81180 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88375 81180 566 18 0 88357 0
vsize: 353500
[startup+990.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403081 0 0 0 95985 3033 0 0 25 0 1 0 760551858 365350912 81998 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89197 81998 566 18 0 89179 0
vsize: 356788
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 96984 3034 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223536 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 97984 3034 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 98984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 99984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223472 134528347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 100984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 101984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223472 134528267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 102984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 103984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 104984 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223504 134517894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 105985 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 106985 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 107985 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 108985 3035 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 109986 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 110986 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223504 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 111988 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 112989 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 113989 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223536 134519797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 114989 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223536 134519823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 115990 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 6049
Raw data (stat): 6049 (Pueblo) R 6048 3132 3131 0 -1 0 1403532 0 0 0 116990 3036 0 0 25 0 1 0 760551858 367161344 82449 4294967295 134512640 134581331 3221224608 3221223552 134560142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89639 82449 566 18 0 89621 0
vsize: 358556
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 6049
Raw data (stat): 6049 (Pueblo) Z 6048 3132 3131 0 -1 1036 1403532 0 0 0 116990 3051 0 0 25 0 1 0 760551858 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.24
CPU time (s): 1200.42
CPU user time (s): 1169.9
CPU system time (s): 30.5164
CPU usage (%): 100.015
Max. virtual memory (Kb): 358556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####