PB'05 competition: run trace

Some explanations

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

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        483108 kB
Buffers:          5384 kB
Cached:         514908 kB
SwapCached:        520 kB
Active:          19140 kB
Inactive:       503556 kB
HighTotal:      131008 kB
HighFree:        22540 kB
LowTotal:       903652 kB
LowFree:        460568 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5668 kB
Slab:            23220 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:57:34 (client local time) WITH STATUS 10 IN 1189.01 SECONDS
stats: 12123 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/wulflinc19/normalized-mps-v2-20-10-p0201.opb
c #variables read: 201 - #constraints read: 335
s SATISFIABLE
v -C1001_bit0 C1002_bit0 -C1003_bit0 C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 -C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 -C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 -C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 -C1057_bit0 -C1058_bit0 -C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 C1066_bit0 -C1067_bit0 C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 -C1075_bit0 -C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 C1084_bit0 C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 -C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 -C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 -C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 -C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 -C1129_bit0 -C1130_bit0 -C1131_bit0 C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 C1146_bit0 -C1147_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.97 0.99 2/54 12399
Raw data (stat): 12399 (runsolver) R 12398 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831728159 1052672 99 4294967295 134512640 135381576 3221224496 3221219716 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0016 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 364 0 0 0 995 4 0 0 25 0 1 0 831728159 7098368 342 4294967295 134512640 134581331 3221224592 3221223504 134527980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1733 342 566 18 0 1715 0
vsize: 6932
[startup+20.0018 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 397 0 0 0 1991 8 0 0 25 0 1 0 831728159 7229440 375 4294967295 134512640 134581331 3221224592 3221223456 134560479 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.0016 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 397 0 0 0 2989 10 0 0 25 0 1 0 831728159 7229440 375 4294967295 134512640 134581331 3221224592 3221223504 134527504 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.0017 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 397 0 0 0 3986 13 0 0 25 0 1 0 831728159 7229440 375 4294967295 134512640 134581331 3221224592 3221223504 134527537 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.002 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 401 0 0 0 4983 16 0 0 25 0 1 0 831728159 7229440 379 4294967295 134512640 134581331 3221224592 3221223584 134560815 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.0028 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 401 0 0 0 5979 20 0 0 25 0 1 0 831728159 7229440 379 4294967295 134512640 134581331 3221224592 3221223476 134557874 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.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 426 0 0 0 6976 24 0 0 25 0 1 0 831728159 7360512 404 4294967295 134512640 134581331 3221224592 3221223504 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+80.0047 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 426 0 0 0 7974 26 0 0 25 0 1 0 831728159 7360512 404 4294967295 134512640 134581331 3221224592 3221223504 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.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 428 0 0 0 8971 29 0 0 25 0 1 0 831728159 7360512 406 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1797 406 566 18 0 1779 0
vsize: 7188
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 446 0 0 0 9969 31 0 0 25 0 1 0 831728159 7471104 424 4294967295 134512640 134581331 3221224592 3221222320 134532818 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.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 446 0 0 0 10967 33 0 0 25 0 1 0 831728159 7471104 424 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 447 0 0 0 11965 35 0 0 25 0 1 0 831728159 7471104 425 4294967295 134512640 134581331 3221224592 3221223584 134561122 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1824 425 566 18 0 1806 0
vsize: 7296
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 452 0 0 0 12964 37 0 0 25 0 1 0 831728159 7471104 430 4294967295 134512640 134581331 3221224592 3221223564 134527302 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.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 452 0 0 0 13962 39 0 0 25 0 1 0 831728159 7471104 430 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 452 0 0 0 14961 40 0 0 25 0 1 0 831728159 7471104 430 4294967295 134512640 134581331 3221224592 3221223504 134527407 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 460 0 0 0 15959 43 0 0 25 0 1 0 831728159 7471104 438 4294967295 134512640 134581331 3221224592 3221223412 1075289770 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 461 0 0 0 16956 45 0 0 25 0 1 0 831728159 7471104 439 4294967295 134512640 134581331 3221224592 3221223504 134527454 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 468 0 0 0 17954 47 0 0 25 0 1 0 831728159 7589888 446 4294967295 134512640 134581331 3221224592 3221223536 134559473 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 468 0 0 0 18951 50 0 0 25 0 1 0 831728159 7589888 446 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 19948 53 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223476 134557901 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 454 566 18 0 1835 0
vsize: 7412
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 20947 55 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134528085 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 21944 58 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223456 134526912 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 22942 60 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223536 134558842 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.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 23939 63 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527998 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 24937 64 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223560 134519777 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.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 25935 67 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527434 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 26932 70 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527454 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 27930 72 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527645 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 28927 75 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223560 134527292 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.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 476 0 0 0 29925 77 0 0 25 0 1 0 831728159 7589888 454 4294967295 134512640 134581331 3221224592 3221223504 134527534 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 484 0 0 0 30922 80 0 0 25 0 1 0 831728159 7589888 462 4294967295 134512640 134581331 3221224592 3221223504 134527459 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 462 566 18 0 1835 0
vsize: 7412
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 485 0 0 0 31920 83 0 0 25 0 1 0 831728159 7589888 463 4294967295 134512640 134581331 3221224592 3221223584 134560761 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 485 0 0 0 32917 85 0 0 25 0 1 0 831728159 7589888 463 4294967295 134512640 134581331 3221224592 3221223456 134560244 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 485 0 0 0 33915 87 0 0 25 0 1 0 831728159 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527440 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.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 485 0 0 0 34913 90 0 0 25 0 1 0 831728159 7589888 463 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1853 463 566 18 0 1835 0
vsize: 7412
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 485 0 0 0 35911 92 0 0 25 0 1 0 831728159 7589888 463 4294967295 134512640 134581331 3221224592 3221223376 134528769 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 493 0 0 0 36910 93 0 0 25 0 1 0 831728159 7704576 471 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1881 471 566 18 0 1863 0
vsize: 7524
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 494 0 0 0 37907 96 0 0 25 0 1 0 831728159 7675904 472 4294967295 134512640 134581331 3221224592 3221223492 134528056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1874 472 566 18 0 1856 0
vsize: 7496
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 38905 98 0 0 25 0 1 0 831728159 7675904 477 4294967295 134512640 134581331 3221224592 3221223504 134527445 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.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 39903 100 0 0 25 0 1 0 831728159 7675904 477 4294967295 134512640 134581331 3221224592 3221223504 134527434 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 40901 103 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223584 134561089 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 41899 105 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223488 134517900 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.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 42897 107 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223584 134561089 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.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 43896 108 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 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+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 44893 111 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223456 134526904 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.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 45891 113 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527647 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.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 46890 115 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223456 134527042 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.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 47887 117 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 477 566 18 0 1853 0
vsize: 7484
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 48885 119 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527404 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.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 499 0 0 0 49883 122 0 0 25 0 1 0 831728159 7663616 477 4294967295 134512640 134581331 3221224592 3221223504 134527701 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.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 500 0 0 0 50880 124 0 0 25 0 1 0 831728159 7663616 478 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 478 566 18 0 1853 0
vsize: 7484
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 509 0 0 0 51879 126 0 0 25 0 1 0 831728159 7663616 487 4294967295 134512640 134581331 3221224592 3221223476 134557913 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1871 487 566 18 0 1853 0
vsize: 7484
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 520 0 0 0 52877 128 0 0 25 0 1 0 831728159 7798784 498 4294967295 134512640 134581331 3221224592 3221223568 134560795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1904 498 566 18 0 1886 0
vsize: 7616
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 520 0 0 0 53876 130 0 0 25 0 1 0 831728159 7798784 498 4294967295 134512640 134581331 3221224592 3221223504 134527534 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.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 520 0 0 0 54874 132 0 0 25 0 1 0 831728159 7778304 498 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1899 498 566 18 0 1881 0
vsize: 7596
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 528 0 0 0 55870 135 0 0 25 0 1 0 831728159 7774208 506 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 528 0 0 0 56869 137 0 0 25 0 1 0 831728159 7774208 506 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 528 0 0 0 57867 139 0 0 25 0 1 0 831728159 7774208 506 4294967295 134512640 134581331 3221224592 3221223504 134527513 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.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 528 0 0 0 58865 141 0 0 25 0 1 0 831728159 7774208 506 4294967295 134512640 134581331 3221224592 3221223152 134566375 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.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 528 0 0 0 59863 143 0 0 25 0 1 0 831728159 7770112 506 4294967295 134512640 134581331 3221224592 3221223504 134528088 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.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 536 0 0 0 60862 145 0 0 25 0 1 0 831728159 7876608 514 4294967295 134512640 134581331 3221224592 3221223504 134527772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1923 514 566 18 0 1905 0
vsize: 7692
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 536 0 0 0 61860 146 0 0 25 0 1 0 831728159 7847936 514 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 514 566 18 0 1898 0
vsize: 7664
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 536 0 0 0 62859 147 0 0 25 0 1 0 831728159 7831552 514 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 514 566 18 0 1894 0
vsize: 7648
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 536 0 0 0 63858 149 0 0 25 0 1 0 831728159 7831552 514 4294967295 134512640 134581331 3221224592 3221223492 134527833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 514 566 18 0 1894 0
vsize: 7648
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 541 0 0 0 64857 150 0 0 25 0 1 0 831728159 7831552 519 4294967295 134512640 134581331 3221224592 3221223456 134528275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 541 0 0 0 65856 151 0 0 25 0 1 0 831728159 7831552 519 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 541 0 0 0 66854 153 0 0 25 0 1 0 831728159 7831552 519 4294967295 134512640 134581331 3221224592 3221223504 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 541 0 0 0 67852 155 0 0 25 0 1 0 831728159 7831552 519 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 519 566 18 0 1894 0
vsize: 7648
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 68851 156 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 69850 158 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 70849 159 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 71848 161 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 72846 163 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 73844 164 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134528088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 74843 166 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223488 134517902 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 75841 168 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 76839 170 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 77838 172 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 78836 174 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 79835 175 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223472 134527008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 80833 177 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 81830 180 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 542 0 0 0 82829 182 0 0 25 0 1 0 831728159 7831552 520 4294967295 134512640 134581331 3221224592 3221223504 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 520 566 18 0 1894 0
vsize: 7648
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 556 0 0 0 83827 184 0 0 25 0 1 0 831728159 7958528 534 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 534 566 18 0 1925 0
vsize: 7772
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 557 0 0 0 84825 185 0 0 25 0 1 0 831728159 7958528 535 4294967295 134512640 134581331 3221224592 3221223504 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 535 566 18 0 1925 0
vsize: 7772
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 560 0 0 0 85824 187 0 0 25 0 1 0 831728159 7958528 538 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 560 0 0 0 86822 189 0 0 25 0 1 0 831728159 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 560 0 0 0 87821 191 0 0 25 0 1 0 831728159 7958528 538 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 560 0 0 0 88819 193 0 0 25 0 1 0 831728159 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 560 0 0 0 89818 193 0 0 25 0 1 0 831728159 7958528 538 4294967295 134512640 134581331 3221224592 3221223504 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 538 566 18 0 1925 0
vsize: 7772
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 90816 195 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 91815 197 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 92814 199 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 93813 200 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223488 134517875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 94811 201 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 95810 203 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 575 0 0 0 96808 204 0 0 25 0 1 0 831728159 7958528 553 4294967295 134512640 134581331 3221224592 3221223504 134527364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1943 553 566 18 0 1925 0
vsize: 7772
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 584 0 0 0 97807 206 0 0 25 0 1 0 831728159 8089600 562 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 562 566 18 0 1957 0
vsize: 7900
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 593 0 0 0 98805 208 0 0 25 0 1 0 831728159 8089600 571 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1975 571 566 18 0 1957 0
vsize: 7900
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 593 0 0 0 99804 209 0 0 25 0 1 0 831728159 8085504 571 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 593 0 0 0 100803 211 0 0 25 0 1 0 831728159 8085504 571 4294967295 134512640 134581331 3221224592 3221223476 134557773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 593 0 0 0 101801 213 0 0 25 0 1 0 831728159 8085504 571 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 571 566 18 0 1956 0
vsize: 7896
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 602 0 0 0 102800 214 0 0 25 0 1 0 831728159 8085504 580 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 602 0 0 0 103799 216 0 0 25 0 1 0 831728159 8085504 580 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 602 0 0 0 104797 217 0 0 25 0 1 0 831728159 8085504 580 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 580 566 18 0 1956 0
vsize: 7896
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 105796 219 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221222208 134532183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 106795 220 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223376 134528708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 107793 222 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 108791 224 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 109790 226 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 110788 227 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 111787 228 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223488 134517878 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 112786 229 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134528079 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 113785 231 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 114784 232 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 115784 232 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223504 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 116782 234 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223456 134527074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 117782 235 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 7896
[startup+1188.87 s]
Raw data (loadavg): 0.99 0.97 0.99 1/53 12399
Raw data (stat): 12399 (Pueblo) R 12398 10795 10794 0 -1 0 605 0 0 0 117782 235 0 0 25 0 1 0 831728159 8085504 583 4294967295 134512640 134581331 3221224592 3221223656 1075514893 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1974 583 566 18 0 1956 0
vsize: 0

Child status: 10
Real time (s): 1188.87
CPU time (s): 1189.01
CPU user time (s): 1186.64
CPU system time (s): 2.37264
CPU usage (%): 100.012
Max. virtual memory (Kb): 7900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1551
#### END VERIFIER DATA ####