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 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc24 THE 2005-05-28 13:23:17 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=24845 boxname=wulflinc24 idbench=1317 idsolver=17 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: ffa3a55eb53181880328dd1b84f91e66 /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-p0201.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-p0201.opb IDLAUNCH: 24845 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.080 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.080 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: 710376 kB Buffers: 34760 kB Cached: 267816 kB SwapCached: 636 kB Active: 22716 kB Inactive: 281912 kB HighTotal: 131008 kB HighFree: 6804 kB LowTotal: 903652 kB LowFree: 703572 kB SwapTotal: 2097892 kB SwapFree: 2096360 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5148 kB Slab: 13988 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-05-28 13:43:22 (client local time) WITH STATUS 10 IN 1202.26 SECONDS stats: 24845 0 1202.26 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c got solution with objective value: 2412 c [startup+53.7384 s] setting bit 14 to 1 c CONFLICT during preprocess c [startup+57.8145 s] setting bit 13 to 0 c CONFLICT during preprocess c [startup+61.9039 s] setting bit 12 to 0 Decision: 651145/947803 Time: 402.821/86400 Decision: 651300/947803 Time: 641.44/86400 Decision: 651736/947803 Time: 949.605/86400 Decision: 651736/947803 Time: 1064.75/86400s 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.91 0.94 0.90 2/54 22774 Raw data (stat): 22774 (runsolver) R 22773 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865130983 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+10.0012 s] Raw data (loadavg): 0.92 0.94 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 30470 0 0 0 941 58 0 0 25 0 1 0 865130983 90124288 19326 4294967295 134512640 135726644 3221224576 3221206080 134782666 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 22003 19328 300 300 0 21703 0 vsize: 88012 [startup+20.0048 s] Raw data (loadavg): 0.93 0.94 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 60343 0 0 0 1884 115 0 0 25 0 1 0 865130983 177569792 37971 4294967295 134512640 135726644 3221224576 3221196064 134739703 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 43352 37972 300 300 0 43052 0 vsize: 173408 [startup+30.011 s] Raw data (loadavg): 0.94 0.94 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 100040 0 0 0 2806 194 0 0 25 0 1 0 865130983 332861440 55483 4294967295 134512640 135726644 3221224576 3221190880 134782666 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 81265 55483 300 300 0 80965 0 vsize: 325060 [startup+40.011 s] Raw data (loadavg): 0.95 0.94 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 119444 0 0 0 3762 238 0 0 25 0 1 0 865130983 351784960 74626 4294967295 134512640 135726644 3221224576 3221209788 135287558 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 85885 74627 300 300 0 85585 0 vsize: 343540 [startup+50.0117 s] Raw data (loadavg): 0.96 0.94 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 129592 0 0 0 4740 260 0 0 25 0 1 0 865130983 371257344 82380 4294967295 134512640 135726644 3221224576 3221223008 134744676 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 90639 82380 300 300 0 90339 0 vsize: 362556 [startup+60.0111 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 134993 0 0 0 5728 272 0 0 25 0 1 0 865130983 386113536 85635 4294967295 134512640 135726644 3221224576 3221222872 134761847 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94266 85635 300 300 0 93966 0 vsize: 377064 [startup+70.0124 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138451 0 0 0 6719 281 0 0 25 0 1 0 865130983 384270336 84614 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93816 84614 300 300 0 93516 0 vsize: 375264 [startup+80.0128 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138596 0 0 0 7719 281 0 0 25 0 1 0 865130983 384532480 84694 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93880 84694 300 300 0 93580 0 vsize: 375520 [startup+90.0122 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138657 0 0 0 8719 282 0 0 25 0 1 0 865130983 384663552 84722 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93912 84722 300 300 0 93612 0 vsize: 375648 [startup+100.012 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138675 0 0 0 9719 282 0 0 25 0 1 0 865130983 384663552 84740 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93912 84740 300 300 0 93612 0 vsize: 375648 [startup+110.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138718 0 0 0 10720 282 0 0 25 0 1 0 865130983 384663552 84783 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93912 84783 300 300 0 93612 0 vsize: 375648 [startup+120.013 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138778 0 0 0 11720 282 0 0 25 0 1 0 865130983 384835584 84843 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 93954 84843 300 300 0 93654 0 vsize: 375816 [startup+130.021 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138929 0 0 0 12720 282 0 0 25 0 1 0 865130983 385232896 84929 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94051 84929 300 300 0 93751 0 vsize: 376204 [startup+140.025 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138942 0 0 0 13721 282 0 0 25 0 1 0 865130983 385232896 84942 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94051 84942 300 300 0 93751 0 vsize: 376204 [startup+150.025 s] Raw data (loadavg): 0.99 0.95 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 138946 0 0 0 14721 282 0 0 25 0 1 0 865130983 385232896 84946 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94051 84946 300 300 0 93751 0 vsize: 376204 [startup+160.025 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139125 0 0 0 15721 283 0 0 25 0 1 0 865130983 385892352 85044 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94212 85044 300 300 0 93912 0 vsize: 376848 [startup+170.026 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139181 0 0 0 16721 283 0 0 25 0 1 0 865130983 386023424 85067 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94244 85067 300 300 0 93944 0 vsize: 376976 [startup+180.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139278 0 0 0 17721 283 0 0 25 0 1 0 865130983 386285568 85099 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94308 85099 300 300 0 94008 0 vsize: 377232 [startup+190.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139281 0 0 0 18721 283 0 0 25 0 1 0 865130983 386285568 85102 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94308 85102 300 300 0 94008 0 vsize: 377232 [startup+200.027 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139286 0 0 0 19721 283 0 0 25 0 1 0 865130983 386285568 85107 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94308 85107 300 300 0 94008 0 vsize: 377232 [startup+210.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139390 0 0 0 20721 284 0 0 25 0 1 0 865130983 386547712 85146 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94372 85146 300 300 0 94072 0 vsize: 377488 [startup+220.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139464 0 0 0 21721 284 0 0 25 0 1 0 865130983 386547712 85220 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94372 85220 300 300 0 94072 0 vsize: 377488 [startup+230.028 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139521 0 0 0 22721 284 0 0 25 0 1 0 865130983 386850816 85277 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94446 85277 300 300 0 94146 0 vsize: 377784 [startup+240.029 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 139839 0 0 0 23721 284 0 0 25 0 1 0 865130983 388038656 85497 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 94736 85497 300 300 0 94436 0 vsize: 378944 [startup+250.03 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 140592 0 0 0 24720 285 0 0 25 0 1 0 865130983 390430720 85972 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95320 85972 300 300 0 95020 0 vsize: 381280 [startup+260.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 140940 0 0 0 25719 286 0 0 25 0 1 0 865130983 391487488 86190 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95578 86190 300 300 0 95278 0 vsize: 382312 [startup+270.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141141 0 0 0 26720 287 0 0 25 0 1 0 865130983 392011776 86262 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95706 86262 300 300 0 95406 0 vsize: 382824 [startup+280.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141180 0 0 0 27720 287 0 0 25 0 1 0 865130983 392011776 86301 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95706 86301 300 300 0 95406 0 vsize: 382824 [startup+290.037 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141184 0 0 0 28719 288 0 0 25 0 1 0 865130983 392011776 86305 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95706 86305 300 300 0 95406 0 vsize: 382824 [startup+300.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141346 0 0 0 29719 288 0 0 25 0 1 0 865130983 392536064 86338 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95834 86338 300 300 0 95534 0 vsize: 383336 [startup+310.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141369 0 0 0 30719 288 0 0 25 0 1 0 865130983 392536064 86361 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95834 86361 300 300 0 95534 0 vsize: 383336 [startup+320.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141373 0 0 0 31719 288 0 0 25 0 1 0 865130983 392536064 86365 4294967295 134512640 135726644 3221224576 3221223232 134745073 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95834 86365 300 300 0 95534 0 vsize: 383336 [startup+330.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141376 0 0 0 32719 288 0 0 25 0 1 0 865130983 392536064 86368 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95834 86368 300 300 0 95534 0 vsize: 383336 [startup+340.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141416 0 0 0 33720 288 0 0 25 0 1 0 865130983 392536064 86408 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95834 86408 300 300 0 95534 0 vsize: 383336 [startup+350.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141430 0 0 0 34720 289 0 0 25 0 1 0 865130983 392470528 86406 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95818 86406 300 300 0 95518 0 vsize: 383272 [startup+360.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141454 0 0 0 35719 289 0 0 25 0 1 0 865130983 392470528 86430 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 95818 86430 300 300 0 95518 0 vsize: 383272 [startup+370.039 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141775 0 0 0 36719 290 0 0 25 0 1 0 865130983 393519104 86493 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96074 86493 300 300 0 95774 0 vsize: 384296 [startup+380.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141777 0 0 0 37719 290 0 0 25 0 1 0 865130983 393519104 86495 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96074 86495 300 300 0 95774 0 vsize: 384296 [startup+390.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141778 0 0 0 38719 290 0 0 25 0 1 0 865130983 393519104 86496 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96074 86496 300 300 0 95774 0 vsize: 384296 [startup+400.041 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141786 0 0 0 39719 290 0 0 25 0 1 0 865130983 393519104 86504 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96074 86504 300 300 0 95774 0 vsize: 384296 [startup+410.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 141790 0 0 0 40719 290 0 0 25 0 1 0 865130983 393519104 86508 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96074 86508 300 300 0 95774 0 vsize: 384296 [startup+420.042 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 142260 0 0 0 41719 291 0 0 25 0 1 0 865130983 394973184 86718 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 96429 86718 300 300 0 96129 0 vsize: 385716 [startup+430.044 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 143278 0 0 0 42717 293 0 0 25 0 1 0 865130983 398024704 87327 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97174 87327 300 300 0 96874 0 vsize: 388696 [startup+440.056 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 143533 0 0 0 43718 293 0 0 25 0 1 0 865130983 398548992 87451 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97302 87451 300 300 0 97002 0 vsize: 389208 [startup+450.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 143800 0 0 0 44717 294 0 0 25 0 1 0 865130983 399073280 87588 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97430 87588 300 300 0 97130 0 vsize: 389720 [startup+460.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 145860 0 0 0 45713 299 0 0 25 0 1 0 865130983 407314432 89486 4294967295 134512640 135726644 3221224576 3221222740 134765181 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99442 89486 300 300 0 99142 0 vsize: 397768 [startup+470.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 145863 0 0 0 46712 299 0 0 25 0 1 0 865130983 399728640 87637 4294967295 134512640 135726644 3221224576 3221223072 134744357 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97590 87637 300 300 0 97290 0 vsize: 390360 [startup+480.055 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 145960 0 0 0 47712 300 0 0 25 0 1 0 865130983 400187392 87669 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97702 87669 300 300 0 97402 0 vsize: 390808 [startup+490.057 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 146314 0 0 0 48712 300 0 0 25 0 1 0 865130983 401244160 87826 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 97960 87826 300 300 0 97660 0 vsize: 391840 [startup+500.062 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 147289 0 0 0 49711 302 0 0 25 0 1 0 865130983 404148224 88378 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98669 88378 300 300 0 98369 0 vsize: 394676 [startup+510.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 147724 0 0 0 50712 303 0 0 25 0 1 0 865130983 405196800 88553 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 98925 88553 300 300 0 98625 0 vsize: 395700 [startup+520.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 147989 0 0 0 51712 303 0 0 25 0 1 0 865130983 405987328 88688 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99118 88688 300 300 0 98818 0 vsize: 396472 [startup+530.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 147992 0 0 0 52712 303 0 0 25 0 1 0 865130983 405987328 88691 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99118 88691 300 300 0 98818 0 vsize: 396472 [startup+540.083 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148123 0 0 0 53712 304 0 0 25 0 1 0 865130983 406249472 88757 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99182 88757 300 300 0 98882 0 vsize: 396728 [startup+550.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148149 0 0 0 54712 304 0 0 25 0 1 0 865130983 406249472 88783 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99182 88783 300 300 0 98882 0 vsize: 396728 [startup+560.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148525 0 0 0 55711 305 0 0 25 0 1 0 865130983 407105536 88980 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99391 88980 300 300 0 99091 0 vsize: 397564 [startup+570.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148528 0 0 0 56711 305 0 0 25 0 1 0 865130983 407105536 88983 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99391 88983 300 300 0 99091 0 vsize: 397564 [startup+580.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148533 0 0 0 57712 305 0 0 25 0 1 0 865130983 407105536 88988 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99391 88988 300 300 0 99091 0 vsize: 397564 [startup+590.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148827 0 0 0 58711 306 0 0 25 0 1 0 865130983 408154112 89024 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99647 89024 300 300 0 99347 0 vsize: 398588 [startup+600.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148846 0 0 0 59711 306 0 0 25 0 1 0 865130983 408154112 89043 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99647 89043 300 300 0 99347 0 vsize: 398588 [startup+610.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 148849 0 0 0 60711 306 0 0 25 0 1 0 865130983 408154112 89046 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99647 89046 300 300 0 99347 0 vsize: 398588 [startup+620.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149025 0 0 0 61711 306 0 0 25 0 1 0 865130983 408678400 89093 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89093 300 300 0 99475 0 vsize: 399100 [startup+630.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149030 0 0 0 62711 306 0 0 25 0 1 0 865130983 408678400 89098 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89098 300 300 0 99475 0 vsize: 399100 [startup+640.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149033 0 0 0 63711 306 0 0 25 0 1 0 865130983 408678400 89101 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89101 300 300 0 99475 0 vsize: 399100 [startup+650.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149039 0 0 0 64711 306 0 0 25 0 1 0 865130983 408678400 89107 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89107 300 300 0 99475 0 vsize: 399100 [startup+660.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149044 0 0 0 65711 306 0 0 25 0 1 0 865130983 408678400 89112 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89112 300 300 0 99475 0 vsize: 399100 [startup+670.084 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149049 0 0 0 66711 306 0 0 25 0 1 0 865130983 408678400 89117 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89117 300 300 0 99475 0 vsize: 399100 [startup+680.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149057 0 0 0 67712 306 0 0 25 0 1 0 865130983 408678400 89125 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89125 300 300 0 99475 0 vsize: 399100 [startup+690.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149062 0 0 0 68712 307 0 0 25 0 1 0 865130983 408678400 89130 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89130 300 300 0 99475 0 vsize: 399100 [startup+700.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 149066 0 0 0 69712 307 0 0 25 0 1 0 865130983 408678400 89134 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89134 300 300 0 99475 0 vsize: 399100 [startup+710.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 150920 0 0 0 70707 312 0 0 25 0 1 0 865130983 408678400 89136 4294967295 134512640 135726644 3221224576 3221223072 134744043 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89136 300 300 0 99475 0 vsize: 399100 [startup+720.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 150923 0 0 0 71707 312 0 0 25 0 1 0 865130983 408678400 89139 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89139 300 300 0 99475 0 vsize: 399100 [startup+730.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 150928 0 0 0 72707 312 0 0 25 0 1 0 865130983 408678400 89144 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99775 89144 300 300 0 99475 0 vsize: 399100 [startup+740.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 150983 0 0 0 73707 312 0 0 25 0 1 0 865130983 408809472 89166 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99807 89166 300 300 0 99507 0 vsize: 399228 [startup+750.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 150987 0 0 0 74707 312 0 0 25 0 1 0 865130983 408809472 89170 4294967295 134512640 135726644 3221224576 3221223056 134729188 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99807 89170 300 300 0 99507 0 vsize: 399228 [startup+760.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151004 0 0 0 75707 312 0 0 25 0 1 0 865130983 408809472 89187 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99807 89187 300 300 0 99507 0 vsize: 399228 [startup+770.085 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151177 0 0 0 76707 312 0 0 25 0 1 0 865130983 409333760 89230 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99935 89230 300 300 0 99635 0 vsize: 399740 [startup+780.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151182 0 0 0 77707 312 0 0 25 0 1 0 865130983 409333760 89235 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99935 89235 300 300 0 99635 0 vsize: 399740 [startup+790.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151192 0 0 0 78707 312 0 0 25 0 1 0 865130983 409333760 89245 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99935 89245 300 300 0 99635 0 vsize: 399740 [startup+800.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151211 0 0 0 79708 312 0 0 25 0 1 0 865130983 409333760 89264 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99935 89264 300 300 0 99635 0 vsize: 399740 [startup+810.087 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151221 0 0 0 80708 312 0 0 25 0 1 0 865130983 409333760 89274 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 99935 89274 300 300 0 99635 0 vsize: 399740 [startup+820.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151371 0 0 0 81707 313 0 0 25 0 1 0 865130983 409858048 89295 4294967295 134512640 135726644 3221224576 3221222824 135280958 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100063 89295 300 300 0 99763 0 vsize: 400252 [startup+830.188 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151374 0 0 0 82718 313 0 0 25 0 1 0 865130983 409858048 89298 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100063 89298 300 300 0 99763 0 vsize: 400252 [startup+840.188 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151378 0 0 0 83718 313 0 0 25 0 1 0 865130983 409858048 89302 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100063 89302 300 300 0 99763 0 vsize: 400252 [startup+850.189 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151380 0 0 0 84718 313 0 0 25 0 1 0 865130983 409858048 89304 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100063 89304 300 300 0 99763 0 vsize: 400252 [startup+860.189 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151391 0 0 0 85718 313 0 0 25 0 1 0 865130983 409858048 89315 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100063 89315 300 300 0 99763 0 vsize: 400252 [startup+870.189 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151559 0 0 0 86718 313 0 0 25 0 1 0 865130983 410251264 89385 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89385 300 300 0 99859 0 vsize: 400636 [startup+880.189 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151561 0 0 0 87718 314 0 0 25 0 1 0 865130983 410251264 89387 4294967295 134512640 135726644 3221224576 3221223072 134744053 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89387 300 300 0 99859 0 vsize: 400636 [startup+890.189 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151563 0 0 0 88718 314 0 0 25 0 1 0 865130983 410251264 89389 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89389 300 300 0 99859 0 vsize: 400636 [startup+900.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151564 0 0 0 89718 314 0 0 25 0 1 0 865130983 410251264 89390 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89390 300 300 0 99859 0 vsize: 400636 [startup+910.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151568 0 0 0 90718 314 0 0 25 0 1 0 865130983 410251264 89394 4294967295 134512640 135726644 3221224576 3221222960 135105719 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89394 300 300 0 99859 0 vsize: 400636 [startup+920.191 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151570 0 0 0 91718 315 0 0 25 0 1 0 865130983 410251264 89396 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89396 300 300 0 99859 0 vsize: 400636 [startup+930.191 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151573 0 0 0 92718 315 0 0 25 0 1 0 865130983 410251264 89399 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89399 300 300 0 99859 0 vsize: 400636 [startup+940.191 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151577 0 0 0 93718 315 0 0 25 0 1 0 865130983 410251264 89403 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89403 300 300 0 99859 0 vsize: 400636 [startup+950.192 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151580 0 0 0 94718 315 0 0 25 0 1 0 865130983 410251264 89406 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89406 300 300 0 99859 0 vsize: 400636 [startup+960.192 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151583 0 0 0 95719 315 0 0 25 0 1 0 865130983 410251264 89409 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89409 300 300 0 99859 0 vsize: 400636 [startup+970.192 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151588 0 0 0 96719 315 0 0 25 0 1 0 865130983 410251264 89414 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89414 300 300 0 99859 0 vsize: 400636 [startup+980.193 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151591 0 0 0 97719 315 0 0 25 0 1 0 865130983 410251264 89417 4294967295 134512640 135726644 3221224576 3221223072 134744339 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89417 300 300 0 99859 0 vsize: 400636 [startup+990.193 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151595 0 0 0 98719 315 0 0 25 0 1 0 865130983 410251264 89421 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89421 300 300 0 99859 0 vsize: 400636 [startup+1000.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 151598 0 0 0 99719 315 0 0 25 0 1 0 865130983 410251264 89424 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89424 300 300 0 99859 0 vsize: 400636 [startup+1010.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153453 0 0 0 100715 319 0 0 25 0 1 0 865130983 417837056 91279 4294967295 134512640 135726644 3221224576 3221222752 134765566 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 102011 91279 300 300 0 101711 0 vsize: 408044 [startup+1020.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153510 0 0 0 101714 320 0 0 25 0 1 0 865130983 410251264 89484 4294967295 134512640 135726644 3221224576 3221223072 134744120 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89484 300 300 0 99859 0 vsize: 400636 [startup+1030.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153515 0 0 0 102714 320 0 0 25 0 1 0 865130983 410251264 89489 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89489 300 300 0 99859 0 vsize: 400636 [startup+1040.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153520 0 0 0 103714 320 0 0 25 0 1 0 865130983 410251264 89494 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89494 300 300 0 99859 0 vsize: 400636 [startup+1050.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153527 0 0 0 104715 320 0 0 25 0 1 0 865130983 410251264 89501 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89501 300 300 0 99859 0 vsize: 400636 [startup+1060.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153530 0 0 0 105715 320 0 0 25 0 1 0 865130983 410251264 89504 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89504 300 300 0 99859 0 vsize: 400636 [startup+1070.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153534 0 0 0 106715 320 0 0 25 0 1 0 865130983 410251264 89508 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89508 300 300 0 99859 0 vsize: 400636 [startup+1080.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153538 0 0 0 107715 320 0 0 25 0 1 0 865130983 410251264 89512 4294967295 134512640 135726644 3221224576 3221223072 134744059 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89512 300 300 0 99859 0 vsize: 400636 [startup+1090.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153541 0 0 0 108715 320 0 0 25 0 1 0 865130983 410251264 89515 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89515 300 300 0 99859 0 vsize: 400636 [startup+1100.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153547 0 0 0 109716 320 0 0 25 0 1 0 865130983 410251264 89521 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89521 300 300 0 99859 0 vsize: 400636 [startup+1110.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153551 0 0 0 110715 321 0 0 25 0 1 0 865130983 410251264 89525 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89525 300 300 0 99859 0 vsize: 400636 [startup+1120.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 153556 0 0 0 111716 321 0 0 25 0 1 0 865130983 410251264 89530 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89530 300 300 0 99859 0 vsize: 400636 [startup+1130.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155411 0 0 0 112712 325 0 0 25 0 1 0 865130983 410251264 89533 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89533 300 300 0 99859 0 vsize: 400636 [startup+1140.19 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155415 0 0 0 113712 325 0 0 25 0 1 0 865130983 410251264 89537 4294967295 134512640 135726644 3221224576 3221223120 134736686 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89537 300 300 0 99859 0 vsize: 400636 [startup+1150.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155419 0 0 0 114712 325 0 0 25 0 1 0 865130983 410251264 89541 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89541 300 300 0 99859 0 vsize: 400636 [startup+1160.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155424 0 0 0 115712 325 0 0 25 0 1 0 865130983 410251264 89546 4294967295 134512640 135726644 3221224576 3221223072 134744290 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89546 300 300 0 99859 0 vsize: 400636 [startup+1170.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155427 0 0 0 116712 325 0 0 25 0 1 0 865130983 410251264 89549 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89549 300 300 0 99859 0 vsize: 400636 [startup+1180.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155431 0 0 0 117712 325 0 0 25 0 1 0 865130983 410251264 89553 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89553 300 300 0 99859 0 vsize: 400636 [startup+1190.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155435 0 0 0 118713 325 0 0 25 0 1 0 865130983 410251264 89557 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89557 300 300 0 99859 0 vsize: 400636 [startup+1200.2 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22774 Raw data (stat): 22774 (pb2sat) R 22773 4613 4612 0 -1 0 155441 0 0 0 119713 325 0 0 25 0 1 0 865130983 410251264 89563 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0 Raw data (statm): 100159 89563 300 300 0 99859 0 vsize: 400636 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1202.07 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 22774 Raw data (stat): 22774 (pb2sat) Z 22773 4613 4612 0 -1 12 155442 0 0 0 119882 343 0 0 25 0 1 0 865130983 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child status: 10 Real time (s): 1202.07 CPU time (s): 1202.26 CPU user time (s): 1198.82 CPU system time (s): 3.43648 CPU usage (%): 100.016 Max. virtual memory (Kb): 408044 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 2412 #### END VERIFIER DATA ####