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/MIPLIB/miplib/normalized-mps-v2-13-7-p0201.opb
MD5SUM	ffa3a55eb53181880328dd1b84f91e66
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 39135

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 21:07:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27189 boxname=wulflinc6 idbench=1317 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 27189
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        195584 kB
Buffers:         34340 kB
Cached:         783692 kB
SwapCached:        552 kB
Active:          57024 kB
Inactive:       763084 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        195332 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13288 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 21:27:18 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 27189 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/wulflinc6/normalized-mps-v2-13-7-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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.75 0.91 0.89 2/54 23089
Raw data (stat): 23089 (runsolver) R 23088 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 852902294 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.79 0.91 0.89 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 358 0 0 0 989 9 0 0 25 0 1 0 852902294 7094272 332 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 332 566 18 0 1714 0
vsize: 6928
[startup+20.0008 s]
Raw data (loadavg): 0.82 0.92 0.89 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 358 0 0 0 1982 17 0 0 25 0 1 0 852902294 7094272 332 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 332 566 18 0 1714 0
vsize: 6928
[startup+30.0009 s]
Raw data (loadavg): 0.85 0.92 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 361 0 0 0 2974 26 0 0 25 0 1 0 852902294 7094272 335 4294967295 134512640 134581267 3221224576 3221223520 134559268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 335 566 18 0 1714 0
vsize: 6928
[startup+40.0014 s]
Raw data (loadavg): 0.87 0.92 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 373 0 0 0 3964 35 0 0 25 0 1 0 852902294 7094272 347 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 347 566 18 0 1714 0
vsize: 6928
[startup+50.0012 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 376 0 0 0 4959 41 0 0 25 0 1 0 852902294 7217152 350 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 350 566 18 0 1744 0
vsize: 7048
[startup+60.0014 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 377 0 0 0 5950 50 0 0 25 0 1 0 852902294 7217152 351 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 351 566 18 0 1744 0
vsize: 7048
[startup+70.0022 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 377 0 0 0 6943 58 0 0 25 0 1 0 852902294 7217152 351 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 351 566 18 0 1744 0
vsize: 7048
[startup+80.0027 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 381 0 0 0 7935 66 0 0 25 0 1 0 852902294 7217152 355 4294967295 134512640 134581267 3221224576 3221223488 134527963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+90.0028 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 382 0 0 0 8928 74 0 0 25 0 1 0 852902294 7217152 356 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+100.003 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 404 0 0 0 9921 81 0 0 25 0 1 0 852902294 7217152 378 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+110.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 404 0 0 0 10911 91 0 0 25 0 1 0 852902294 7217152 378 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 404 0 0 0 11904 99 0 0 25 0 1 0 852902294 7217152 378 4294967295 134512640 134581267 3221224576 3221223548 134527304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+130.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 407 0 0 0 12898 105 0 0 25 0 1 0 852902294 7340032 381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1792 381 566 18 0 1774 0
vsize: 7168
[startup+140.004 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 407 0 0 0 13892 111 0 0 25 0 1 0 852902294 7335936 381 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 381 566 18 0 1773 0
vsize: 7164
[startup+150.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 411 0 0 0 14884 119 0 0 25 0 1 0 852902294 7335936 385 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 385 566 18 0 1773 0
vsize: 7164
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 413 0 0 0 15876 128 0 0 25 0 1 0 852902294 7335936 387 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 387 566 18 0 1773 0
vsize: 7164
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 416 0 0 0 16868 136 0 0 25 0 1 0 852902294 7335936 390 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+180.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 416 0 0 0 17858 146 0 0 25 0 1 0 852902294 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 416 0 0 0 18849 156 0 0 25 0 1 0 852902294 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 416 0 0 0 19841 164 0 0 25 0 1 0 852902294 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+210.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 20832 174 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 21825 181 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 22818 188 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+240.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 23809 198 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 24801 207 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 25793 215 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 26785 223 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223472 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 27778 230 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 431 0 0 0 28769 239 0 0 25 0 1 0 852902294 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 438 0 0 0 29761 248 0 0 25 0 1 0 852902294 7450624 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1819 412 566 18 0 1801 0
vsize: 7276
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 30754 256 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 31747 263 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 32741 269 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 33734 276 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+350.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 34728 283 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223440 134528216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+360.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 35720 291 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+370.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 36713 298 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221222880 134566241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+380.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 37705 306 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+390.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 38698 314 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 39688 324 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 40681 332 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 41673 340 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 42665 349 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 43657 356 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 445 0 0 0 44649 365 0 0 25 0 1 0 852902294 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 453 0 0 0 45639 375 0 0 25 0 1 0 852902294 7434240 427 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 427 566 18 0 1797 0
vsize: 7260
[startup+470.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 458 0 0 0 46629 386 0 0 25 0 1 0 852902294 7434240 432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1815 432 566 18 0 1797 0
vsize: 7260
[startup+480.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 47619 396 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+490.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 48610 406 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+500.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 49600 416 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+510.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 50591 425 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+520.011 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 51582 435 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+530.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 52572 445 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+540.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 53563 454 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+550.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 54553 464 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+560.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 55545 473 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223504 134520021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+570.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 56535 484 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+580.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 57526 493 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+590.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 58515 505 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 59504 515 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 60495 525 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+620.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 61484 536 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223264 1075288538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+630.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 62475 546 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+640.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 63465 556 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 64456 565 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223520 134558887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+660.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 65448 574 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+670.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 66437 585 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+680.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 465 0 0 0 67425 597 0 0 25 0 1 0 852902294 7553024 439 4294967295 134512640 134581267 3221224576 3221223520 134559020 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+690.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 472 0 0 0 68417 606 0 0 25 0 1 0 852902294 7553024 446 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 446 566 18 0 1826 0
vsize: 7376
[startup+700.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 69410 613 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 70402 621 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+720.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 71394 630 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 72385 639 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223520 134558908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 73378 647 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+750.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 486 0 0 0 74369 655 0 0 25 0 1 0 852902294 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 75362 663 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223492 1075285623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+770.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 76354 672 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+780.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 77344 682 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223472 134517880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+790.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 78334 692 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+800.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 79327 700 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223472 134517795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+810.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 80320 707 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+820.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 81311 717 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+830.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 82303 725 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+840.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 83296 732 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 84287 741 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 85276 753 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+870.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 86265 764 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+880.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 87257 773 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+890.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 88248 782 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+900.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 89240 790 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+910.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 90233 797 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+920.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 91223 808 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 92211 820 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+940.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 93199 832 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223548 134519895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 94190 842 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 95182 850 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 96174 859 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223440 134560328 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 97167 866 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 98159 875 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 99153 881 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223540 134519893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 492 0 0 0 100145 889 0 0 25 0 1 0 852902294 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 501 0 0 0 101137 897 0 0 25 0 1 0 852902294 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 501 0 0 0 102129 906 0 0 25 0 1 0 852902294 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 501 0 0 0 103121 915 0 0 25 0 1 0 852902294 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 501 0 0 0 104114 922 0 0 25 0 1 0 852902294 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 105107 929 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 106098 939 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 107089 947 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 108083 954 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 109074 963 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 110067 971 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 111058 980 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 112050 988 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527703 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 113042 997 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 114034 1005 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 115024 1015 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223440 134528291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 116015 1025 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 117006 1034 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1188.62 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 23089
Raw data (stat): 23089 (Pueblo-v2) R 23088 25568 25567 0 -1 0 505 0 0 0 117006 1034 0 0 25 0 1 0 852902294 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 0

Child status: 10
Real time (s): 1188.62
CPU time (s): 1189.01
CPU user time (s): 1178.59
CPU system time (s): 10.4144
CPU usage (%): 100.032
Max. virtual memory (Kb): 7556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####