PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.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 27052

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 18:55:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18701 boxname=wulflinc28 idbench=1439 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  8c361d02d5162bb0b133ab6ed38f9294  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 18701
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        768752 kB
Buffers:         34272 kB
Cached:         210308 kB
SwapCached:       1104 kB
Active:          60916 kB
Inactive:       186264 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        768500 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13064 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:15:35 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 18701 0 1189.01 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Pueblo version 1.2 (Sept 2004)
c Developed @ University of Michigan, Ann Arbor, MI
c  by Hossein Sheini
c Solving: /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-p0201.opb
c #variables read: 201 - #constraints read: 335
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 C1066_bit0 -C1067_bit0 C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 C1084_bit0 C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 C1146_bit0 -C1147_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.97 0.92 2/54 28019
Raw data (stat): 28019 (runsolver) R 28018 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832569932 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 364 0 0 0 994 4 0 0 25 0 1 0 832569932 7098368 342 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+20.0004 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 397 0 0 0 1991 6 0 0 25 0 1 0 832569932 7229440 375 4294967295 134512640 134581331 3221224608 3221223520 134527975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+30.0004 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 397 0 0 0 2988 10 0 0 25 0 1 0 832569932 7229440 375 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+40.0011 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 397 0 0 0 3986 12 0 0 25 0 1 0 832569932 7229440 375 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 375 566 18 0 1747 0
vsize: 7060
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 401 0 0 0 4985 14 0 0 25 0 1 0 832569932 7229440 379 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 401 0 0 0 5983 16 0 0 25 0 1 0 832569932 7229440 379 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1765 379 566 18 0 1747 0
vsize: 7060
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 426 0 0 0 6981 18 0 0 25 0 1 0 832569932 7360512 404 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 404 566 18 0 1779 0
vsize: 7188
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 426 0 0 0 7978 21 0 0 25 0 1 0 832569932 7360512 404 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 404 566 18 0 1779 0
vsize: 7188
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 428 0 0 0 8976 23 0 0 25 0 1 0 832569932 7360512 406 4294967295 134512640 134581331 3221224608 3221223244 1075288474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 406 566 18 0 1779 0
vsize: 7188
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 446 0 0 0 9974 25 0 0 25 0 1 0 832569932 7471104 424 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 424 566 18 0 1806 0
vsize: 7296
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 446 0 0 0 10973 26 0 0 25 0 1 0 832569932 7471104 424 4294967295 134512640 134581331 3221224608 3221223520 134527794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 424 566 18 0 1806 0
vsize: 7296
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 447 0 0 0 11971 29 0 0 25 0 1 0 832569932 7471104 425 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 425 566 18 0 1806 0
vsize: 7296
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 452 0 0 0 12969 31 0 0 25 0 1 0 832569932 7471104 430 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 452 0 0 0 13967 33 0 0 25 0 1 0 832569932 7471104 430 4294967295 134512640 134581331 3221224608 3221223472 134528278 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 452 0 0 0 14966 34 0 0 25 0 1 0 832569932 7471104 430 4294967295 134512640 134581331 3221224608 3221223392 134528824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 430 566 18 0 1806 0
vsize: 7296
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 460 0 0 0 15965 35 0 0 25 0 1 0 832569932 7471104 438 4294967295 134512640 134581331 3221224608 3221223520 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 438 566 18 0 1806 0
vsize: 7296
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 461 0 0 0 16963 37 0 0 25 0 1 0 832569932 7471104 439 4294967295 134512640 134581331 3221224608 3221223520 134528077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 439 566 18 0 1806 0
vsize: 7296
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 468 0 0 0 17962 38 0 0 25 0 1 0 832569932 7589888 446 4294967295 134512640 134581331 3221224608 3221223492 134527187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 446 566 18 0 1835 0
vsize: 7412
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 468 0 0 0 18961 39 0 0 25 0 1 0 832569932 7589888 446 4294967295 134512640 134581331 3221224608 3221223472 134526928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 446 566 18 0 1835 0
vsize: 7412
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 19959 42 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+210.002 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 20958 43 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223584 134560800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 21957 45 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 22954 48 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223500 134526884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 23952 50 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28019
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 24950 52 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+260.004 s]
Raw data (loadavg): 1.07 0.99 0.92 3/57 28063
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 25947 55 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223392 134528743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+270.004 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 26945 57 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+280.004 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 27942 59 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+290.004 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 28940 62 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223520 134528074 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+300.004 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 29937 65 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223320 1075291630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+310.004 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 476 0 0 0 30935 67 0 0 25 0 1 0 832569932 7589888 454 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+320.004 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28072
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 485 0 0 0 31932 70 0 0 25 0 1 0 832569932 7589888 463 4294967295 134512640 134581331 3221224608 3221223492 134557901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+330.004 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 485 0 0 0 32929 73 0 0 25 0 1 0 832569932 7589888 463 4294967295 134512640 134581331 3221224608 3221223536 134519803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+340.005 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 485 0 0 0 33927 76 0 0 25 0 1 0 832569932 7589888 463 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+350.004 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 485 0 0 0 34924 79 0 0 25 0 1 0 832569932 7589888 463 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+360.004 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 485 0 0 0 35923 80 0 0 25 0 1 0 832569932 7589888 463 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+370.004 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 493 0 0 0 36921 82 0 0 25 0 1 0 832569932 7708672 471 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1882 471 566 18 0 1864 0
vsize: 7528
[startup+380.003 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 493 0 0 0 37920 84 0 0 25 0 1 0 832569932 7675904 471 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 471 566 18 0 1856 0
vsize: 7496
[startup+390.004 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 38918 85 0 0 25 0 1 0 832569932 7675904 477 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 477 566 18 0 1856 0
vsize: 7496
[startup+400.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 39916 88 0 0 25 0 1 0 832569932 7675904 477 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 477 566 18 0 1856 0
vsize: 7496
[startup+410.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 40914 89 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223472 134560433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+420.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 41912 92 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+430.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 42910 94 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+440.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 43908 96 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+450.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 44906 99 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+460.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 45904 101 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134528072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+470.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 46902 103 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223392 134528797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+480.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 47900 105 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+490.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 48899 106 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527423 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+500.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 49897 108 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223488 134558415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+510.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 499 0 0 0 50895 110 0 0 25 0 1 0 832569932 7663616 477 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+520.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 500 0 0 0 51893 113 0 0 25 0 1 0 832569932 7663616 478 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+530.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 509 0 0 0 52891 115 0 0 25 0 1 0 832569932 7663616 487 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 487 566 18 0 1853 0
vsize: 7484
[startup+540.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 520 0 0 0 53889 117 0 0 25 0 1 0 832569932 7798784 498 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 498 566 18 0 1886 0
vsize: 7616
[startup+550.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 520 0 0 0 54887 120 0 0 25 0 1 0 832569932 7798784 498 4294967295 134512640 134581331 3221224608 3221223504 134517844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 498 566 18 0 1886 0
vsize: 7616
[startup+560.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 523 0 0 0 55885 122 0 0 25 0 1 0 832569932 7778304 501 4294967295 134512640 134581331 3221224608 3221223244 1075288535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1899 501 566 18 0 1881 0
vsize: 7596
[startup+570.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 528 0 0 0 56883 124 0 0 25 0 1 0 832569932 7774208 506 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+580.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 528 0 0 0 57881 126 0 0 25 0 1 0 832569932 7774208 506 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+590.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 528 0 0 0 58879 128 0 0 25 0 1 0 832569932 7774208 506 4294967295 134512640 134581331 3221224608 3221223520 134527510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+600.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28074
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 528 0 0 0 59877 130 0 0 25 0 1 0 832569932 7770112 506 4294967295 134512640 134581331 3221224608 3221223600 134561288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1897 506 566 18 0 1879 0
vsize: 7588
[startup+610.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 528 0 0 0 60874 133 0 0 25 0 1 0 832569932 7766016 506 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1896 506 566 18 0 1878 0
vsize: 7584
[startup+620.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 536 0 0 0 61873 134 0 0 25 0 1 0 832569932 7876608 514 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 514 566 18 0 1905 0
vsize: 7692
[startup+630.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 536 0 0 0 62871 136 0 0 25 0 1 0 832569932 7847936 514 4294967295 134512640 134581331 3221224608 3221223520 134527778 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1916 514 566 18 0 1898 0
vsize: 7664
[startup+640.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 536 0 0 0 63870 138 0 0 25 0 1 0 832569932 7831552 514 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 514 566 18 0 1894 0
vsize: 7648
[startup+650.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 536 0 0 0 64868 140 0 0 25 0 1 0 832569932 7831552 514 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 514 566 18 0 1894 0
vsize: 7648
[startup+660.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 541 0 0 0 65866 142 0 0 25 0 1 0 832569932 7831552 519 4294967295 134512640 134581331 3221224608 3221223520 134527519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+670.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 541 0 0 0 66864 144 0 0 25 0 1 0 832569932 7831552 519 4294967295 134512640 134581331 3221224608 3221223520 134527429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+680.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 541 0 0 0 67863 145 0 0 25 0 1 0 832569932 7831552 519 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+690.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 541 0 0 0 68862 147 0 0 25 0 1 0 832569932 7831552 519 4294967295 134512640 134581331 3221224608 3221223552 134558865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+700.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 69861 148 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+710.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 70859 150 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+720.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 71857 152 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223600 134561161 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+730.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 72855 155 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+740.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 73852 157 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+750.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 74850 160 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+760.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 75848 162 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223476 1075285583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+770.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 76846 164 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+780.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 77845 166 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+790.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 78843 168 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+800.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 79842 169 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527783 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+810.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 80840 172 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+820.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 81838 174 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223536 134520039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+830.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 542 0 0 0 82836 176 0 0 25 0 1 0 832569932 7831552 520 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+840.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 543 0 0 0 83833 178 0 0 25 0 1 0 832569932 7831552 521 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1912 521 566 18 0 1894 0
vsize: 7648
[startup+850.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 556 0 0 0 84832 180 0 0 25 0 1 0 832569932 7958528 534 4294967295 134512640 134581331 3221224608 3221223520 134527554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 534 566 18 0 1925 0
vsize: 7772
[startup+860.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 557 0 0 0 85830 182 0 0 25 0 1 0 832569932 7958528 535 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 535 566 18 0 1925 0
vsize: 7772
[startup+870.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 560 0 0 0 86829 183 0 0 25 0 1 0 832569932 7958528 538 4294967295 134512640 134581331 3221224608 3221223576 134527282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+880.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 560 0 0 0 87827 185 0 0 25 0 1 0 832569932 7958528 538 4294967295 134512640 134581331 3221224608 3221223520 134527769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+890.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 560 0 0 0 88826 187 0 0 25 0 1 0 832569932 7958528 538 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+900.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 560 0 0 0 89824 189 0 0 25 0 1 0 832569932 7958528 538 4294967295 134512640 134581331 3221224608 3221223520 134527434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+910.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 560 0 0 0 90823 190 0 0 25 0 1 0 832569932 7958528 538 4294967295 134512640 134581331 3221224608 3221223520 134527826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+920.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 91822 192 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223520 134528079 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+930.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 92820 193 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+940.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 93820 194 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+950.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 94818 196 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223504 134517924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+960.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 95815 199 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223520 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+970.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 96813 201 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+980.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 575 0 0 0 97813 202 0 0 25 0 1 0 832569932 7958528 553 4294967295 134512640 134581331 3221224608 3221223520 134527531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+990.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 584 0 0 0 98810 204 0 0 25 0 1 0 832569932 8089600 562 4294967295 134512640 134581331 3221224608 3221223552 134558933 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1975 562 566 18 0 1957 0
vsize: 7900
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 593 0 0 0 99809 206 0 0 25 0 1 0 832569932 8089600 571 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1975 571 566 18 0 1957 0
vsize: 7900
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 593 0 0 0 100807 208 0 0 25 0 1 0 832569932 8085504 571 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 593 0 0 0 101805 210 0 0 25 0 1 0 832569932 8085504 571 4294967295 134512640 134581331 3221224608 3221223520 134528042 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 593 0 0 0 102803 212 0 0 25 0 1 0 832569932 8085504 571 4294967295 134512640 134581331 3221224608 3221223520 134527418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 602 0 0 0 103802 214 0 0 25 0 1 0 832569932 8085504 580 4294967295 134512640 134581331 3221224608 3221223600 134560663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 602 0 0 0 104800 216 0 0 25 0 1 0 832569932 8085504 580 4294967295 134512640 134581331 3221224608 3221223600 134561089 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 602 0 0 0 105798 218 0 0 25 0 1 0 832569932 8085504 580 4294967295 134512640 134581331 3221224608 3221223492 134557898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 106796 220 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 107795 221 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 108794 223 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 109793 224 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 110790 227 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223492 134557957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 111789 228 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527683 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 112787 230 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223672 1075514893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 113786 231 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223472 134526915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 114784 234 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 115782 235 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223244 1075288814 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 116781 237 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 117779 239 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1188.84 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 28076
Raw data (stat): 28019 (Pueblo) R 28018 24821 24820 0 -1 0 605 0 0 0 117779 239 0 0 25 0 1 0 832569932 8085504 583 4294967295 134512640 134581331 3221224608 3221223520 134527407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 0

Child status: 10
Real time (s): 1188.84
CPU time (s): 1189.01
CPU user time (s): 1186.6
CPU system time (s): 2.40863
CPU usage (%): 100.015
Max. virtual memory (Kb): 7900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1551
#### END VERIFIER DATA ####