PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-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.02284
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 38753

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-02 16:20:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26805 boxname=wulflinc4 idbench=933 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 26805
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        480952 kB
Buffers:         34720 kB
Cached:         497084 kB
SwapCached:        568 kB
Active:          35000 kB
Inactive:       498916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        480700 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5316 kB
Slab:            13984 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 16:40:09 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 26805 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/wulflinc4/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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.78 0.90 0.89 1/54 14045
Raw data (stat): 14045 (runsolver) R 14044 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851170961 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.0013 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 358 0 0 0 988 10 0 0 25 0 1 0 851170961 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.0018 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 358 0 0 0 1980 19 0 0 25 0 1 0 851170961 7094272 332 4294967295 134512640 134581267 3221224576 3221223520 134559268 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.0029 s]
Raw data (loadavg): 0.87 0.91 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 361 0 0 0 2973 26 0 0 25 0 1 0 851170961 7094272 335 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0028 s]
Raw data (loadavg): 0.89 0.91 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 374 0 0 0 3966 33 0 0 25 0 1 0 851170961 7094272 348 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1732 348 566 18 0 1714 0
vsize: 6928
[startup+50.0023 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 376 0 0 0 4959 40 0 0 25 0 1 0 851170961 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.0025 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 377 0 0 0 5952 48 0 0 25 0 1 0 851170961 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+70.0034 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 377 0 0 0 6945 54 0 0 25 0 1 0 851170961 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.0039 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 381 0 0 0 7936 64 0 0 25 0 1 0 851170961 7217152 355 4294967295 134512640 134581267 3221224576 3221223640 1075514893 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.0041 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 382 0 0 0 8930 71 0 0 25 0 1 0 851170961 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.004 s]
Raw data (loadavg): 0.96 0.92 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 404 0 0 0 9922 79 0 0 25 0 1 0 851170961 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.004 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 404 0 0 0 10913 88 0 0 25 0 1 0 851170961 7217152 378 4294967295 134512640 134581267 3221224576 3221223352 1075285773 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.005 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 404 0 0 0 11906 95 0 0 25 0 1 0 851170961 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+130.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 407 0 0 0 12900 101 0 0 25 0 1 0 851170961 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.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 407 0 0 0 13894 108 0 0 25 0 1 0 851170961 7335936 381 4294967295 134512640 134581267 3221224576 3221223488 134527513 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.005 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 411 0 0 0 14886 115 0 0 25 0 1 0 851170961 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.006 s]
Raw data (loadavg): 1.06 0.95 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 413 0 0 0 15878 124 0 0 25 0 1 0 851170961 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.006 s]
Raw data (loadavg): 1.05 0.95 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 416 0 0 0 16869 132 0 0 25 0 1 0 851170961 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+180.006 s]
Raw data (loadavg): 1.04 0.95 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 416 0 0 0 17858 144 0 0 25 0 1 0 851170961 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.007 s]
Raw data (loadavg): 1.04 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 416 0 0 0 18849 153 0 0 25 0 1 0 851170961 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.006 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 416 0 0 0 19839 163 0 0 25 0 1 0 851170961 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.006 s]
Raw data (loadavg): 1.03 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 20830 172 0 0 25 0 1 0 851170961 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.007 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 21822 181 0 0 25 0 1 0 851170961 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.008 s]
Raw data (loadavg): 1.02 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 22815 188 0 0 25 0 1 0 851170961 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134527776 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.008 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 23809 194 0 0 25 0 1 0 851170961 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+250.008 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 24800 203 0 0 25 0 1 0 851170961 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.008 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 25792 212 0 0 25 0 1 0 851170961 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.008 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 26784 220 0 0 25 0 1 0 851170961 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+280.01 s]
Raw data (loadavg): 1.01 0.96 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 27778 226 0 0 25 0 1 0 851170961 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.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 431 0 0 0 28771 233 0 0 25 0 1 0 851170961 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.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 438 0 0 0 29763 241 0 0 25 0 1 0 851170961 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.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 30756 248 0 0 25 0 1 0 851170961 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.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 31749 255 0 0 25 0 1 0 851170961 7434240 419 4294967295 134512640 134581267 3221224576 3221223520 134558762 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.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 32740 265 0 0 25 0 1 0 851170961 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.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 33732 273 0 0 25 0 1 0 851170961 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+350.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 34724 281 0 0 25 0 1 0 851170961 7434240 419 4294967295 134512640 134581267 3221224576 3221223536 134519781 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.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 35718 288 0 0 25 0 1 0 851170961 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+370.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 36712 294 0 0 25 0 1 0 851170961 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+380.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 37703 303 0 0 25 0 1 0 851170961 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+390.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 38695 311 0 0 25 0 1 0 851170961 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 39686 320 0 0 25 0 1 0 851170961 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 40676 331 0 0 25 0 1 0 851170961 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527510 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 41667 339 0 0 25 0 1 0 851170961 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+430.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 42659 348 0 0 25 0 1 0 851170961 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 43651 356 0 0 25 0 1 0 851170961 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 445 0 0 0 44642 365 0 0 25 0 1 0 851170961 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.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 453 0 0 0 45633 374 0 0 25 0 1 0 851170961 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 458 0 0 0 46625 382 0 0 25 0 1 0 851170961 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 47615 393 0 0 25 0 1 0 851170961 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+490.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 48607 401 0 0 25 0 1 0 851170961 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.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 49595 413 0 0 25 0 1 0 851170961 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 50587 421 0 0 25 0 1 0 851170961 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+520.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 51578 430 0 0 25 0 1 0 851170961 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 52566 442 0 0 25 0 1 0 851170961 7553024 439 4294967295 134512640 134581267 3221224576 3221223472 134517924 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.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 53557 452 0 0 25 0 1 0 851170961 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+550.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 54549 461 0 0 25 0 1 0 851170961 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.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 55538 472 0 0 25 0 1 0 851170961 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+570.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 56530 481 0 0 25 0 1 0 851170961 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.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 57520 491 0 0 25 0 1 0 851170961 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.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 58511 500 0 0 25 0 1 0 851170961 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.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 59501 510 0 0 25 0 1 0 851170961 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.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 60491 520 0 0 25 0 1 0 851170961 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134528056 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.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 61480 531 0 0 25 0 1 0 851170961 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+630.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 62470 541 0 0 25 0 1 0 851170961 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527539 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.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 63460 551 0 0 25 0 1 0 851170961 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+650.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 64449 563 0 0 25 0 1 0 851170961 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+660.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 65439 573 0 0 25 0 1 0 851170961 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 66429 583 0 0 25 0 1 0 851170961 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527510 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 465 0 0 0 67416 596 0 0 25 0 1 0 851170961 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+690.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 472 0 0 0 68407 606 0 0 25 0 1 0 851170961 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.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 69399 613 0 0 25 0 1 0 851170961 7553024 460 4294967295 134512640 134581267 3221224576 3221223488 134528047 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 70391 621 0 0 25 0 1 0 851170961 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 71383 630 0 0 25 0 1 0 851170961 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.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 72374 639 0 0 25 0 1 0 851170961 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+740.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 73364 650 0 0 25 0 1 0 851170961 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.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 486 0 0 0 74357 657 0 0 25 0 1 0 851170961 7553024 460 4294967295 134512640 134581267 3221224576 3221223472 134517875 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.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 75349 665 0 0 25 0 1 0 851170961 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+770.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 76343 671 0 0 25 0 1 0 851170961 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.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 77334 681 0 0 25 0 1 0 851170961 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+790.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 78325 689 0 0 25 0 1 0 851170961 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.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 79318 696 0 0 25 0 1 0 851170961 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+810.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 80310 705 0 0 25 0 1 0 851170961 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.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 81302 713 0 0 25 0 1 0 851170961 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 82293 722 0 0 25 0 1 0 851170961 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 83286 730 0 0 25 0 1 0 851170961 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.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 84274 741 0 0 25 0 1 0 851170961 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 85264 752 0 0 25 0 1 0 851170961 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 86256 760 0 0 25 0 1 0 851170961 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+880.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 87248 769 0 0 25 0 1 0 851170961 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 88239 777 0 0 25 0 1 0 851170961 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.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 89232 784 0 0 25 0 1 0 851170961 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 90223 794 0 0 25 0 1 0 851170961 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 91214 802 0 0 25 0 1 0 851170961 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 92202 815 0 0 25 0 1 0 851170961 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 93191 827 0 0 25 0 1 0 851170961 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527963 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 94181 837 0 0 25 0 1 0 851170961 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.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 95172 846 0 0 25 0 1 0 851170961 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.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 96163 855 0 0 25 0 1 0 851170961 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+980.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 97154 864 0 0 25 0 1 0 851170961 7622656 466 4294967295 134512640 134581267 3221224576 3221223556 134516770 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.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 98146 872 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 99138 881 0 0 25 0 1 0 851170961 7622656 466 4294967295 134512640 134581267 3221224576 3221223472 134517873 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 492 0 0 0 100129 890 0 0 25 0 1 0 851170961 7622656 466 4294967295 134512640 134581267 3221224576 3221223568 134561045 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 501 0 0 0 101121 898 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 501 0 0 0 102111 908 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 501 0 0 0 103103 916 0 0 25 0 1 0 851170961 7622656 475 4294967295 134512640 134581267 3221224576 3221223440 134528226 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 501 0 0 0 104093 926 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 105085 935 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 106078 942 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 107069 951 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 108061 959 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 109053 968 0 0 25 0 1 0 851170961 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527692 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 110045 976 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 111038 983 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 112029 993 0 0 25 0 1 0 851170961 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+1140.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 113021 1001 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 114014 1007 0 0 25 0 1 0 851170961 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.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 115005 1017 0 0 25 0 1 0 851170961 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+1170.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 115995 1027 0 0 25 0 1 0 851170961 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.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 116987 1035 0 0 25 0 1 0 851170961 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.82 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 14045
Raw data (stat): 14045 (Pueblo-v2) R 14044 21152 21151 0 -1 0 505 0 0 0 116987 1035 0 0 25 0 1 0 851170961 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.82
CPU time (s): 1189.01
CPU user time (s): 1178.58
CPU system time (s): 10.4284
CPU usage (%): 100.016
Max. virtual memory (Kb): 7556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####