PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 01:49:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17115 boxname=wulflinc31 idbench=1317 idsolver=7 numberseed=0
MD5SUM SOLVER: d9a5994a76be78982e492b397ce73911  /oldhome/oroussel/solvers/Pueblo
MD5SUM BENCH:  ffa3a55eb53181880328dd1b84f91e66  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0201.opb
REAL COMMAND:  Pueblo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-p0201.opb
IDLAUNCH: 17115
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        843912 kB
Buffers:         31912 kB
Cached:         139104 kB
SwapCached:       1024 kB
Active:         113104 kB
Inactive:        60088 kB
HighTotal:      131008 kB
HighFree:         2744 kB
LowTotal:       903652 kB
LowFree:        841168 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12032 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 02:09:23 (client local time) WITH STATUS 10 IN 1189.02 SECONDS
stats: 17115 0 1189.02 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/wulflinc31/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.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (runsolver) R 32280 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 817745132 1056768 100 4294967295 134512640 135381576 3221221680 3221216904 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 365 0 0 0 994 3 0 0 25 0 1 0 817745132 7102464 342 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1734 342 566 18 0 1716 0
vsize: 6936
[startup+20.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 398 0 0 0 1992 5 0 0 25 0 1 0 817745132 7233536 375 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 375 566 18 0 1748 0
vsize: 7064
[startup+30.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 398 0 0 0 2990 7 0 0 25 0 1 0 817745132 7233536 375 4294967295 134512640 134581331 3221221792 3221220656 134527004 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 375 566 18 0 1748 0
vsize: 7064
[startup+40.0013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 398 0 0 0 3987 10 0 0 25 0 1 0 817745132 7233536 375 4294967295 134512640 134581331 3221221792 3221220768 134561104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 375 566 18 0 1748 0
vsize: 7064
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 402 0 0 0 4986 12 0 0 25 0 1 0 817745132 7233536 379 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 379 566 18 0 1748 0
vsize: 7064
[startup+60.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 402 0 0 0 5983 14 0 0 25 0 1 0 817745132 7233536 379 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1766 379 566 18 0 1748 0
vsize: 7064
[startup+70.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 427 0 0 0 6982 16 0 0 25 0 1 0 817745132 7364608 404 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1798 404 566 18 0 1780 0
vsize: 7192
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 427 0 0 0 7981 17 0 0 25 0 1 0 817745132 7364608 404 4294967295 134512640 134581331 3221221792 3221220704 134527645 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1798 404 566 18 0 1780 0
vsize: 7192
[startup+90.0039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 429 0 0 0 8979 19 0 0 25 0 1 0 817745132 7364608 406 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1798 406 566 18 0 1780 0
vsize: 7192
[startup+100.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 447 0 0 0 9976 23 0 0 25 0 1 0 817745132 7475200 424 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 424 566 18 0 1807 0
vsize: 7300
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 447 0 0 0 10974 25 0 0 25 0 1 0 817745132 7475200 424 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 424 566 18 0 1807 0
vsize: 7300
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 448 0 0 0 11973 26 0 0 25 0 1 0 817745132 7475200 425 4294967295 134512640 134581331 3221221792 3221220632 134531502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 425 566 18 0 1807 0
vsize: 7300
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 453 0 0 0 12971 28 0 0 25 0 1 0 817745132 7475200 430 4294967295 134512640 134581331 3221221792 3221220704 134527778 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 430 566 18 0 1807 0
vsize: 7300
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 453 0 0 0 13970 30 0 0 25 0 1 0 817745132 7475200 430 4294967295 134512640 134581331 3221221792 3221220656 134528289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 430 566 18 0 1807 0
vsize: 7300
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 453 0 0 0 14969 31 0 0 25 0 1 0 817745132 7475200 430 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 430 566 18 0 1807 0
vsize: 7300
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 461 0 0 0 15967 33 0 0 25 0 1 0 817745132 7475200 438 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 438 566 18 0 1807 0
vsize: 7300
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 462 0 0 0 16966 34 0 0 25 0 1 0 817745132 7475200 439 4294967295 134512640 134581331 3221221792 3221220704 134527987 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1825 439 566 18 0 1807 0
vsize: 7300
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 469 0 0 0 17964 36 0 0 25 0 1 0 817745132 7593984 446 4294967295 134512640 134581331 3221221792 3221220704 134527432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 446 566 18 0 1836 0
vsize: 7416
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 469 0 0 0 18962 39 0 0 25 0 1 0 817745132 7593984 446 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 446 566 18 0 1836 0
vsize: 7416
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 19959 42 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134527429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 20957 43 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 21955 46 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134527404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 22954 47 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 23952 50 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 24951 51 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 25949 53 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 26947 55 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 27945 58 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134528079 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 28942 60 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220704 134527492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 29940 62 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 477 0 0 0 30937 66 0 0 25 0 1 0 817745132 7593984 454 4294967295 134512640 134581331 3221221792 3221220688 134517868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 454 566 18 0 1836 0
vsize: 7416
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 486 0 0 0 31935 68 0 0 25 0 1 0 817745132 7593984 463 4294967295 134512640 134581331 3221221792 3221220688 134517844 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 463 566 18 0 1836 0
vsize: 7416
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 486 0 0 0 32932 71 0 0 25 0 1 0 817745132 7593984 463 4294967295 134512640 134581331 3221221792 3221220704 134527720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 463 566 18 0 1836 0
vsize: 7416
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 486 0 0 0 33931 73 0 0 25 0 1 0 817745132 7593984 463 4294967295 134512640 134581331 3221221792 3221220676 134527048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 463 566 18 0 1836 0
vsize: 7416
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 486 0 0 0 34928 75 0 0 25 0 1 0 817745132 7593984 463 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 463 566 18 0 1836 0
vsize: 7416
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 486 0 0 0 35926 77 0 0 25 0 1 0 817745132 7593984 463 4294967295 134512640 134581331 3221221792 3221220704 134527451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1854 463 566 18 0 1836 0
vsize: 7416
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 494 0 0 0 36925 79 0 0 25 0 1 0 817745132 7712768 471 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1883 471 566 18 0 1865 0
vsize: 7532
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 494 0 0 0 37924 80 0 0 25 0 1 0 817745132 7680000 471 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1875 471 566 18 0 1857 0
vsize: 7500
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 38922 82 0 0 25 0 1 0 817745132 7680000 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1875 477 566 18 0 1857 0
vsize: 7500
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 39921 83 0 0 25 0 1 0 817745132 7680000 477 4294967295 134512640 134581331 3221221792 3221220704 134527539 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1875 477 566 18 0 1857 0
vsize: 7500
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 40920 85 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220704 134527510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 41918 86 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 42917 88 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 43915 90 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 44914 91 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220636 134528557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 45912 93 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220704 134527504 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 46911 95 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 47909 97 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 48908 98 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 49907 99 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 500 0 0 0 50905 101 0 0 25 0 1 0 817745132 7667712 477 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 477 566 18 0 1854 0
vsize: 7488
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 501 0 0 0 51903 103 0 0 25 0 1 0 817745132 7667712 478 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1872 478 566 18 0 1854 0
vsize: 7488
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 513 0 0 0 52901 105 0 0 25 0 1 0 817745132 7802880 490 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1905 490 566 18 0 1887 0
vsize: 7620
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 521 0 0 0 53900 107 0 0 25 0 1 0 817745132 7802880 498 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1905 498 566 18 0 1887 0
vsize: 7620
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 521 0 0 0 54897 109 0 0 25 0 1 0 817745132 7802880 498 4294967295 134512640 134581331 3221221792 3221220760 134527292 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1905 498 566 18 0 1887 0
vsize: 7620
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 55895 112 0 0 25 0 1 0 817745132 7782400 506 4294967295 134512640 134581331 3221221792 3221220704 134527434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1900 506 566 18 0 1882 0
vsize: 7600
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 56894 113 0 0 25 0 1 0 817745132 7778304 506 4294967295 134512640 134581331 3221221792 3221220704 134527670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1899 506 566 18 0 1881 0
vsize: 7596
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 57893 114 0 0 25 0 1 0 817745132 7778304 506 4294967295 134512640 134581331 3221221792 3221220704 134527459 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1899 506 566 18 0 1881 0
vsize: 7596
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 58892 115 0 0 25 0 1 0 817745132 7778304 506 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1899 506 566 18 0 1881 0
vsize: 7596
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 59891 117 0 0 25 0 1 0 817745132 7774208 506 4294967295 134512640 134581331 3221221792 3221220704 134527464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1898 506 566 18 0 1880 0
vsize: 7592
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 529 0 0 0 60890 118 0 0 25 0 1 0 817745132 7749632 506 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1892 506 566 18 0 1874 0
vsize: 7568
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32281
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 537 0 0 0 61888 120 0 0 25 0 1 0 817745132 7880704 514 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1924 514 566 18 0 1906 0
vsize: 7696
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 32282
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 537 0 0 0 62886 122 0 0 25 0 1 0 817745132 7852032 514 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1917 514 566 18 0 1899 0
vsize: 7668
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 537 0 0 0 63884 124 0 0 25 0 1 0 817745132 7835648 514 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 514 566 18 0 1895 0
vsize: 7652
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 537 0 0 0 64883 125 0 0 25 0 1 0 817745132 7835648 514 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 514 566 18 0 1895 0
vsize: 7652
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 542 0 0 0 65881 127 0 0 25 0 1 0 817745132 7835648 519 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 519 566 18 0 1895 0
vsize: 7652
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 542 0 0 0 66880 129 0 0 25 0 1 0 817745132 7835648 519 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 519 566 18 0 1895 0
vsize: 7652
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 542 0 0 0 67878 131 0 0 25 0 1 0 817745132 7835648 519 4294967295 134512640 134581331 3221221792 3221220624 134528569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 519 566 18 0 1895 0
vsize: 7652
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32334
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 542 0 0 0 68876 133 0 0 25 0 1 0 817745132 7835648 519 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 519 566 18 0 1895 0
vsize: 7652
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 69875 134 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 70874 135 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 71872 137 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 72871 139 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 73870 140 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 74868 142 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527525 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 75867 143 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 76865 146 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 77863 147 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220704 134527534 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 78862 149 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+800.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 79860 151 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220656 134528248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+810.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 80858 153 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220764 134527302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 81856 156 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 543 0 0 0 82855 157 0 0 25 0 1 0 817745132 7835648 520 4294967295 134512640 134581331 3221221792 3221220688 134517720 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 520 566 18 0 1895 0
vsize: 7652
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 551 0 0 0 83852 160 0 0 25 0 1 0 817745132 7835648 528 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1913 528 566 18 0 1895 0
vsize: 7652
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 557 0 0 0 84851 161 0 0 25 0 1 0 817745132 7962624 534 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 534 566 18 0 1926 0
vsize: 7776
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 558 0 0 0 85850 162 0 0 25 0 1 0 817745132 7962624 535 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 535 566 18 0 1926 0
vsize: 7776
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 561 0 0 0 86848 164 0 0 25 0 1 0 817745132 7962624 538 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 538 566 18 0 1926 0
vsize: 7776
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 561 0 0 0 87846 167 0 0 25 0 1 0 817745132 7962624 538 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 538 566 18 0 1926 0
vsize: 7776
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 561 0 0 0 88844 169 0 0 25 0 1 0 817745132 7962624 538 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 538 566 18 0 1926 0
vsize: 7776
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 561 0 0 0 89844 169 0 0 25 0 1 0 817745132 7962624 538 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 538 566 18 0 1926 0
vsize: 7776
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 561 0 0 0 90842 171 0 0 25 0 1 0 817745132 7962624 538 4294967295 134512640 134581331 3221221792 3221220512 134524449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 538 566 18 0 1926 0
vsize: 7776
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 91841 173 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 92839 174 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220784 134560815 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 93838 176 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 94837 177 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 95835 179 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32336
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 96834 180 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 576 0 0 0 97833 182 0 0 25 0 1 0 817745132 7962624 553 4294967295 134512640 134581331 3221221792 3221220688 134517873 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1944 553 566 18 0 1926 0
vsize: 7776
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 585 0 0 0 98831 184 0 0 25 0 1 0 817745132 8093696 562 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1976 562 566 18 0 1958 0
vsize: 7904
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 594 0 0 0 99829 186 0 0 25 0 1 0 817745132 8093696 571 4294967295 134512640 134581331 3221221792 3221220704 134527537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1976 571 566 18 0 1958 0
vsize: 7904
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 594 0 0 0 100827 188 0 0 25 0 1 0 817745132 8089600 571 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 571 566 18 0 1957 0
vsize: 7900
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 594 0 0 0 101826 190 0 0 25 0 1 0 817745132 8089600 571 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 571 566 18 0 1957 0
vsize: 7900
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 603 0 0 0 102825 191 0 0 25 0 1 0 817745132 8089600 580 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 580 566 18 0 1957 0
vsize: 7900
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 603 0 0 0 103823 193 0 0 25 0 1 0 817745132 8089600 580 4294967295 134512640 134581331 3221221792 3221220704 134527513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 580 566 18 0 1957 0
vsize: 7900
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 603 0 0 0 104822 194 0 0 25 0 1 0 817745132 8089600 580 4294967295 134512640 134581331 3221221792 3221220704 134528088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 580 566 18 0 1957 0
vsize: 7900
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 603 0 0 0 105821 195 0 0 25 0 1 0 817745132 8089600 580 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 580 566 18 0 1957 0
vsize: 7900
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 106819 197 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527531 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 107819 198 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 108818 199 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220688 134517767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 109817 200 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 110815 202 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 111814 203 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 112813 205 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 113812 206 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220704 134527519 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 114811 207 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 115810 208 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220656 134528384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 116810 209 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 117809 209 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 7900
[startup+1188.86 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32338
Raw data (stat): 32281 (Pueblo) R 32280 7876 7672 0 -1 0 606 0 0 0 117809 209 0 0 25 0 1 0 817745132 8089600 583 4294967295 134512640 134581331 3221221792 3221220856 1075514893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1975 583 566 18 0 1957 0
vsize: 0

Child status: 10
Real time (s): 1188.86
CPU time (s): 1189.02
CPU user time (s): 1186.9
CPU system time (s): 2.11768
CPU usage (%): 100.013
Max. virtual memory (Kb): 7904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1551
#### END VERIFIER DATA ####