PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0201.opb
MD5SUM	8c361d02d5162bb0b133ab6ed38f9294
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1523
Optimality of the best value was proved	NO
Number of terms in the objective function	201
Biggest coefficient in the objective function	1920
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	19980
Number of bits of the sum of numbers in the objective function	15
Biggest number in a constraint	1920
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	19980
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02184
Number of variables	201
Total number of constraints	334
Number of constraints which are clauses	20
Number of constraints which are cardinality constraints (but not clauses)	227
Number of constraints which are nor clauses,nor cardinality constraints	87
Minimum length of a constraint	1
Maximum length of a constraint	67
Trace number 26396

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 15:21:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13709 boxname=wulflinc28 idbench=1055 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 13709
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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	: 3
cpu MHz		: 451.077
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:        817988 kB
Buffers:         33844 kB
Cached:         161504 kB
SwapCached:       1104 kB
Active:          56432 kB
Inactive:       141532 kB
HighTotal:      131008 kB
HighFree:         9464 kB
LowTotal:       903652 kB
LowFree:        808524 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13176 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:41:30 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 13709 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-20-10-p0201.opb
c #variables read: 201 - #constraints read: 335
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 C1066_bit0 -C1067_bit0 C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 C1084_bit0 C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 C1146_bit0 -C1147_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
#### 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.88 0.95 0.99 2/54 25674
Raw data (stat): 25674 (runsolver) R 25673 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831285251 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99998 s]
Raw data (loadavg): 0.90 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 364 0 0 0 994 4 0 0 25 0 1 0 831285251 7098368 342 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+20.0009 s]
Raw data (loadavg): 0.91 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 397 0 0 0 1992 6 0 0 25 0 1 0 831285251 7229440 375 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+30.0003 s]
Raw data (loadavg): 0.93 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 397 0 0 0 2990 8 0 0 25 0 1 0 831285251 7229440 375 4294967295 134512640 134581331 3221224592 3221223504 134527371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+40 s]
Raw data (loadavg): 0.94 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 397 0 0 0 3988 10 0 0 25 0 1 0 831285251 7229440 375 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+50 s]
Raw data (loadavg): 0.95 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 401 0 0 0 4985 13 0 0 25 0 1 0 831285251 7229440 379 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+59.9994 s]
Raw data (loadavg): 0.95 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 401 0 0 0 5984 15 0 0 25 0 1 0 831285251 7229440 379 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+69.9991 s]
Raw data (loadavg): 0.96 0.95 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 426 0 0 0 6982 17 0 0 25 0 1 0 831285251 7360512 404 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 404 566 18 0 1779 0
vsize: 7188
[startup+80.0056 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 426 0 0 0 7980 19 0 0 25 0 1 0 831285251 7360512 404 4294967295 134512640 134581331 3221224592 3221223504 134527692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 404 566 18 0 1779 0
vsize: 7188
[startup+90.0055 s]
Raw data (loadavg): 0.97 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 428 0 0 0 8978 22 0 0 25 0 1 0 831285251 7360512 406 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 406 566 18 0 1779 0
vsize: 7188
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 446 0 0 0 9976 24 0 0 25 0 1 0 831285251 7471104 424 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 424 566 18 0 1806 0
vsize: 7296
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 446 0 0 0 10975 25 0 0 25 0 1 0 831285251 7471104 424 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 424 566 18 0 1806 0
vsize: 7296
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 447 0 0 0 11973 28 0 0 25 0 1 0 831285251 7471104 425 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 425 566 18 0 1806 0
vsize: 7296
[startup+130.005 s]
Raw data (loadavg): 0.98 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 452 0 0 0 12971 29 0 0 25 0 1 0 831285251 7471104 430 4294967295 134512640 134581331 3221224592 3221223456 134528334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 452 0 0 0 13970 31 0 0 25 0 1 0 831285251 7471104 430 4294967295 134512640 134581331 3221224592 3221223476 134526888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 452 0 0 0 14968 33 0 0 25 0 1 0 831285251 7471104 430 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 460 0 0 0 15966 35 0 0 25 0 1 0 831285251 7471104 438 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 438 566 18 0 1806 0
vsize: 7296
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 461 0 0 0 16964 38 0 0 25 0 1 0 831285251 7471104 439 4294967295 134512640 134581331 3221224592 3221223572 134560793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 439 566 18 0 1806 0
vsize: 7296
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 468 0 0 0 17962 39 0 0 25 0 1 0 831285251 7589888 446 4294967295 134512640 134581331 3221224592 3221223504 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 446 566 18 0 1835 0
vsize: 7412
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 468 0 0 0 18960 42 0 0 25 0 1 0 831285251 7589888 446 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 446 566 18 0 1835 0
vsize: 7412
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 19958 44 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 20957 45 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 21956 47 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 22954 49 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223312 134522634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 23952 51 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223476 134557901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 24950 53 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 25948 54 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 26946 57 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223376 134528732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 27944 59 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 28942 61 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223456 134528258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 29941 63 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 476 0 0 0 30939 65 0 0 25 0 1 0 831285251 7589888 454 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 485 0 0 0 31938 66 0 0 25 0 1 0 831285251 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 485 0 0 0 32935 69 0 0 25 0 1 0 831285251 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 485 0 0 0 33932 72 0 0 25 0 1 0 831285251 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 485 0 0 0 34931 74 0 0 25 0 1 0 831285251 7589888 463 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 485 0 0 0 35928 77 0 0 25 0 1 0 831285251 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 493 0 0 0 36926 79 0 0 25 0 1 0 831285251 7708672 471 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 471 566 18 0 1864 0
vsize: 7528
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 494 0 0 0 37925 80 0 0 25 0 1 0 831285251 7675904 472 4294967295 134512640 134581331 3221224592 3221223684 134562684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 472 566 18 0 1856 0
vsize: 7496
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 38923 82 0 0 25 0 1 0 831285251 7675904 477 4294967295 134512640 134581331 3221224592 3221223568 134560826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 477 566 18 0 1856 0
vsize: 7496
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 39922 83 0 0 25 0 1 0 831285251 7675904 477 4294967295 134512640 134581331 3221224592 3221223184 1075290948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 477 566 18 0 1856 0
vsize: 7496
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 40921 85 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 41919 86 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 42918 88 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 43917 89 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.99 3/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 44914 92 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 45913 93 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 46912 95 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 47912 95 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 48910 97 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 49909 99 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 499 0 0 0 50907 101 0 0 25 0 1 0 831285251 7663616 477 4294967295 134512640 134581331 3221224592 3221223576 134560819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 500 0 0 0 51906 102 0 0 25 0 1 0 831285251 7663616 478 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 518 0 0 0 52904 104 0 0 25 0 1 0 831285251 7798784 496 4294967295 134512640 134581331 3221224592 3221223504 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 496 566 18 0 1886 0
vsize: 7616
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 520 0 0 0 53902 106 0 0 25 0 1 0 831285251 7798784 498 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 498 566 18 0 1886 0
vsize: 7616
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 520 0 0 0 54900 108 0 0 25 0 1 0 831285251 7782400 498 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1900 498 566 18 0 1882 0
vsize: 7600
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 55899 110 0 0 25 0 1 0 831285251 7778304 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1899 506 566 18 0 1881 0
vsize: 7596
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 56897 111 0 0 25 0 1 0 831285251 7774208 506 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 57896 113 0 0 25 0 1 0 831285251 7774208 506 4294967295 134512640 134581331 3221224592 3221223488 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 58896 113 0 0 25 0 1 0 831285251 7774208 506 4294967295 134512640 134581331 3221224592 3221223504 134527416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 59894 116 0 0 25 0 1 0 831285251 7770112 506 4294967295 134512640 134581331 3221224592 3221223664 134531400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1897 506 566 18 0 1879 0
vsize: 7588
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 528 0 0 0 60892 117 0 0 25 0 1 0 831285251 7745536 506 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1891 506 566 18 0 1873 0
vsize: 7564
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 536 0 0 0 61890 119 0 0 25 0 1 0 831285251 7876608 514 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 514 566 18 0 1905 0
vsize: 7692
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 536 0 0 0 62888 122 0 0 25 0 1 0 831285251 7847936 514 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 514 566 18 0 1898 0
vsize: 7664
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 536 0 0 0 63886 124 0 0 25 0 1 0 831285251 7831552 514 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 514 566 18 0 1894 0
vsize: 7648
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 541 0 0 0 64885 125 0 0 25 0 1 0 831285251 7831552 519 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 541 0 0 0 65883 127 0 0 25 0 1 0 831285251 7831552 519 4294967295 134512640 134581331 3221224592 3221223504 134527701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 541 0 0 0 66881 130 0 0 25 0 1 0 831285251 7831552 519 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 541 0 0 0 67880 131 0 0 25 0 1 0 831285251 7831552 519 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 541 0 0 0 68878 133 0 0 25 0 1 0 831285251 7831552 519 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 69877 135 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 70875 136 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 71874 138 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223376 134528763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 72872 139 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 73872 140 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 74871 141 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 75869 143 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 76868 145 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 77866 146 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223568 134560826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 78865 147 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 79864 149 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 80862 151 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 81861 153 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+830.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 542 0 0 0 82859 154 0 0 25 0 1 0 831285251 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+840.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 550 0 0 0 83857 157 0 0 25 0 1 0 831285251 7831552 528 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 528 566 18 0 1894 0
vsize: 7648
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 556 0 0 0 84855 159 0 0 25 0 1 0 831285251 7958528 534 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 534 566 18 0 1925 0
vsize: 7772
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 559 0 0 0 85854 160 0 0 25 0 1 0 831285251 7958528 537 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 537 566 18 0 1925 0
vsize: 7772
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 560 0 0 0 86853 162 0 0 25 0 1 0 831285251 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 560 0 0 0 87850 164 0 0 25 0 1 0 831285251 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+890.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 560 0 0 0 88848 167 0 0 25 0 1 0 831285251 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 560 0 0 0 89846 169 0 0 25 0 1 0 831285251 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+910.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 560 0 0 0 90845 170 0 0 25 0 1 0 831285251 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+920.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 91843 172 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 92841 174 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+940.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 93841 175 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+950.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 94840 175 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+960.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 95839 177 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+970.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 96838 178 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223376 134528765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+980.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 575 0 0 0 97836 180 0 0 25 0 1 0 831285251 7958528 553 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+990.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 584 0 0 0 98835 182 0 0 25 0 1 0 831285251 8089600 562 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1975 562 566 18 0 1957 0
vsize: 7900
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 593 0 0 0 99833 184 0 0 25 0 1 0 831285251 8089600 571 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1975 571 566 18 0 1957 0
vsize: 7900
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 593 0 0 0 100832 185 0 0 25 0 1 0 831285251 8085504 571 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 593 0 0 0 101831 186 0 0 25 0 1 0 831285251 8085504 571 4294967295 134512640 134581331 3221224592 3221223504 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 602 0 0 0 102829 188 0 0 25 0 1 0 831285251 8085504 580 4294967295 134512640 134581331 3221224592 3221223504 134527703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 602 0 0 0 103828 189 0 0 25 0 1 0 831285251 8085504 580 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 602 0 0 0 104827 191 0 0 25 0 1 0 831285251 8085504 580 4294967295 134512640 134581331 3221224592 3221223488 134517871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 602 0 0 0 105826 192 0 0 25 0 1 0 831285251 8085504 580 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 106824 194 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223476 134527187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 107822 196 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223584 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 108821 197 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 109819 199 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223536 134559469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 110818 201 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223584 134561068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 111817 202 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 112816 203 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 113815 205 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 114814 206 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 115813 206 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527995 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 116812 207 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 117812 209 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1188.81 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 25674
Raw data (stat): 25674 (Pueblo) R 25673 24821 24820 0 -1 0 605 0 0 0 117812 209 0 0 25 0 1 0 831285251 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 0

Child status: 10
Real time (s): 1188.81
CPU time (s): 1189.01
CPU user time (s): 1186.9
CPU system time (s): 2.10268
CPU usage (%): 100.016
Max. virtual memory (Kb): 7900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1551
#### END VERIFIER DATA ####