Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-p0201.opb |
MD5SUM | 8c361d02d5162bb0b133ab6ed38f9294 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.02284 |
Number of variables | 201 |
Total number of constraints | 334 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 227 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc2 THE 2005-06-03 00:36:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=27311 boxname=wulflinc2 idbench=1439 idsolver=19 numberseed=0 MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea /oldhome/oroussel/solvers/Pueblo-v2 MD5SUM BENCH: 8c361d02d5162bb0b133ab6ed38f9294 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb REAL COMMAND: Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-p0201.opb IDLAUNCH: 27311 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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: 416768 kB Buffers: 31496 kB Cached: 564384 kB SwapCached: 1160 kB Active: 43324 kB Inactive: 555048 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 416516 kB SwapTotal: 2097136 kB SwapFree: 2095024 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5052 kB Slab: 13848 kB Committed_AS: 71788 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-03 00:56:37 (client local time) WITH STATUS 10 IN 1189 SECONDS stats: 27311 0 1189 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c Pueblo version 1.2 (Sept 2004) c Developed @ University of Michigan, Ann Arbor, MI c by Hossein Sheini c Solving: /oldhome/oroussel/tmp/wulflinc2/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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 0.85 0.94 0.90 2/54 1950 Raw data (stat): 1950 (runsolver) R 1949 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854162663 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0004 s] Raw data (loadavg): 0.88 0.94 0.90 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 358 0 0 0 989 9 0 0 25 0 1 0 854162663 7094272 332 4294967295 134512640 134581267 3221224576 3221223444 1075285545 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1732 332 566 18 0 1714 0 vsize: 6928 [startup+20.0014 s] Raw data (loadavg): 0.89 0.94 0.90 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 358 0 0 0 1983 15 0 0 25 0 1 0 854162663 7094272 332 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1732 332 566 18 0 1714 0 vsize: 6928 [startup+30.0021 s] Raw data (loadavg): 0.91 0.94 0.90 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 361 0 0 0 2976 22 0 0 25 0 1 0 854162663 7094272 335 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1732 335 566 18 0 1714 0 vsize: 6928 [startup+40.0015 s] Raw data (loadavg): 0.92 0.94 0.90 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 368 0 0 0 3969 30 0 0 25 0 1 0 854162663 7094272 342 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1732 342 566 18 0 1714 0 vsize: 6928 [startup+50.0025 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 376 0 0 0 4962 36 0 0 25 0 1 0 854162663 7221248 350 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1763 350 566 18 0 1745 0 vsize: 7052 [startup+60.0022 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 377 0 0 0 5956 43 0 0 25 0 1 0 854162663 7217152 351 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 351 566 18 0 1744 0 vsize: 7048 [startup+70.0026 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 377 0 0 0 6948 51 0 0 25 0 1 0 854162663 7217152 351 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 351 566 18 0 1744 0 vsize: 7048 [startup+80.0026 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 381 0 0 0 7938 61 0 0 25 0 1 0 854162663 7217152 355 4294967295 134512640 134581267 3221224576 3221223440 134560386 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 355 566 18 0 1744 0 vsize: 7048 [startup+90.0023 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 382 0 0 0 8932 68 0 0 25 0 1 0 854162663 7217152 356 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 356 566 18 0 1744 0 vsize: 7048 [startup+100.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 404 0 0 0 9924 76 0 0 25 0 1 0 854162663 7217152 378 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 378 566 18 0 1744 0 vsize: 7048 [startup+110.003 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 404 0 0 0 10917 83 0 0 25 0 1 0 854162663 7217152 378 4294967295 134512640 134581267 3221224576 3221223488 134527423 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 378 566 18 0 1744 0 vsize: 7048 [startup+120.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 404 0 0 0 11911 89 0 0 25 0 1 0 854162663 7217152 378 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1762 378 566 18 0 1744 0 vsize: 7048 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 407 0 0 0 12903 97 0 0 25 0 1 0 854162663 7340032 381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1792 381 566 18 0 1774 0 vsize: 7168 [startup+140.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 407 0 0 0 13896 105 0 0 25 0 1 0 854162663 7340032 381 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1792 381 566 18 0 1774 0 vsize: 7168 [startup+150.004 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 411 0 0 0 14889 112 0 0 25 0 1 0 854162663 7335936 385 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 385 566 18 0 1773 0 vsize: 7164 [startup+160.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 413 0 0 0 15879 122 0 0 25 0 1 0 854162663 7335936 387 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 387 566 18 0 1773 0 vsize: 7164 [startup+170.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 416 0 0 0 16871 130 0 0 25 0 1 0 854162663 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 390 566 18 0 1773 0 vsize: 7164 [startup+180.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 416 0 0 0 17864 137 0 0 25 0 1 0 854162663 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 390 566 18 0 1773 0 vsize: 7164 [startup+190.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 416 0 0 0 18857 144 0 0 25 0 1 0 854162663 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 390 566 18 0 1773 0 vsize: 7164 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 416 0 0 0 19847 154 0 0 25 0 1 0 854162663 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 390 566 18 0 1773 0 vsize: 7164 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 416 0 0 0 20839 163 0 0 25 0 1 0 854162663 7335936 390 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 390 566 18 0 1773 0 vsize: 7164 [startup+220.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 21832 170 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+230.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 22824 178 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+240.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 23815 187 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+250.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 24808 195 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+260.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 25799 204 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+270.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 26791 212 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+280.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 27784 219 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+290.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 28777 226 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 431 0 0 0 29771 233 0 0 25 0 1 0 854162663 7335936 405 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1791 405 566 18 0 1773 0 vsize: 7164 [startup+310.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 438 0 0 0 30762 241 0 0 25 0 1 0 854162663 7434240 412 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 412 566 18 0 1797 0 vsize: 7260 [startup+320.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 31756 248 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+330.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 32750 254 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223456 134520304 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+340.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 33744 260 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223472 134517737 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+350.003 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 34737 267 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+360.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 35732 273 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+370.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 36724 281 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223440 134528299 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+380.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 37717 288 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+390.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 38709 296 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223440 134560386 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+400.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 39702 304 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223568 134561040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+410.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 40693 312 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+420.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 41685 321 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+430.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 42677 329 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+440.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 43668 338 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+450.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 44657 349 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223488 134527695 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+460.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 445 0 0 0 45647 360 0 0 25 0 1 0 854162663 7434240 419 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 419 566 18 0 1797 0 vsize: 7260 [startup+470.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 458 0 0 0 46639 368 0 0 25 0 1 0 854162663 7434240 432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 432 566 18 0 1797 0 vsize: 7260 [startup+480.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 458 0 0 0 47630 377 0 0 25 0 1 0 854162663 7434240 432 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1815 432 566 18 0 1797 0 vsize: 7260 [startup+490.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 48622 386 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223456 134520246 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+500.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 49612 395 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+510.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 50603 405 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+520.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 51595 413 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+530.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 52587 421 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+540.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 53578 430 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+550.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 54569 439 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+560.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 55560 448 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+570.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 56551 457 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+580.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 57543 466 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527442 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+590.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 58535 474 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+600.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 59526 484 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+610.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 60519 491 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+620.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 61511 498 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+630.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 62501 509 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223456 134520432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+640.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 63492 518 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+650.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 64484 526 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+660.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 65473 537 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+670.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 66466 545 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223352 1075291167 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+680.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 67456 554 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223472 134517888 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+690.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 465 0 0 0 68448 563 0 0 25 0 1 0 854162663 7553024 439 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 439 566 18 0 1826 0 vsize: 7376 [startup+700.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 472 0 0 0 69440 571 0 0 25 0 1 0 854162663 7553024 446 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 446 566 18 0 1826 0 vsize: 7376 [startup+710.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 70433 578 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+720.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 71427 585 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+730.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 72416 596 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+740.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 73408 604 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+750.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 74402 610 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+760.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 486 0 0 0 75392 620 0 0 25 0 1 0 854162663 7553024 460 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1844 460 566 18 0 1826 0 vsize: 7376 [startup+770.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 76385 628 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+780.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 77377 636 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+790.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 78368 645 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+800.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 79358 655 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223568 134561106 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+810.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 80352 660 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+820.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 81345 667 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+830.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 82338 675 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527537 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+840.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 83330 683 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223440 134527162 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+850.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 84323 691 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+860.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 85314 699 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+870.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 86305 709 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+880.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 87295 719 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+890.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 88288 726 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+900.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 89279 735 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+910.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 90273 742 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+920.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 91266 749 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223264 1075289363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+930.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 92258 757 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 93249 766 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+950.011 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 94239 776 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+960.013 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 95229 786 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+970.013 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 96222 793 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+980.013 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 97216 800 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223440 134528324 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+990.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 98207 809 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+1000.01 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 99199 817 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+1010.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 100191 826 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+1020.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 492 0 0 0 101182 835 0 0 25 0 1 0 854162663 7622656 466 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 466 566 18 0 1843 0 vsize: 7444 [startup+1030.01 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 501 0 0 0 102176 841 0 0 25 0 1 0 854162663 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 475 566 18 0 1843 0 vsize: 7444 [startup+1040.01 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 501 0 0 0 103168 849 0 0 25 0 1 0 854162663 7622656 475 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 475 566 18 0 1843 0 vsize: 7444 [startup+1050.01 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 501 0 0 0 104161 856 0 0 25 0 1 0 854162663 7622656 475 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 475 566 18 0 1843 0 vsize: 7444 [startup+1060.01 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 501 0 0 0 105154 863 0 0 25 0 1 0 854162663 7622656 475 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1861 475 566 18 0 1843 0 vsize: 7444 [startup+1070.01 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 106148 870 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1080.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 107140 878 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134531368 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1090.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 108131 887 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1100.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 109125 894 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1110.01 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 110116 903 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1120.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 111107 911 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1130.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 112099 920 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223440 134528240 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1140.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 113092 927 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1150.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 114084 935 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1160.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 115076 944 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1170.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 116068 952 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1180.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 117058 961 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 7556 [startup+1188.81 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 1950 Raw data (stat): 1950 (Pueblo-v2) R 1949 31399 31398 0 -1 0 505 0 0 0 117058 961 0 0 25 0 1 0 854162663 7737344 479 4294967295 134512640 134581267 3221224576 3221223640 1075514893 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 1889 479 566 18 0 1871 0 vsize: 0 Child status: 10 Real time (s): 1188.81 CPU time (s): 1189 CPU user time (s): 1179.31 CPU system time (s): 9.69353 CPU usage (%): 100.016 Max. virtual memory (Kb): 7556 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 1523 #### END VERIFIER DATA ####