PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-02 18:25:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26927 boxname=wulflinc6 idbench=1055 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0201.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-p0201.opb
IDLAUNCH: 26927
/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:        461744 kB
Buffers:         33912 kB
Cached:         517968 kB
SwapCached:        552 kB
Active:          56776 kB
Inactive:       497208 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        461492 kB
SwapTotal:     2097136 kB
SwapFree:      2095652 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            13188 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-02 18:45:01 (client local time) WITH STATUS 10 IN 1189 SECONDS
stats: 26927 0 1189 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-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.77 0.92 0.89 2/54 19294
Raw data (stat): 19294 (runsolver) R 19293 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851928470 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.81 0.92 0.89 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 358 0 0 0 990 8 0 0 25 0 1 0 851928470 7094272 332 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 332 566 18 0 1714 0
vsize: 6928
[startup+20.0008 s]
Raw data (loadavg): 0.84 0.93 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 358 0 0 0 1983 16 0 0 25 0 1 0 851928470 7094272 332 4294967295 134512640 134581267 3221224576 3221223544 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 332 566 18 0 1714 0
vsize: 6928
[startup+30.0009 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 361 0 0 0 2978 21 0 0 25 0 1 0 851928470 7094272 335 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 335 566 18 0 1714 0
vsize: 6928
[startup+40.0008 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 368 0 0 0 3971 29 0 0 25 0 1 0 851928470 7094272 342 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1732 342 566 18 0 1714 0
vsize: 6928
[startup+50.0012 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 376 0 0 0 4965 35 0 0 25 0 1 0 851928470 7221248 350 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1763 350 566 18 0 1745 0
vsize: 7052
[startup+60.0014 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 377 0 0 0 5958 42 0 0 25 0 1 0 851928470 7217152 351 4294967295 134512640 134581267 3221224576 3221223488 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 351 566 18 0 1744 0
vsize: 7048
[startup+70.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 377 0 0 0 6953 48 0 0 25 0 1 0 851928470 7217152 351 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 351 566 18 0 1744 0
vsize: 7048
[startup+80.0017 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 381 0 0 0 7944 57 0 0 25 0 1 0 851928470 7217152 355 4294967295 134512640 134581267 3221224576 3221223520 134558815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 355 566 18 0 1744 0
vsize: 7048
[startup+90.0018 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 382 0 0 0 8937 64 0 0 25 0 1 0 851928470 7217152 356 4294967295 134512640 134581267 3221224576 3221223520 134559415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 356 566 18 0 1744 0
vsize: 7048
[startup+100.002 s]
Raw data (loadavg): 0.95 0.94 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 404 0 0 0 9930 72 0 0 25 0 1 0 851928470 7217152 378 4294967295 134512640 134581267 3221224576 3221223468 134560259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+110.002 s]
Raw data (loadavg): 0.96 0.94 0.90 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 404 0 0 0 10923 79 0 0 25 0 1 0 851928470 7217152 378 4294967295 134512640 134581267 3221224576 3221223488 134527729 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+120.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 404 0 0 0 11916 86 0 0 25 0 1 0 851928470 7217152 378 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1762 378 566 18 0 1744 0
vsize: 7048
[startup+130.002 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 407 0 0 0 12910 93 0 0 25 0 1 0 851928470 7340032 381 4294967295 134512640 134581267 3221224576 3221223440 134528343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1792 381 566 18 0 1774 0
vsize: 7168
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 407 0 0 0 13904 99 0 0 25 0 1 0 851928470 7340032 381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1792 381 566 18 0 1774 0
vsize: 7168
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 411 0 0 0 14896 107 0 0 25 0 1 0 851928470 7335936 385 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 385 566 18 0 1773 0
vsize: 7164
[startup+160.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 413 0 0 0 15888 116 0 0 25 0 1 0 851928470 7335936 387 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 387 566 18 0 1773 0
vsize: 7164
[startup+170.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 416 0 0 0 16880 124 0 0 25 0 1 0 851928470 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 416 0 0 0 17873 132 0 0 25 0 1 0 851928470 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 416 0 0 0 18864 141 0 0 25 0 1 0 851928470 7335936 390 4294967295 134512640 134581267 3221224576 3221223396 1075289770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+200.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 416 0 0 0 19856 150 0 0 25 0 1 0 851928470 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 416 0 0 0 20849 157 0 0 25 0 1 0 851928470 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 390 566 18 0 1773 0
vsize: 7164
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 21842 164 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 22836 170 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223472 134517784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 23828 179 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223440 134528289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+250.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 24820 187 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 25813 195 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+270.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 26804 204 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+280.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 27797 211 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 28790 219 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223456 134520311 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 431 0 0 0 29784 225 0 0 25 0 1 0 851928470 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1791 405 566 18 0 1773 0
vsize: 7164
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 438 0 0 0 30777 233 0 0 25 0 1 0 851928470 7434240 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 412 566 18 0 1797 0
vsize: 7260
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 31770 240 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 32763 248 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223440 134528243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 33756 254 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 34750 261 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 35746 266 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 36739 273 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223472 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 37732 279 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 38725 287 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 39718 295 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 40711 302 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 41703 311 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 42695 318 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 43687 327 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 44677 337 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 445 0 0 0 45669 346 0 0 25 0 1 0 851928470 7434240 419 4294967295 134512640 134581267 3221224576 3221223440 134528226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 419 566 18 0 1797 0
vsize: 7260
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 458 0 0 0 46662 354 0 0 25 0 1 0 851928470 7434240 432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 432 566 18 0 1797 0
vsize: 7260
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 458 0 0 0 47653 363 0 0 25 0 1 0 851928470 7434240 432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1815 432 566 18 0 1797 0
vsize: 7260
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 48645 371 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 49637 379 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 50627 390 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 51619 398 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527791 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 52610 407 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 53602 416 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 54594 425 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 55584 434 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 56576 443 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 57567 452 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223440 134560328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 58559 461 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221222784 134566790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 59549 471 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 60540 481 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 61530 491 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 62521 500 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 63512 510 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223568 134561084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 64504 518 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 65497 526 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 66488 535 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 67478 545 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 465 0 0 0 68468 556 0 0 25 0 1 0 851928470 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 439 566 18 0 1826 0
vsize: 7376
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 472 0 0 0 69459 565 0 0 25 0 1 0 851928470 7553024 446 4294967295 134512640 134581267 3221224576 3221223264 1075288738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 446 566 18 0 1826 0
vsize: 7376
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 70452 573 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 71445 579 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 72436 589 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223472 134517905 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 73429 597 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 74421 605 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 486 0 0 0 75415 612 0 0 25 0 1 0 851928470 7553024 460 4294967295 134512640 134581267 3221224576 3221223504 134519817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1844 460 566 18 0 1826 0
vsize: 7376
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 76408 618 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 77402 625 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 78394 633 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 79385 643 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 80378 650 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 81369 659 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 82360 668 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 83352 677 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 84346 683 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 85339 691 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 86329 701 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 87321 710 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 88312 719 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 89304 727 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 90297 735 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 91290 742 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 92282 751 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 93273 760 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223472 134517900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 94262 771 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 95253 781 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 96246 788 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223324 1075285097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 97240 795 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 98231 804 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 99223 813 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 100214 822 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 492 0 0 0 101209 828 0 0 25 0 1 0 851928470 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 466 566 18 0 1843 0
vsize: 7444
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 501 0 0 0 102202 834 0 0 25 0 1 0 851928470 7622656 475 4294967295 134512640 134581267 3221224576 3221223344 1075288289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 501 0 0 0 103195 842 0 0 25 0 1 0 851928470 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 501 0 0 0 104186 852 0 0 25 0 1 0 851928470 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 501 0 0 0 105178 860 0 0 25 0 1 0 851928470 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1861 475 566 18 0 1843 0
vsize: 7444
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 106170 868 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 107163 875 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223476 134527800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 108154 885 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 109146 893 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 110136 903 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 111130 910 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223368 1075285678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 112123 917 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 113114 927 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 114105 936 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 115097 944 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 116091 952 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 117083 960 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1889 479 566 18 0 1871 0
vsize: 7556
[startup+1188.62 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19294
Raw data (stat): 19294 (Pueblo-v2) R 19293 25568 25567 0 -1 0 505 0 0 0 117083 960 0 0 25 0 1 0 851928470 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 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
CPU user time (s): 1179.31
CPU system time (s): 9.69153
CPU usage (%): 100.032
Max. virtual memory (Kb): 7556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1523
#### END VERIFIER DATA ####