Name | normalized-opb/submitted/een/normalized-seymour.opb |
MD5SUM | 23a177449585151350479e80b33e6416 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 353 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 1372 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1372 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1372 |
Number of bits of the biggest sum of numbers | 11 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1.04984 |
Number of variables | 1255 |
Total number of constraints | 4827 |
Number of constraints which are clauses | 4827 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 19 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc3 THE 2005-06-09 02:57:29 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28999 boxname=wulflinc3 idbench=385 idsolver=21 numberseed=0 MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2 MD5SUM BENCH: 23a177449585151350479e80b33e6416 /oldhome/oroussel/tmp/wulflinc3/normalized-seymour.opb REAL COMMAND: bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-seymour.opb IDLAUNCH: 28999 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.190 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 : 2 cpu MHz : 451.190 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: 887488 kB Buffers: 27452 kB Cached: 97188 kB SwapCached: 3472 kB Active: 33148 kB Inactive: 96244 kB HighTotal: 131008 kB HighFree: 41384 kB LowTotal: 903652 kB LowFree: 846104 kB SwapTotal: 2097136 kB SwapFree: 2092672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5016 kB Slab: 12284 kB Committed_AS: 71792 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-09 03:17:09 (client local time) WITH STATUS 10 IN 1179.71 SECONDS stats: 28999 0 1179.71 10 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. c Initial problem consists of 1372 variables and 4827 constraints. c After prepocess the problem consists of 1372 variables and 4798 constraints. c preprocess terminated 2.413 s c Initial Lower Bound: 291 c Lower Bound Elapsed time: 14.636 c Not use computed LB before first solution. c NEW SOLUTION FOUND: 1273 @ 46.778 c NEW SOLUTION FOUND: 1272 @ 46.802 c NEW SOLUTION FOUND: 1271 @ 46.819 c NEW SOLUTION FOUND: 1270 @ 46.836 c NEW SOLUTION FOUND: 1269 @ 46.853 c NEW SOLUTION FOUND: 1268 @ 46.87 c NEW SOLUTION FOUND: 1267 @ 46.887 c NEW SOLUTION FOUND: 1266 @ 46.904 c NEW SOLUTION FOUND: 1265 @ 46.921 c NEW SOLUTION FOUND: 1264 @ 46.938 c NEW SOLUTION FOUND: 1263 @ 46.955 c NEW SOLUTION FOUND: 1262 @ 46.972 c NEW SOLUTION FOUND: 1261 @ 46.989 c NEW SOLUTION FOUND: 1260 @ 47.006 c NEW SOLUTION FOUND: 1259 @ 47.023 c NEW SOLUTION FOUND: 1258 @ 47.041 c NEW SOLUTION FOUND: 1257 @ 47.058 c NEW SOLUTION FOUND: 1256 @ 47.075 c NEW SOLUTION FOUND: 1255 @ 47.092 c NEW SOLUTION FOUND: 1254 @ 47.109 c NEW SOLUTION FOUND: 1253 @ 47.126 c NEW SOLUTION FOUND: 1252 @ 47.143 c NEW SOLUTION FOUND: 1251 @ 47.16 c NEW SOLUTION FOUND: 1250 @ 47.177 c NEW SOLUTION FOUND: 1249 @ 47.194 c NEW SOLUTION FOUND: 1248 @ 47.211 c NEW SOLUTION FOUND: 1247 @ 47.228 c NEW SOLUTION FOUND: 1246 @ 47.245 c NEW SOLUTION FOUND: 1245 @ 47.262 c NEW SOLUTION FOUND: 1244 @ 47.279 c NEW SOLUTION FOUND: 1243 @ 47.296 c NEW SOLUTION FOUND: 1242 @ 47.313 c NEW SOLUTION FOUND: 1241 @ 47.33 c NEW SOLUTION FOUND: 1240 @ 47.347 c NEW SOLUTION FOUND: 1239 @ 47.364 c NEW SOLUTION FOUND: 1238 @ 47.381 c NEW SOLUTION FOUND: 1237 @ 47.398 c NEW SOLUTION FOUND: 1236 @ 47.415 c NEW SOLUTION FOUND: 1235 @ 47.432 c NEW SOLUTION FOUND: 1234 @ 47.449 c NEW SOLUTION FOUND: 1233 @ 47.466 c NEW SOLUTION FOUND: 1232 @ 47.483 c NEW SOLUTION FOUND: 1231 @ 47.5 c NEW SOLUTION FOUND: 1230 @ 47.516 c NEW SOLUTION FOUND: 1229 @ 47.533 c NEW SOLUTION FOUND: 1228 @ 47.55 c NEW SOLUTION FOUND: 1227 @ 47.567 c NEW SOLUTION FOUND: 1226 @ 47.584 c NEW SOLUTION FOUND: 1225 @ 47.601 c NEW SOLUTION FOUND: 1224 @ 47.618 c NEW SOLUTION FOUND: 1223 @ 47.635 c NEW SOLUTION FOUND: 1222 @ 47.652 c NEW SOLUTION FOUND: 1221 @ 47.669 c NEW SOLUTION FOUND: 1220 @ 47.686 c NEW SOLUTION FOUND: 1219 @ 47.703 c NEW SOLUTION FOUND: 1218 @ 47.72 c NEW SOLUTION FOUND: 1217 @ 47.737 c NEW SOLUTION FOUND: 1216 @ 47.754 c NEW SOLUTION FOUND: 1215 @ 47.77 c NEW SOLUTION FOUND: 1214 @ 47.787 c NEW SOLUTION FOUND: 1213 @ 47.804 c NEW SOLUTION FOUND: 1212 @ 47.821 c NEW SOLUTION FOUND: 1211 @ 47.838 c NEW SOLUTION FOUND: 1210 @ 47.855 c NEW SOLUTION FOUND: 1209 @ 47.871 c NEW SOLUTION FOUND: 1208 @ 47.888 c NEW SOLUTION FOUND: 1207 @ 47.905 c NEW SOLUTION FOUND: 1206 @ 47.922 c NEW SOLUTION FOUND: 1205 @ 47.939 c NEW SOLUTION FOUND: 1204 @ 47.956 c NEW SOLUTION FOUND: 1203 @ 47.972 c NEW SOLUTION FOUND: 1202 @ 47.989 c NEW SOLUTION FOUND: 1201 @ 48.006 c NEW SOLUTION FOUND: 1200 @ 48.023 c NEW SOLUTION FOUND: 1199 @ 48.04 c NEW SOLUTION FOUND: 1198 @ 48.074 c NEW SOLUTION FOUND: 1197 @ 48.09 c NEW SOLUTION FOUND: 1196 @ 48.107 c NEW SOLUTION FOUND: 1195 @ 48.124 c NEW SOLUTION FOUND: 1194 @ 48.141 c NEW SOLUTION FOUND: 1193 @ 48.179 c NEW SOLUTION FOUND: 1192 @ 48.196 c NEW SOLUTION FOUND: 1191 @ 48.215 c NEW SOLUTION FOUND: 1190 @ 48.234 c NEW SOLUTION FOUND: 1189 @ 48.252 c NEW SOLUTION FOUND: 1188 @ 48.271 c NEW SOLUTION FOUND: 1187 @ 48.289 c NEW SOLUTION FOUND: 1186 @ 48.308 c NEW SOLUTION FOUND: 1185 @ 48.326 c NEW SOLUTION FOUND: 1184 @ 48.345 c NEW SOLUTION FOUND: 1183 @ 48.364 c NEW SOLUTION FOUND: 1182 @ 48.382 c NEW SOLUTION FOUND: 1181 @ 48.401 c NEW SOLUTION FOUND: 1180 @ 48.419 c NEW SOLUTION FOUND: 1179 @ 48.438 c NEW SOLUTION FOUND: 1178 @ 48.457 c NEW SOLUTION FOUND: 1177 @ 48.494 c NEW SOLUTION FOUND: 1176 @ 48.531 c NEW SOLUTION FOUND: 1175 @ 48.549 c NEW SOLUTION FOUND: 1174 @ 48.587 c NEW SOLUTION FOUND: 1173 @ 48.624 c NEW SOLUTION FOUND: 1172 @ 48.662 c NEW SOLUTION FOUND: 1171 @ 48.68 c NEW SOLUTION FOUND: 1170 @ 48.7 c NEW SOLUTION FOUND: 1169 @ 48.738 c NEW SOLUTION FOUND: 1168 @ 48.757 c NEW SOLUTION FOUND: 1167 @ 48.777 c NEW SOLUTION FOUND: 1166 @ 48.796 c NEW SOLUTION FOUND: 1165 @ 48.816 c NEW SOLUTION FOUND: 1164 @ 48.835 c NEW SOLUTION FOUND: 1163 @ 48.855 c NEW SOLUTION FOUND: 1162 @ 48.894 c NEW SOLUTION FOUND: 1161 @ 48.913 c NEW SOLUTION FOUND: 1160 @ 48.933 c NEW SOLUTION FOUND: 1159 @ 48.973 c NEW SOLUTION FOUND: 1158 @ 49.012 c NEW SOLUTION FOUND: 1157 @ 49.051 c NEW SOLUTION FOUND: 1156 @ 49.091 c NEW SOLUTION FOUND: 1155 @ 49.11 c NEW SOLUTION FOUND: 1154 @ 49.13 c NEW SOLUTION FOUND: 1153 @ 49.151 c NEW SOLUTION FOUND: 1152 @ 49.171 c NEW SOLUTION FOUND: 1151 @ 49.191 c NEW SOLUTION FOUND: 1150 @ 49.232 c NEW SOLUTION FOUND: 1149 @ 49.272 c NEW SOLUTION FOUND: 1148 @ 49.292 c NEW SOLUTION FOUND: 1147 @ 49.313 c NEW SOLUTION FOUND: 1146 @ 49.354 c NEW SOLUTION FOUND: 1145 @ 49.374 c NEW SOLUTION FOUND: 1144 @ 49.395 c NEW SOLUTION FOUND: 1143 @ 49.416 c NEW SOLUTION FOUND: 1142 @ 49.437 c NEW SOLUTION FOUND: 1141 @ 49.458 c NEW SOLUTION FOUND: 1140 @ 49.499 c NEW SOLUTION FOUND: 1139 @ 49.54 c NEW SOLUTION FOUND: 1138 @ 49.561 c NEW SOLUTION FOUND: 1137 @ 49.603 c NEW SOLUTION FOUND: 1136 @ 49.624 c NEW SOLUTION FOUND: 1135 @ 49.645 c NEW SOLUTION FOUND: 1134 @ 49.667 c NEW SOLUTION FOUND: 1133 @ 49.688 c NEW SOLUTION FOUND: 1132 @ 49.71 c NEW SOLUTION FOUND: 1131 @ 49.752 c NEW SOLUTION FOUND: 1130 @ 49.772 c NEW SOLUTION FOUND: 1129 @ 49.814 c NEW SOLUTION FOUND: 1128 @ 49.835 c NEW SOLUTION FOUND: 1127 @ 49.856 c NEW SOLUTION FOUND: 1126 @ 49.898 c NEW SOLUTION FOUND: 1125 @ 49.919 c NEW SOLUTION FOUND: 1124 @ 49.962 c NEW SOLUTION FOUND: 1123 @ 49.983 c NEW SOLUTION FOUND: 1122 @ 50.004 c NEW SOLUTION FOUND: 1121 @ 50.026 c NEW SOLUTION FOUND: 1120 @ 50.048 c NEW SOLUTION FOUND: 1119 @ 50.069 c NEW SOLUTION FOUND: 1118 @ 50.112 c NEW SOLUTION FOUND: 1117 @ 50.135 c NEW SOLUTION FOUND: 1116 @ 50.156 c NEW SOLUTION FOUND: 1115 @ 50.178 c NEW SOLUTION FOUND: 1114 @ 50.222 c NEW SOLUTION FOUND: 1113 @ 50.243 c NEW SOLUTION FOUND: 1112 @ 50.265 c NEW SOLUTION FOUND: 1111 @ 50.287 c NEW SOLUTION FOUND: 1110 @ 50.309 c NEW SOLUTION FOUND: 1109 @ 50.353 c NEW SOLUTION FOUND: 1108 @ 50.375 c NEW SOLUTION FOUND: 1107 @ 50.397 c NEW SOLUTION FOUND: 1106 @ 50.42 c NEW SOLUTION FOUND: 1105 @ 50.464 c NEW SOLUTION FOUND: 1104 @ 50.486 c NEW SOLUTION FOUND: 1103 @ 50.531 c NEW SOLUTION FOUND: 1102 @ 50.554 c NEW SOLUTION FOUND: 1101 @ 50.576 c NEW SOLUTION FOUND: 1100 @ 50.599 c NEW SOLUTION FOUND: 1099 @ 50.622 c NEW SOLUTION FOUND: 1098 @ 50.667 c NEW SOLUTION FOUND: 1097 @ 50.757 c NEW SOLUTION FOUND: 1096 @ 50.78 c NEW SOLUTION FOUND: 1095 @ 50.803 c NEW SOLUTION FOUND: 1094 @ 50.85 c NEW SOLUTION FOUND: 1093 @ 50.944 c NEW SOLUTION FOUND: 1092 @ 50.969 c NEW SOLUTION FOUND: 1091 @ 51.07 c NEW SOLUTION FOUND: 1090 @ 51.123 c NEW SOLUTION FOUND: 1089 @ 51.203 c NEW SOLUTION FOUND: 1088 @ 51.309 c NEW SOLUTION FOUND: 1087 @ 51.374 c NEW SOLUTION FOUND: 1086 @ 51.406 c NEW SOLUTION FOUND: 1085 @ 51.438 c NEW SOLUTION FOUND: 1084 @ 51.47 c NEW SOLUTION FOUND: 1083 @ 51.536 c NEW SOLUTION FOUND: 1082 @ 51.568 c NEW SOLUTION FOUND: 1081 @ 51.602 c NEW SOLUTION FOUND: 1080 @ 51.635 c NEW SOLUTION FOUND: 1079 @ 51.669 c NEW SOLUTION FOUND: 1078 @ 51.702 c NEW SOLUTION FOUND: 1077 @ 51.803 c NEW SOLUTION FOUND: 1076 @ 51.836 c NEW SOLUTION FOUND: 1075 @ 51.87 c NEW SOLUTION FOUND: 1074 @ 51.904 c NEW SOLUTION FOUND: 1073 @ 51.938 c NEW SOLUTION FOUND: 1072 @ 51.972 c NEW SOLUTION FOUND: 1071 @ 52.006 c NEW SOLUTION FOUND: 1070 @ 52.04 c NEW SOLUTION FOUND: 1069 @ 52.075 c NEW SOLUTION FOUND: 1068 @ 52.109 c NEW SOLUTION FOUND: 1067 @ 52.145 c NEW SOLUTION FOUND: 1066 @ 52.18 c NEW SOLUTION FOUND: 1065 @ 52.217 c NEW SOLUTION FOUND: 1064 @ 52.288 c NEW SOLUTION FOUND: 1063 @ 52.323 c NEW SOLUTION FOUND: 1062 @ 52.357 c NEW SOLUTION FOUND: 1061 @ 52.463 c NEW SOLUTION FOUND: 1060 @ 52.498 c NEW SOLUTION FOUND: 1059 @ 52.534 c NEW SOLUTION FOUND: 1058 @ 52.605 c NEW SOLUTION FOUND: 1057 @ 52.642 c NEW SOLUTION FOUND: 1056 @ 52.678 c NEW SOLUTION FOUND: 1055 @ 52.716 c NEW SOLUTION FOUND: 1054 @ 52.752 c NEW SOLUTION FOUND: 1053 @ 52.864 c NEW SOLUTION FOUND: 1052 @ 52.98 c NEW SOLUTION FOUND: 1051 @ 53.021 c NEW SOLUTION FOUND: 1050 @ 53.098 c NEW SOLUTION FOUND: 1049 @ 53.139 c NEW SOLUTION FOUND: 1048 @ 53.181 c NEW SOLUTION FOUND: 1047 @ 53.313 c NEW SOLUTION FOUND: 1046 @ 53.356 c NEW SOLUTION FOUND: 1045 @ 53.444 c NEW SOLUTION FOUND: 1044 @ 53.49 c NEW SOLUTION FOUND: 1043 @ 53.537 c NEW SOLUTION FOUND: 1042 @ 53.584 c NEW SOLUTION FOUND: 1041 @ 53.677 c NEW SOLUTION FOUND: 1040 @ 53.722 c NEW SOLUTION FOUND: 1039 @ 53.813 c NEW SOLUTION FOUND: 1038 @ 53.857 c NEW SOLUTION FOUND: 1037 @ 53.983 c NEW SOLUTION FOUND: 1036 @ 54.033 c NEW SOLUTION FOUND: 1035 @ 54.153 c NEW SOLUTION FOUND: 1034 @ 54.254 c NEW SOLUTION FOUND: 1033 @ 54.34 c NEW SOLUTION FOUND: 1032 @ 54.39 c NEW SOLUTION FOUND: 1031 @ 54.443 c NEW SOLUTION FOUND: 1030 @ 54.494 c NEW SOLUTION FOUND: 1029 @ 54.546 c NEW SOLUTION FOUND: 1028 @ 54.599 c NEW SOLUTION FOUND: 1027 @ 54.649 c NEW SOLUTION FOUND: 1026 @ 54.703 c NEW SOLUTION FOUND: 1025 @ 54.757 c NEW SOLUTION FOUND: 1024 @ 54.846 c NEW SOLUTION FOUND: 1023 @ 54.901 c NEW SOLUTION FOUND: 1022 @ 54.955 c NEW SOLUTION FOUND: 1021 @ 55.005 c NEW SOLUTION FOUND: 1020 @ 55.059 c NEW SOLUTION FOUND: 1019 @ 55.112 c NEW SOLUTION FOUND: 1018 @ 55.166 c NEW SOLUTION FOUND: 1017 @ 55.22 c NEW SOLUTION FOUND: 1016 @ 55.275 c NEW SOLUTION FOUND: 1015 @ 55.326 c NEW SOLUTION FOUND: 1014 @ 55.38 c NEW SOLUTION FOUND: 1013 @ 55.432 c NEW SOLUTION FOUND: 1012 @ 55.485 c NEW SOLUTION FOUND: 1011 @ 55.537 c NEW SOLUTION FOUND: 1010 @ 55.592 c NEW SOLUTION FOUND: 1009 @ 55.719 c NEW SOLUTION FOUND: 1008 @ 55.827 c NEW SOLUTION FOUND: 1007 @ 55.882 c NEW SOLUTION FOUND: 1006 @ 55.938 c NEW SOLUTION FOUND: 1005 @ 55.995 c NEW SOLUTION FOUND: 1004 @ 56.05 c NEW SOLUTION FOUND: 1003 @ 56.104 c NEW SOLUTION FOUND: 1002 @ 56.16 c NEW SOLUTION FOUND: 1001 @ 56.213 c NEW SOLUTION FOUND: 1000 @ 56.27 c NEW SOLUTION FOUND: 999 @ 56.325 c NEW SOLUTION FOUND: 998 @ 56.381 c NEW SOLUTION FOUND: 997 @ 56.435 c NEW SOLUTION FOUND: 996 @ 56.491 c NEW SOLUTION FOUND: 995 @ 56.546 c NEW SOLUTION FOUND: 994 @ 56.603 c NEW SOLUTION FOUND: 993 @ 56.655 c NEW SOLUTION FOUND: 992 @ 56.708 c NEW SOLUTION FOUND: 991 @ 56.761 c NEW SOLUTION FOUND: 990 @ 56.816 c NEW SOLUTION FOUND: 989 @ 56.949 c NEW SOLUTION FOUND: 988 @ 57.059 c NEW SOLUTION FOUND: 987 @ 57.113 c NEW SOLUTION FOUND: 986 @ 57.169 c NEW SOLUTION FOUND: 985 @ 57.223 c NEW SOLUTION FOUND: 984 @ 57.281 c NEW SOLUTION FOUND: 983 @ 57.395 c NEW SOLUTION FOUND: 982 @ 57.504 c NEW SOLUTION FOUND: 981 @ 57.56 c NEW SOLUTION FOUND: 980 @ 57.616 c NEW SOLUTION FOUND: 979 @ 57.671 c NEW SOLUTION FOUND: 978 @ 57.725 c NEW SOLUTION FOUND: 977 @ 57.782 c NEW SOLUTION FOUND: 976 @ 57.837 c NEW SOLUTION FOUND: 975 @ 57.893 c NEW SOLUTION FOUND: 974 @ 57.947 c NEW SOLUTION FOUND: 973 @ 58.032 c NEW SOLUTION FOUND: 972 @ 58.09 c NEW SOLUTION FOUND: 971 @ 58.147 c NEW SOLUTION FOUND: 970 @ 58.204 c NEW SOLUTION FOUND: 969 @ 58.259 c NEW SOLUTION FOUND: 968 @ 58.317 c NEW SOLUTION FOUND: 967 @ 58.374 c NEW SOLUTION FOUND: 966 @ 58.427 c NEW SOLUTION FOUND: 965 @ 58.481 c NEW SOLUTION FOUND: 964 @ 58.604 c NEW SOLUTION FOUND: 963 @ 58.717 c NEW SOLUTION FOUND: 962 @ 58.836 c NEW SOLUTION FOUND: 961 @ 58.947 c NEW SOLUTION FOUND: 960 @ 59.004 c NEW SOLUTION FOUND: 959 @ 59.062 c NEW SOLUTION FOUND: 958 @ 59.118 c NEW SOLUTION FOUND: 957 @ 59.174 c NEW SOLUTION FOUND: 956 @ 59.23 c NEW SOLUTION FOUND: 955 @ 59.285 c NEW SOLUTION FOUND: 954 @ 59.343 c NEW SOLUTION FOUND: 953 @ 59.4 c NEW SOLUTION FOUND: 952 @ 59.456 c NEW SOLUTION FOUND: 951 @ 59.512 c NEW SOLUTION FOUND: 950 @ 59.568 c NEW SOLUTION FOUND: 949 @ 59.624 c NEW SOLUTION FOUND: 948 @ 59.678 c NEW SOLUTION FOUND: 947 @ 59.761 c NEW SOLUTION FOUND: 946 @ 59.819 c NEW SOLUTION FOUND: 945 @ 59.882 c NEW SOLUTION FOUND: 944 @ 59.973 c NEW SOLUTION FOUND: 943 @ 60.031 c NEW SOLUTION FOUND: 942 @ 60.089 c NEW SOLUTION FOUND: 941 @ 60.153 c NEW SOLUTION FOUND: 940 @ 60.208 c NEW SOLUTION FOUND: 939 @ 60.265 c NEW SOLUTION FOUND: 938 @ 60.323 c NEW SOLUTION FOUND: 937 @ 60.382 c NEW SOLUTION FOUND: 936 @ 60.439 c NEW SOLUTION FOUND: 935 @ 60.496 c NEW SOLUTION FOUND: 934 @ 60.553 c NEW SOLUTION FOUND: 933 @ 60.614 c NEW SOLUTION FOUND: 932 @ 60.671 c NEW SOLUTION FOUND: 931 @ 60.728 c NEW SOLUTION FOUND: 930 @ 60.782 c NEW SOLUTION FOUND: 929 @ 60.838 c NEW SOLUTION FOUND: 928 @ 60.894 c NEW SOLUTION FOUND: 927 @ 61.022 c NEW SOLUTION FOUND: 926 @ 61.137 c NEW SOLUTION FOUND: 925 @ 61.194 c NEW SOLUTION FOUND: 924 @ 61.251 c NEW SOLUTION FOUND: 923 @ 61.307 c NEW SOLUTION FOUND: 922 @ 61.368 c NEW SOLUTION FOUND: 921 @ 61.428 c NEW SOLUTION FOUND: 920 @ 61.485 c NEW SOLUTION FOUND: 919 @ 61.544 c NEW SOLUTION FOUND: 918 @ 61.601 c NEW SOLUTION FOUND: 917 @ 61.66 c NEW SOLUTION FOUND: 916 @ 61.719 c NEW SOLUTION FOUND: 915 @ 61.777 c NEW SOLUTION FOUND: 914 @ 61.834 c NEW SOLUTION FOUND: 913 @ 61.893 c NEW SOLUTION FOUND: 912 @ 61.952 c NEW SOLUTION FOUND: 911 @ 62.011 c NEW SOLUTION FOUND: 910 @ 62.065 c NEW SOLUTION FOUND: 909 @ 62.123 c NEW SOLUTION FOUND: 908 @ 62.179 c NEW SOLUTION FOUND: 907 @ 62.239 c NEW SOLUTION FOUND: 906 @ 62.299 c NEW SOLUTION FOUND: 905 @ 62.358 c NEW SOLUTION FOUND: 904 @ 62.474 c NEW SOLUTION FOUND: 903 @ 62.586 c NEW SOLUTION FOUND: 902 @ 62.644 c NEW SOLUTION FOUND: 901 @ 62.703 c NEW SOLUTION FOUND: 900 @ 62.762 c NEW SOLUTION FOUND: 899 @ 62.819 c NEW SOLUTION FOUND: 898 @ 62.875 c NEW SOLUTION FOUND: 897 @ 62.933 c NEW SOLUTION FOUND: 896 @ 62.988 c NEW SOLUTION FOUND: 895 @ 63.048 c NEW SOLUTION FOUND: 894 @ 63.105 c NEW SOLUTION FOUND: 893 @ 63.163 c NEW SOLUTION FOUND: 892 @ 63.222 c NEW SOLUTION FOUND: 891 @ 63.342 c NEW SOLUTION FOUND: 890 @ 63.454 c NEW SOLUTION FOUND: 889 @ 63.511 c NEW SOLUTION FOUND: 888 @ 63.569 c NEW SOLUTION FOUND: 887 @ 63.627 c NEW SOLUTION FOUND: 886 @ 63.739 c NEW SOLUTION FOUND: 885 @ 63.853 c NEW SOLUTION FOUND: 884 @ 63.909 c NEW SOLUTION FOUND: 883 @ 63.967 c NEW SOLUTION FOUND: 882 @ 64.028 c NEW SOLUTION FOUND: 881 @ 64.087 c NEW SOLUTION FOUND: 880 @ 64.205 c NEW SOLUTION FOUND: 879 @ 64.319 c NEW SOLUTION FOUND: 878 @ 64.381 c NEW SOLUTION FOUND: 877 @ 64.438 c NEW SOLUTION FOUND: 876 @ 64.495 c NEW SOLUTION FOUND: 875 @ 64.556 c NEW SOLUTION FOUND: 874 @ 64.615 c NEW SOLUTION FOUND: 873 @ 64.674 c NEW SOLUTION FOUND: 872 @ 64.733 c NEW SOLUTION FOUND: 871 @ 64.789 c NEW SOLUTION FOUND: 870 @ 64.844 c NEW SOLUTION FOUND: 869 @ 64.901 c NEW SOLUTION FOUND: 868 @ 64.959 c NEW SOLUTION FOUND: 867 @ 65.015 c NEW SOLUTION FOUND: 866 @ 65.072 c NEW SOLUTION FOUND: 865 @ 65.13 c NEW SOLUTION FOUND: 864 @ 65.19 c NEW SOLUTION FOUND: 863 @ 65.253 c NEW SOLUTION FOUND: 862 @ 65.37 c NEW SOLUTION FOUND: 861 @ 65.487 c NEW SOLUTION FOUND: 860 @ 65.546 c NEW SOLUTION FOUND: 859 @ 65.603 c NEW SOLUTION FOUND: 858 @ 65.661 c NEW SOLUTION FOUND: 857 @ 65.72 c NEW SOLUTION FOUND: 856 @ 65.78 c NEW SOLUTION FOUND: 855 @ 65.839 c NEW SOLUTION FOUND: 854 @ 65.902 c NEW SOLUTION FOUND: 853 @ 66.017 c NEW SOLUTION FOUND: 852 @ 66.131 c NEW SOLUTION FOUND: 851 @ 66.188 c NEW SOLUTION FOUND: 850 @ 66.249 c NEW SOLUTION FOUND: 849 @ 66.307 c NEW SOLUTION FOUND: 848 @ 66.365 c NEW SOLUTION FOUND: 847 @ 66.491 c NEW SOLUTION FOUND: 846 @ 66.601 c NEW SOLUTION FOUND: 845 @ 66.659 c NEW SOLUTION FOUND: 844 @ 66.717 c NEW SOLUTION FOUND: 843 @ 66.777 c NEW SOLUTION FOUND: 842 @ 66.832 c NEW SOLUTION FOUND: 841 @ 66.891 c NEW SOLUTION FOUND: 840 @ 66.948 c NEW SOLUTION FOUND: 839 @ 67.008 c NEW SOLUTION FOUND: 838 @ 67.067 c NEW SOLUTION FOUND: 837 @ 67.18 c NEW SOLUTION FOUND: 836 @ 67.239 c NEW SOLUTION FOUND: 835 @ 67.298 c NEW SOLUTION FOUND: 834 @ 67.419 c NEW SOLUTION FOUND: 833 @ 67.59 c NEW SOLUTION FOUND: 832 @ 67.649 c NEW SOLUTION FOUND: 831 @ 67.707 c NEW SOLUTION FOUND: 830 @ 67.765 c NEW SOLUTION FOUND: 829 @ 67.826 c NEW SOLUTION FOUND: 828 @ 67.885 c NEW SOLUTION FOUND: 827 @ 67.94 c NEW SOLUTION FOUND: 826 @ 67.998 c NEW SOLUTION FOUND: 825 @ 68.057 c NEW SOLUTION FOUND: 824 @ 68.117 c NEW SOLUTION FOUND: 823 @ 68.178 c NEW SOLUTION FOUND: 822 @ 68.237 c NEW SOLUTION FOUND: 821 @ 68.296 c NEW SOLUTION FOUND: 820 @ 68.354 c NEW SOLUTION FOUND: 819 @ 68.479 c NEW SOLUTION FOUND: 818 @ 68.591 c NEW SOLUTION FOUND: 817 @ 68.652 c NEW SOLUTION FOUND: 816 @ 68.708 c NEW SOLUTION FOUND: 815 @ 68.766 c NEW SOLUTION FOUND: 814 @ 68.826 c NEW SOLUTION FOUND: 813 @ 68.885 c NEW SOLUTION FOUND: 812 @ 69.005 c NEW SOLUTION FOUND: 811 @ 69.118 c NEW SOLUTION FOUND: 810 @ 69.234 c NEW SOLUTION FOUND: 809 @ 69.347 c NEW SOLUTION FOUND: 808 @ 69.406 c NEW SOLUTION FOUND: 807 @ 69.465 c NEW SOLUTION FOUND: 806 @ 69.528 c NEW SOLUTION FOUND: 805 @ 69.587 c NEW SOLUTION FOUND: 804 @ 69.648 c NEW SOLUTION FOUND: 803 @ 69.704 c NEW SOLUTION FOUND: 802 @ 69.763 c NEW SOLUTION FOUND: 801 @ 69.822 c NEW SOLUTION FOUND: 800 @ 69.88 c NEW SOLUTION FOUND: 799 @ 69.938 c NEW SOLUTION FOUND: 798 @ 69.997 c NEW SOLUTION FOUND: 797 @ 70.056 c NEW SOLUTION FOUND: 796 @ 70.115 c NEW SOLUTION FOUND: 795 @ 70.174 c NEW SOLUTION FOUND: 794 @ 70.234 c NEW SOLUTION FOUND: 793 @ 70.293 c NEW SOLUTION FOUND: 792 @ 70.352 c NEW SOLUTION FOUND: 791 @ 70.412 c NEW SOLUTION FOUND: 790 @ 70.472 c NEW SOLUTION FOUND: 789 @ 70.531 c NEW SOLUTION FOUND: 788 @ 70.59 c NEW SOLUTION FOUND: 787 @ 70.651 c NEW SOLUTION FOUND: 786 @ 70.71 c NEW SOLUTION FOUND: 785 @ 70.769 c NEW SOLUTION FOUND: 784 @ 70.829 c NEW SOLUTION FOUND: 783 @ 70.889 c NEW SOLUTION FOUND: 782 @ 70.95 c NEW SOLUTION FOUND: 781 @ 71.008 c NEW SOLUTION FOUND: 780 @ 71.066 c NEW SOLUTION FOUND: 779 @ 71.125 c NEW SOLUTION FOUND: 778 @ 71.186 c NEW SOLUTION FOUND: 777 @ 71.306 c NEW SOLUTION FOUND: 776 @ 71.423 c NEW SOLUTION FOUND: 775 @ 71.481 c NEW SOLUTION FOUND: 774 @ 71.598 c NEW SOLUTION FOUND: 773 @ 71.714 c NEW SOLUTION FOUND: 772 @ 71.834 c NEW SOLUTION FOUND: 771 @ 71.893 c NEW SOLUTION FOUND: 770 @ 71.952 c NEW SOLUTION FOUND: 769 @ 72.011 c NEW SOLUTION FOUND: 768 @ 72.069 c NEW SOLUTION FOUND: 767 @ 72.127 c NEW SOLUTION FOUND: 766 @ 72.186 c NEW SOLUTION FOUND: 765 @ 72.25 c NEW SOLUTION FOUND: 764 @ 72.313 c NEW SOLUTION FOUND: 763 @ 72.373 c NEW SOLUTION FOUND: 762 @ 72.434 c NEW SOLUTION FOUND: 761 @ 72.495 c NEW SOLUTION FOUND: 760 @ 72.553 c NEW SOLUTION FOUND: 759 @ 72.612 c NEW SOLUTION FOUND: 758 @ 72.67 c NEW SOLUTION FOUND: 757 @ 72.734 c NEW SOLUTION FOUND: 756 @ 72.793 c NEW SOLUTION FOUND: 755 @ 72.851 c NEW SOLUTION FOUND: 754 @ 72.91 c NEW SOLUTION FOUND: 753 @ 72.97 c NEW SOLUTION FOUND: 752 @ 73.029 c NEW SOLUTION FOUND: 751 @ 73.09 c NEW SOLUTION FOUND: 750 @ 73.149 c NEW SOLUTION FOUND: 749 @ 73.209 c NEW SOLUTION FOUND: 748 @ 73.268 c NEW SOLUTION FOUND: 747 @ 73.327 c NEW SOLUTION FOUND: 746 @ 73.386 c NEW SOLUTION FOUND: 745 @ 73.444 c NEW SOLUTION FOUND: 744 @ 73.503 c NEW SOLUTION FOUND: 743 @ 73.561 c NEW SOLUTION FOUND: 742 @ 73.683 c NEW SOLUTION FOUND: 741 @ 73.799 c NEW SOLUTION FOUND: 740 @ 73.856 c NEW SOLUTION FOUND: 739 @ 73.916 c NEW SOLUTION FOUND: 738 @ 73.975 c NEW SOLUTION FOUND: 737 @ 74.034 c NEW SOLUTION FOUND: 736 @ 74.154 c NEW SOLUTION FOUND: 735 @ 74.268 c NEW SOLUTION FOUND: 734 @ 74.327 c NEW SOLUTION FOUND: 733 @ 74.387 c NEW SOLUTION FOUND: 732 @ 74.447 c NEW SOLUTION FOUND: 731 @ 74.506 c NEW SOLUTION FOUND: 730 @ 74.564 c NEW SOLUTION FOUND: 729 @ 74.624 c NEW SOLUTION FOUND: 728 @ 74.685 c NEW SOLUTION FOUND: 727 @ 74.745 c NEW SOLUTION FOUND: 726 @ 74.806 c NEW SOLUTION FOUND: 725 @ 74.864 c NEW SOLUTION FOUND: 724 @ 74.923 c NEW SOLUTION FOUND: 723 @ 74.982 c NEW SOLUTION FOUND: 722 @ 75.041 c NEW SOLUTION FOUND: 721 @ 75.102 c NEW SOLUTION FOUND: 720 @ 75.162 c NEW SOLUTION FOUND: 719 @ 75.222 c NEW SOLUTION FOUND: 718 @ 75.282 c NEW SOLUTION FOUND: 717 @ 75.338 c NEW SOLUTION FOUND: 716 @ 75.399 c NEW SOLUTION FOUND: 715 @ 75.456 c NEW SOLUTION FOUND: 714 @ 75.515 c NEW SOLUTION FOUND: 713 @ 75.575 c NEW SOLUTION FOUND: 712 @ 75.634 c NEW SOLUTION FOUND: 711 @ 75.695 c NEW SOLUTION FOUND: 710 @ 75.754 c NEW SOLUTION FOUND: 709 @ 75.814 c NEW SOLUTION FOUND: 708 @ 75.873 c NEW SOLUTION FOUND: 707 @ 75.991 c NEW SOLUTION FOUND: 706 @ 76.05 c NEW SOLUTION FOUND: 705 @ 76.11 c NEW SOLUTION FOUND: 704 @ 76.168 c NEW SOLUTION FOUND: 703 @ 76.227 c NEW SOLUTION FOUND: 702 @ 76.287 c NEW SOLUTION FOUND: 701 @ 76.347 c NEW SOLUTION FOUND: 700 @ 76.407 c NEW SOLUTION FOUND: 699 @ 76.465 c NEW SOLUTION FOUND: 698 @ 76.525 c NEW SOLUTION FOUND: 697 @ 76.584 c NEW SOLUTION FOUND: 696 @ 76.644 c NEW SOLUTION FOUND: 695 @ 76.705 c NEW SOLUTION FOUND: 694 @ 76.766 c NEW SOLUTION FOUND: 693 @ 76.825 c NEW SOLUTION FOUND: 692 @ 76.884 c NEW SOLUTION FOUND: 691 @ 76.944 c NEW SOLUTION FOUND: 690 @ 77.006 c NEW SOLUTION FOUND: 689 @ 77.065 c NEW SOLUTION FOUND: 688 @ 77.126 c NEW SOLUTION FOUND: 687 @ 77.185 c NEW SOLUTION FOUND: 686 @ 77.245 c NEW SOLUTION FOUND: 685 @ 77.305 c NEW SOLUTION FOUND: 684 @ 77.365 c NEW SOLUTION FOUND: 683 @ 77.427 c NEW SOLUTION FOUND: 682 @ 77.486 c NEW SOLUTION FOUND: 681 @ 77.546 c NEW SOLUTION FOUND: 680 @ 77.605 c NEW SOLUTION FOUND: 679 @ 77.666 c NEW SOLUTION FOUND: 678 @ 77.726 c NEW SOLUTION FOUND: 677 @ 77.785 c NEW SOLUTION FOUND: 676 @ 77.906 c NEW SOLUTION FOUND: 675 @ 78.021 c NEW SOLUTION FOUND: 674 @ 78.081 c NEW SOLUTION FOUND: 673 @ 78.14 c NEW SOLUTION FOUND: 672 @ 78.2 c NEW SOLUTION FOUND: 671 @ 78.321 c NEW SOLUTION FOUND: 670 @ 78.434 c NEW SOLUTION FOUND: 669 @ 78.495 c NEW SOLUTION FOUND: 668 @ 78.554 c NEW SOLUTION FOUND: 667 @ 78.619 c NEW SOLUTION FOUND: 666 @ 78.68 c NEW SOLUTION FOUND: 665 @ 78.741 c NEW SOLUTION FOUND: 664 @ 78.802 c NEW SOLUTION FOUND: 663 @ 78.862 c NEW SOLUTION FOUND: 662 @ 78.922 c NEW SOLUTION FOUND: 661 @ 78.983 c NEW SOLUTION FOUND: 660 @ 79.041 c NEW SOLUTION FOUND: 659 @ 79.101 c NEW SOLUTION FOUND: 658 @ 79.162 c NEW SOLUTION FOUND: 657 @ 79.223 c NEW SOLUTION FOUND: 656 @ 79.283 c NEW SOLUTION FOUND: 655 @ 79.342 c NEW SOLUTION FOUND: 654 @ 79.399 c NEW SOLUTION FOUND: 653 @ 79.459 c NEW SOLUTION FOUND: 652 @ 79.52 c NEW SOLUTION FOUND: 651 @ 79.582 c NEW SOLUTION FOUND: 650 @ 79.644 c NEW SOLUTION FOUND: 649 @ 79.705 c NEW SOLUTION FOUND: 648 @ 79.765 c NEW SOLUTION FOUND: 647 @ 79.888 c NEW SOLUTION FOUND: 646 @ 80.005 c NEW SOLUTION FOUND: 645 @ 80.063 c NEW SOLUTION FOUND: 644 @ 80.122 c NEW SOLUTION FOUND: 643 @ 80.183 c NEW SOLUTION FOUND: 642 @ 80.242 c NEW SOLUTION FOUND: 641 @ 80.302 c NEW SOLUTION FOUND: 640 @ 80.363 c NEW SOLUTION FOUND: 639 @ 80.423 c NEW SOLUTION FOUND: 638 @ 80.483 c NEW SOLUTION FOUND: 637 @ 80.543 c NEW SOLUTION FOUND: 636 @ 80.604 c NEW SOLUTION FOUND: 635 @ 80.664 c NEW SOLUTION FOUND: 634 @ 80.723 c NEW SOLUTION FOUND: 633 @ 80.782 c NEW SOLUTION FOUND: 632 @ 80.902 c NEW SOLUTION FOUND: 631 @ 80.963 c NEW SOLUTION FOUND: 630 @ 81.024 c NEW SOLUTION FOUND: 629 @ 81.084 c NEW SOLUTION FOUND: 628 @ 81.144 c NEW SOLUTION FOUND: 627 @ 81.203 c NEW SOLUTION FOUND: 626 @ 81.265 c NEW SOLUTION FOUND: 625 @ 81.323 c NEW SOLUTION FOUND: 624 @ 81.382 c NEW SOLUTION FOUND: 623 @ 81.443 c NEW SOLUTION FOUND: 622 @ 81.501 c NEW SOLUTION FOUND: 621 @ 81.752 c NEW SOLUTION FOUND: 620 @ 81.874 c NEW SOLUTION FOUND: 619 @ 81.935 c NEW SOLUTION FOUND: 618 @ 82.001 c NEW SOLUTION FOUND: 617 @ 82.127 c NEW SOLUTION FOUND: 616 @ 82.251 c NEW SOLUTION FOUND: 615 @ 82.313 c NEW SOLUTION FOUND: 614 @ 82.44 c NEW SOLUTION FOUND: 613 @ 82.501 c NEW SOLUTION FOUND: 612 @ 82.628 c NEW SOLUTION FOUND: 611 @ 82.758 c NEW SOLUTION FOUND: 610 @ 82.885 c NEW SOLUTION FOUND: 609 @ 82.95 c NEW SOLUTION FOUND: 608 @ 83.015 c NEW SOLUTION FOUND: 607 @ 83.15 c NEW SOLUTION FOUND: 606 @ 83.217 c NEW SOLUTION FOUND: 605 @ 83.284 c NEW SOLUTION FOUND: 604 @ 83.351 c NEW SOLUTION FOUND: 603 @ 83.415 c NEW SOLUTION FOUND: 602 @ 83.483 c NEW SOLUTION FOUND: 601 @ 83.621 c NEW SOLUTION FOUND: 600 @ 83.75 c NEW SOLUTION FOUND: 599 @ 83.884 c NEW SOLUTION FOUND: 598 @ 84.011 c NEW SOLUTION FOUND: 597 @ 84.147 c NEW SOLUTION FOUND: 596 @ 84.215 c NEW SOLUTION FOUND: 595 @ 84.283 c NEW SOLUTION FOUND: 594 @ 84.354 c NEW SOLUTION FOUND: 593 @ 84.423 c NEW SOLUTION FOUND: 592 @ 84.494 c NEW SOLUTION FOUND: 591 @ 84.568 c NEW SOLUTION FOUND: 590 @ 84.636 c NEW SOLUTION FOUND: 589 @ 84.704 c NEW SOLUTION FOUND: 588 @ 84.771 c NEW SOLUTION FOUND: 587 @ 84.843 c NEW SOLUTION FOUND: 586 @ 84.913 c NEW SOLUTION FOUND: 585 @ 84.983 c NEW SOLUTION FOUND: 584 @ 85.051 c NEW SOLUTION FOUND: 583 @ 85.119 c NEW SOLUTION FOUND: 582 @ 85.19 c NEW SOLUTION FOUND: 581 @ 85.395 c NEW SOLUTION FOUND: 580 @ 85.606 c NEW SOLUTION FOUND: 579 @ 85.68 c NEW SOLUTION FOUND: 578 @ 85.753 c NEW SOLUTION FOUND: 577 @ 85.825 c NEW SOLUTION FOUND: 576 @ 85.969 c NEW SOLUTION FOUND: 575 @ 86.044 c NEW SOLUTION FOUND: 574 @ 86.116 c NEW SOLUTION FOUND: 573 @ 86.191 c NEW SOLUTION FOUND: 572 @ 86.267 c NEW SOLUTION FOUND: 571 @ 86.344 c NEW SOLUTION FOUND: 570 @ 86.494 c NEW SOLUTION FOUND: 569 @ 86.568 c NEW SOLUTION FOUND: 568 @ 86.648 c NEW SOLUTION FOUND: 567 @ 86.722 c NEW SOLUTION FOUND: 566 @ 86.796 c NEW SOLUTION FOUND: 565 @ 86.871 c NEW SOLUTION FOUND: 564 @ 86.945 c NEW SOLUTION FOUND: 563 @ 87.017 c NEW SOLUTION FOUND: 562 @ 87.092 c NEW SOLUTION FOUND: 561 @ 87.243 c NEW SOLUTION FOUND: 560 @ 87.32 c NEW SOLUTION FOUND: 559 @ 87.395 c NEW SOLUTION FOUND: 558 @ 87.473 c NEW SOLUTION FOUND: 557 @ 87.549 c NEW SOLUTION FOUND: 556 @ 87.708 c NEW SOLUTION FOUND: 555 @ 87.938 c NEW SOLUTION FOUND: 554 @ 88.092 c NEW SOLUTION FOUND: 553 @ 88.169 c NEW SOLUTION FOUND: 552 @ 88.25 c NEW SOLUTION FOUND: 551 @ 88.336 c NEW SOLUTION FOUND: 550 @ 88.413 c NEW SOLUTION FOUND: 549 @ 88.49 c NEW SOLUTION FOUND: 548 @ 88.566 c NEW SOLUTION FOUND: 547 @ 88.644 c NEW SOLUTION FOUND: 546 @ 88.72 c NEW SOLUTION FOUND: 545 @ 88.798 c NEW SOLUTION FOUND: 544 @ 88.878 c NEW SOLUTION FOUND: 543 @ 88.956 c NEW SOLUTION FOUND: 542 @ 89.193 c NEW SOLUTION FOUND: 541 @ 89.427 c NEW SOLUTION FOUND: 540 @ 89.51 c NEW SOLUTION FOUND: 539 @ 89.669 c NEW SOLUTION FOUND: 538 @ 89.75 c NEW SOLUTION FOUND: 537 @ 89.834 c NEW SOLUTION FOUND: 536 @ 89.913 c NEW SOLUTION FOUND: 535 @ 89.994 c NEW SOLUTION FOUND: 534 @ 90.075 c NEW SOLUTION FOUND: 533 @ 90.158 c NEW SOLUTION FOUND: 532 @ 90.322 c NEW SOLUTION FOUND: 531 @ 90.567 c NEW SOLUTION FOUND: 530 @ 90.65 c NEW SOLUTION FOUND: 529 @ 90.9 c NEW SOLUTION FOUND: 528 @ 91.059 c NEW SOLUTION FOUND: 527 @ 91.227 c NEW SOLUTION FOUND: 526 @ 91.399 c NEW SOLUTION FOUND: 525 @ 91.562 c NEW SOLUTION FOUND: 524 @ 91.644 c NEW SOLUTION FOUND: 523 @ 91.728 c NEW SOLUTION FOUND: 522 @ 91.811 c NEW SOLUTION FOUND: 521 @ 91.98 c NEW SOLUTION FOUND: 520 @ 92.067 c NEW SOLUTION FOUND: 519 @ 92.152 c NEW SOLUTION FOUND: 518 @ 92.327 c NEW SOLUTION FOUND: 517 @ 92.42 c NEW SOLUTION FOUND: 516 @ 92.51 c NEW SOLUTION FOUND: 515 @ 92.601 c NEW SOLUTION FOUND: 514 @ 92.692 c NEW SOLUTION FOUND: 513 @ 92.779 c NEW SOLUTION FOUND: 512 @ 92.959 c NEW SOLUTION FOUND: 511 @ 93.134 c NEW SOLUTION FOUND: 510 @ 93.219 c NEW SOLUTION FOUND: 509 @ 93.402 c NEW SOLUTION FOUND: 508 @ 93.575 c NEW SOLUTION FOUND: 507 @ 93.661 c NEW SOLUTION FOUND: 506 @ 93.749 c NEW SOLUTION FOUND: 505 @ 93.835 c NEW SOLUTION FOUND: 504 @ 94.02 c NEW SOLUTION FOUND: 503 @ 94.196 c NEW SOLUTION FOUND: 502 @ 94.367 c NEW SOLUTION FOUND: 501 @ 94.456 c NEW SOLUTION FOUND: 500 @ 94.543 c NEW SOLUTION FOUND: 499 @ 94.715 c NEW SOLUTION FOUND: 498 @ 94.801 c NEW SOLUTION FOUND: 497 @ 94.888 c NEW SOLUTION FOUND: 496 @ 94.979 c NEW SOLUTION FOUND: 495 @ 95.065 c NEW SOLUTION FOUND: 494 @ 95.249 c NEW SOLUTION FOUND: 493 @ 95.528 c NEW SOLUTION FOUND: 492 @ 95.713 c NEW SOLUTION FOUND: 491 @ 95.905 c NEW SOLUTION FOUND: 490 @ 96.176 c NEW SOLUTION FOUND: 489 @ 96.268 c NEW SOLUTION FOUND: 488 @ 96.362 c NEW SOLUTION FOUND: 487 @ 96.653 c NEW SOLUTION FOUND: 486 @ 96.934 c NEW SOLUTION FOUND: 485 @ 97.121 c NEW SOLUTION FOUND: 484 @ 97.312 c NEW SOLUTION FOUND: 483 @ 97.497 c NEW SOLUTION FOUND: 482 @ 97.589 c NEW SOLUTION FOUND: 481 @ 97.69 c NEW SOLUTION FOUND: 480 @ 97.884 c NEW SOLUTION FOUND: 479 @ 97.981 c NEW SOLUTION FOUND: 478 @ 98.083 c NEW SOLUTION FOUND: 477 @ 98.178 c NEW SOLUTION FOUND: 476 @ 98.276 c NEW SOLUTION FOUND: 475 @ 98.378 c NEW SOLUTION FOUND: 474 @ 98.481 c NEW SOLUTION FOUND: 473 @ 98.582 c NEW SOLUTION FOUND: 472 @ 98.683 c NEW SOLUTION FOUND: 471 @ 98.78 c NEW SOLUTION FOUND: 470 @ 98.98 c NEW SOLUTION FOUND: 469 @ 99.283 c NEW SOLUTION FOUND: 468 @ 99.484 c NEW SOLUTION FOUND: 467 @ 99.587 c NEW SOLUTION FOUND: 466 @ 99.69 c NEW SOLUTION FOUND: 465 @ 99.791 c NEW SOLUTION FOUND: 464 @ 99.895 c NEW SOLUTION FOUND: 463 @ 100.113 c NEW SOLUTION FOUND: 462 @ 100.222 c NEW SOLUTION FOUND: 461 @ 100.442 c NEW SOLUTION FOUND: 460 @ 100.785 c NEW SOLUTION FOUND: 459 @ 101.027 c NEW SOLUTION FOUND: 458 @ 101.136 c NEW SOLUTION FOUND: 457 @ 101.366 c NEW SOLUTION FOUND: 456 @ 101.488 c NEW SOLUTION FOUND: 455 @ 101.616 c NEW SOLUTION FOUND: 454 @ 101.987 c NEW SOLUTION FOUND: 453 @ 102.213 c NEW SOLUTION FOUND: 452 @ 102.332 c NEW SOLUTION FOUND: 451 @ 102.457 c NEW SOLUTION FOUND: 450 @ 102.58 c NEW SOLUTION FOUND: 449 @ 102.698 c NEW SOLUTION FOUND: 448 @ 102.813 c NEW SOLUTION FOUND: 447 @ 103.073 c NEW SOLUTION FOUND: 446 @ 103.485 c NEW SOLUTION FOUND: 445 @ 103.872 c NEW SOLUTION FOUND: 444 @ 104.127 c NEW SOLUTION FOUND: 443 @ 104.252 c NEW SOLUTION FOUND: 442 @ 104.511 c NEW SOLUTION FOUND: 441 @ 104.648 c NEW SOLUTION FOUND: 440 @ 104.786 c NEW SOLUTION FOUND: 439 @ 104.927 c NEW SOLUTION FOUND: 438 @ 105.073 c NEW SOLUTION FOUND: 437 @ 105.214 c NEW SOLUTION FOUND: 436 @ 105.642 c NEW SOLUTION FOUND: 435 @ 105.948 c NEW SOLUTION FOUND: 434 @ 106.094 c NEW SOLUTION FOUND: 433 @ 106.243 c NEW SOLUTION FOUND: 432 @ 106.545 c NEW SOLUTION FOUND: 431 @ 106.712 c NEW SOLUTION FOUND: 430 @ 106.859 c NEW SOLUTION FOUND: 429 @ 107.007 c NEW SOLUTION FOUND: 428 @ 107.476 c NEW SOLUTION FOUND: 427 @ 107.633 c NEW SOLUTION FOUND: 426 @ 107.795 c NEW SOLUTION FOUND: 425 @ 107.962 c NEW SOLUTION FOUND: 424 @ 108.133 c NEW SOLUTION FOUND: 423 @ 108.308 c NEW SOLUTION FOUND: 422 @ 108.671 c NEW SOLUTION FOUND: 421 @ 108.843 c NEW SOLUTION FOUND: 420 @ 109.015 c NEW SOLUTION FOUND: 419 @ 109.359 c NEW SOLUTION FOUND: 418 @ 110.223 c NEW SOLUTION FOUND: 417 @ 110.606 c NEW SOLUTION FOUND: 416 @ 111.196 c NEW SOLUTION FOUND: 415 @ 111.409 c NEW SOLUTION FOUND: 414 @ 112.507 c NEW SOLUTION FOUND: 413 @ 113.199 c NEW SOLUTION FOUND: 412 @ 113.684 c NEW SOLUTION FOUND: 411 @ 113.925 c NEW SOLUTION FOUND: 410 @ 114.428 c NEW SOLUTION FOUND: 409 @ 114.977 c NEW SOLUTION FOUND: 408 @ 115.533 c NEW SOLUTION FOUND: 407 @ 115.8 c NEW SOLUTION FOUND: 406 @ 116.093 c NEW SOLUTION FOUND: 405 @ 116.366 c NEW SOLUTION FOUND: 404 @ 116.938 c NEW SOLUTION FOUND: 403 @ 117.32 c NEW SOLUTION FOUND: 402 @ 118.197 c NEW SOLUTION FOUND: 401 @ 118.531 c NEW SOLUTION FOUND: 400 @ 119.565 c NEW SOLUTION FOUND: 399 @ 120.587 c NEW SOLUTION FOUND: 398 @ 121.878 c NEW SOLUTION FOUND: 397 @ 123.265 c NEW SOLUTION FOUND: 396 @ 124.599 c NEW SOLUTION FOUND: 395 @ 125.902 c NEW SOLUTION FOUND: 394 @ 126.188 c NEW SOLUTION FOUND: 393 @ 126.832 c NEW SOLUTION FOUND: 392 @ 127.53 c NEW SOLUTION FOUND: 391 @ 128.563 c NEW SOLUTION FOUND: 390 @ 129.926 c NEW SOLUTION FOUND: 389 @ 130.712 c NEW SOLUTION FOUND: 388 @ 132.72 c NEW SOLUTION FOUND: 387 @ 135.53 c NEW SOLUTION FOUND: 386 @ 139.823 c NEW SOLUTION FOUND: 385 @ 142.985 c NEW SOLUTION FOUND: 384 @ 143.491 c NEW SOLUTION FOUND: 383 @ 143.99 c NEW SOLUTION FOUND: 382 @ 144.557 c NEW SOLUTION FOUND: 381 @ 145.131 c NEW SOLUTION FOUND: 380 @ 149.541 c NEW SOLUTION FOUND: 379 @ 158.441 c NEW SOLUTION FOUND: 378 @ 166.254 c NEW SOLUTION FOUND: 377 @ 172.107 c NEW SOLUTION FOUND: 376 @ 178.019 c NEW SOLUTION FOUND: 375 @ 182.795 c NEW SOLUTION FOUND: 374 @ 190.413 c NEW SOLUTION FOUND: 373 @ 196.346 c NEW SOLUTION FOUND: 372 @ 203.4 c NEW SOLUTION FOUND: 371 @ 212.09 c NEW SOLUTION FOUND: 370 @ 215.839 c NEW SOLUTION FOUND: 369 @ 223.68 c NEW SOLUTION FOUND: 368 @ 229.745 c NEW SOLUTION FOUND: 367 @ 233.818 c NEW SOLUTION FOUND: 366 @ 240.663 c NEW SOLUTION FOUND: 365 @ 253.903 c NEW SOLUTION FOUND: 364 @ 327.75 c NEW SOLUTION FOUND: 363 @ 358.667 c NEW SOLUTION FOUND: 362 @ 389.774 c NEW SOLUTION FOUND: 361 @ 442.666 c NEW SOLUTION FOUND: 360 @ 600.29 c NEW SOLUTION FOUND: 359 @ 844.154 c NEW SOLUTION FOUND: 358 @ 879.309 c NEW SOLUTION FOUND: 357 @ 913.041 c NEW SOLUTION FOUND: 356 @ 966.3 c NEW SOLUTION FOUND: 355 @ 1005.64 s SATISFIABLE v x0 x1 -x2 -x3 x4 x5 -x6 -x7 x8 -x9 x10 x11 x12 -x13 -x14 x15 -x16 x17 x18 -x19 -x20 -x21 -x22 -x23 x24 x25 -x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 x44 x45 x46 -x47 -x48 -x49 x50 -x51 x52 -x53 x54 -x55 x56 -x57 -x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 x67 x68 x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 x94 x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 x104 -x105 x106 -x107 x108 x109 -x110 -x111 -x112 x113 -x114 -x115 x116 -x117 -x118 -x119 -x120 -x121 x122 x123 x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 x136 x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 -x146 -x147 x148 x149 -x150 -x151 -x152 -x153 x154 -x155 -x156 x157 x158 -x159 x160 -x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 x169 x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 x179 -x180 -x181 -x182 x183 -x184 x185 -x186 -x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 x210 x211 x212 x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 x227 x228 x229 x230 x231 x232 x233 x234 x235 -x236 -x237 -x238 x239 x240 -x241 x242 -x243 x244 -x245 x246 -x247 x248 -x249 x250 -x251 x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 x261 -x262 x263 -x264 x265 x266 -x267 x268 -x269 -x270 x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 x279 -x280 -x281 -x282 -x283 x284 -x285 x286 x287 -x288 -x289 x290 x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 x300 -x301 -x302 x303 -x304 -x305 -x306 -x307 x308 -x309 -x310 -x311 x312 x313 x314 -x315 -x316 -x317 -x318 x319 -x320 x321 -x322 x323 x324 x325 -x326 -x327 x328 -x329 -x330 x331 x332 -x333 x334 x335 -x336 -x337 x338 -x339 -x340 -x341 x342 -x343 -x344 -x345 -x346 -x347 -x348 x349 x350 -x351 -x352 -x353 x354 -x355 x356 -x357 -x358 -x359 x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 x380 x381 -x382 -x383 x384 -x385 x386 -x387 -x388 x389 x390 -x391 -x392 -x393 x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 x424 x425 x426 -x427 -x428 -x429 x430 x431 x432 -x433 -x434 -x435 x436 x437 x438 -x439 -x440 x441 x442 x443 -x444 x445 -x446 -x447 -x448 x449 -x450 -x451 -x452 x453 -x454 -x455 x456 -x457 -x458 -x459 x460 x461 x462 -x463 x464 -x465 -x466 x467 -x468 x469 x470 x471 x472 -x473 -x474 x475 -x476 -x477 x478 -x479 -x480 -x481 x482 x483 -x484 x485 x486 -x487 -x488 x489 -x490 x491 -x492 x493 -x494 x495 -x496 -x497 x498 -x499 x500 x501 -x502 -x503 x504 -x505 -x506 -x507 -x508 -x509 x510 -x511 x512 -x513 -x514 x515 -x516 -x517 x518 x519 x520 -x521 -x522 -x523 x524 -x525 -x526 x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 x548 -x549 -x550 x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 x559 -x560 -x561 -x562 -x563 x564 -x565 -x566 x567 -x568 -x569 x570 -x571 -x572 -x573 x574 -x575 x576 -x577 -x578 -x579 -x580 -x581 -x582 x583 x584 -x585 x586 -x587 -x588 -x589 -x590 -x591 x592 -x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 x603 -x604 -x605 -x606 -x607 x608 -x609 x610 x611 -x612 x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 x639 -x640 -x641 -x642 -x643 -x644 x645 x646 x647 x648 -x649 x650 -x651 x652 -x653 -x654 -x655 -x656 -x657 x658 -x659 -x660 -x661 x662 x663 x664 -x665 -x666 -x667 -x668 x669 -x670 x671 -x672 -x673 -x674 -x675 x676 -x677 -x678 x679 x680 x681 -x682 x683 -x684 x685 -x686 x687 -x688 x689 x690 -x691 -x692 x693 -x694 -x695 -x696 x697 -x698 x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 x709 -x710 -x711 -x712 x713 x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 x724 x725 x726 -x727 x728 x729 -x730 -x731 x732 -x733 x734 -x735 -x736 -x737 x738 x739 -x740 -x741 -x742 -x743 -x744 x745 -x746 -x747 x748 x749 -x750 -x751 x752 -x753 x754 -x755 -x756 x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 x765 -x766 -x767 -x768 -x769 -x770 x771 -x772 -x773 -x774 x775 x776 -x777 -x778 x779 x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794 -x795 x796 -x797 x798 -x799 -x800 -x801 -x802 -x803 -x804 -x805 -x806 -x807 x808 -x809 -x810 -x811 -x812 -x813 -x814 x815 x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 -x825 -x826 -x827 -x828 x829 -x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 -x847 -x848 x849 -x850 -x851 -x852 x853 -x854 -x855 -x856 -x857 -x858 x859 -x860 -x861 -x862 -x863 -x864 x865 x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 -x874 x875 -x876 -x877 -x878 -x879 -x880 -x881 -x882 -x883 -x884 x885 x886 -x887 -x888 -x889 x890 x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 x902 -x903 -x904 -x905 x906 -x907 -x908 -x909 -x910 -x911 -x912 x913 -x914 x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 x923 x924 -x925 x926 x927 -x928 -x929 -x930 x931 x932 -x933 -x934 -x935 x936 -x937 x938 -x939 -x940 x941 -x942 -x943 x944 -x945 -x946 -x947 x948 -x949 -x950 -x951 -x952 -x953 -x954 -x955 -x956 -x957 x958 -x959 -x960 x961 -x962 -x963 x964 -x965 -x966 -x967 -x968 -x969 x970 x971 -x972 -x973 -x974 -x975 -x976 -x977 x978 -x979 -x980 -x981 -x982 -x983 x984 -x985 x986 -x987 -x988 -x989 -x990 -x991 -x992 x993 -x994 -x995 -x996 x997 -x998 -x999 -x1000 x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 -x1014 -x1015 -x1016 -x1017 -x1018 -x1019 -x1020 -x1021 -x1022 -x1023 -x1024 x1025 -x1026 -x1027 -x1028 -x1029 -x1030 -x1031 -x1032 -x1033 -x1034 -x1035 -x1036 -x1037 -x1038 -x1039 -x1040 x1041 -x1042 -x1043 -x1044 -x1045 -x1046 -x1047 -x1048 -x1049 -x1050 -x1051 -x1052 -x1053 -x1054 -x1055 x1056 -x1057 -x1058 -x1059 -x1060 -x1061 -x1062 -x1063 -x1064 x1065 -x1066 -x1067 -x1068 -x1069 -x1070 -x1071 x1072 -x1073 -x1074 -x1075 x1076 -x1077 -x1078 -x1079 -x1080 -x1081 -x1082 -x1083 x1084 -x1085 -x1086 -x1087 -x1088 -x1089 -x1090 -x1091 x1092 -x1093 -x1094 -x1095 -x1096 -x1097 -x1098 -x1099 -x1100 -x1101 -x1102 -x1103 -x1104 -x1105 -x1106 x1107 -x1108 -x1109 -x1110 -x1111 -x1112 -x1113 -x1114 -x1115 x1116 -x1117 -x1118 -x1119 -x1120 -x1121 -x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 -x1129 -x1130 x1131 -x1132 x1133 x1134 -x1135 x1136 -x1137 -x1138 -x1139 -x1140 -x1141 -x1142 -x1143 x1144 x1145 -x1146 -x1147 -x1148 -x1149 -x1150 -x1151 -x1152 -x1153 x1154 -x1155 -x1156 -x1157 -x1158 -x1159 -x1160 -x1161 x1162 x1163 -x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 -x1171 x1172 -x1173 -x1174 -x1175 -x1176 -x1177 -x1178 -x1179 -x1180 -x1181 -x1182 x1183 x1184 -x1185 -x1186 -x1187 -x1188 -x1189 -x1190 x1191 -x1192 -x1193 -x1194 -x1195 -x1196 -x1197 x1198 x1199 x1200 x1201 -x1202 -x1203 -x1204 -x1205 -x1206 -x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 -x1214 -x1215 -x1216 -x1217 x1218 -x1219 x1220 -x1221 -x1222 -x1223 -x1224 -x1225 -x1226 -x1227 x1228 x1229 -x1230 -x1231 -x1232 x1233 -x1234 -x1235 -x1236 -x1237 -x1238 -x1239 -x1240 x1241 -x1242 x1243 x1244 -x1245 -x1246 -x1247 -x1248 -x1249 -x1250 -x1251 x1252 -x1253 -x1254 -x1255 -x1256 -x1257 -x1258 -x1259 -x1260 -x1261 -x1262 -x1263 -x1264 -x1265 -x1266 -x1267 -x1268 -x1269 x1270 -x1271 -x1272 -x1273 -x1274 -x1275 x1276 -x1277 -x1278 -x1279 -x1280 -x1281 -x1282 -x1283 -x1284 x1285 -x1286 -x1287 x1288 -x1289 -x1290 -x1291 -x1292 x1293 -x1294 -x1295 -x1296 -x1297 -x1298 -x1299 -x1300 -x1301 -x1302 -x1303 -x1304 -x1305 -x1306 x1307 -x1308 -x1309 -x1310 x1311 -x1312 -x1313 x1314 -x1315 -x1316 -x1317 -x1318 -x1319 x1320 -x1321 -x1322 -x1323 -x1324 -x1325 -x1326 -x1327 -x1328 -x1329 -x1330 -x1331 -x1332 -x1333 -x1334 -x1335 -x1336 -x1337 -x1338 -x1339 -x1340 -x1341 -x1342 -x1343 x1344 -x1345 -x1346 -x1347 -x1348 -x1349 -x1350 -x1351 -x1352 -x1353 -x1354 -x1355 -x1356 -x1357 -x1358 -x1359 -x1360 -x1361 -x1362 -x1363 -x1364 -x1365 -x1366 -x1367 -x1368 -x1369 -x1370 -x1371 c Exit Code: 10 c Total time: 1179.69 s #### 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.95 0.90 1/54 2402 Raw data (stat): 2402 (runsolver) R 2401 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906841804 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.0007 s] Raw data (loadavg): 0.93 0.95 0.90 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 3901 0 0 0 986 11 0 0 25 0 1 0 906841804 17223680 3316 4294967295 134512640 134716908 3221224576 3221220992 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4205 3316 1111 63 0 4142 0 vsize: 16820 [startup+20.0015 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 4044 0 0 0 1985 11 0 0 25 0 1 0 906841804 17780736 3459 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4341 3459 1111 63 0 4278 0 vsize: 17364 [startup+30.002 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 5982 0 0 0 2980 17 0 0 25 0 1 0 906841804 18825216 3358 4294967295 134512640 134716908 3221224576 3221220752 1074799491 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4596 3358 1111 63 0 4533 0 vsize: 18384 [startup+40.0029 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 8460 0 0 0 3973 24 0 0 25 0 1 0 906841804 18169856 3449 4294967295 134512640 134716908 3221224576 3221221552 1074867285 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4436 3449 1111 63 0 4373 0 vsize: 17744 [startup+50.0044 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 11661 0 0 0 4961 36 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222992 1074116576 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+60.0036 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 32694 0 0 0 5902 95 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222320 1075640488 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+70.005 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 55358 0 0 0 6842 154 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+80.0055 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 77639 0 0 0 7786 210 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222544 1074051522 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+90.0062 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 97346 0 0 0 8735 261 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222928 1074115241 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+100.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 112993 0 0 0 9691 305 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221221680 1074138636 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+110.006 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 123604 0 0 0 10662 334 0 0 25 0 1 0 906841804 14254080 2791 4294967295 134512640 134716908 3221224576 3221222976 1074153753 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3480 2791 1111 63 0 3417 0 vsize: 13920 [startup+120.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 136149 0 0 0 11628 368 0 0 25 0 1 0 906841804 14254080 2796 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3480 2796 1111 63 0 3417 0 vsize: 13920 [startup+130.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 140483 0 0 0 12617 379 0 0 25 0 1 0 906841804 14249984 2803 4294967295 134512640 134716908 3221224576 3221222928 1074153767 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3479 2803 1111 63 0 3416 0 vsize: 13916 [startup+140.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 144948 0 0 0 13603 393 0 0 25 0 1 0 906841804 14401536 2840 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3516 2840 1111 63 0 3453 0 vsize: 14064 [startup+150.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 2402 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 148361 0 0 0 14593 404 0 0 25 0 1 0 906841804 17907712 2961 4294967295 134512640 134716908 3221224576 3221220452 1074786588 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4372 2961 1111 63 0 4309 0 vsize: 17488 [startup+160.008 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 152656 0 0 0 15580 416 0 0 25 0 1 0 906841804 14483456 2860 4294967295 134512640 134716908 3221224576 3221222792 1074138166 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3536 2860 1111 63 0 3473 0 vsize: 14144 [startup+170.009 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 157582 0 0 0 16567 429 0 0 25 0 1 0 906841804 18059264 3003 4294967295 134512640 134716908 3221224576 3221220736 1074794542 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4409 3003 1111 63 0 4346 0 vsize: 17636 [startup+180.01 s] Raw data (loadavg): 1.05 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 162820 0 0 0 17553 444 0 0 25 0 1 0 906841804 18132992 3034 4294967295 134512640 134716908 3221224576 3221220380 1074787525 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4427 3034 1111 63 0 4364 0 vsize: 17708 [startup+190.011 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 167796 0 0 0 18539 458 0 0 25 0 1 0 906841804 14725120 2919 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3595 2919 1111 63 0 3532 0 vsize: 14380 [startup+200.012 s] Raw data (loadavg): 1.04 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 172133 0 0 0 19527 470 0 0 25 0 1 0 906841804 15106048 2980 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3688 2980 1111 63 0 3625 0 vsize: 14752 [startup+210.012 s] Raw data (loadavg): 1.03 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 175729 0 0 0 20516 481 0 0 25 0 1 0 906841804 18386944 3115 4294967295 134512640 134716908 3221224576 3221220728 1074883050 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4489 3115 1111 63 0 4426 0 vsize: 17956 [startup+220.013 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 179312 0 0 0 21508 490 0 0 25 0 1 0 906841804 18530304 3131 4294967295 134512640 134716908 3221224576 3221220660 1075964390 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4524 3131 1111 63 0 4461 0 vsize: 18096 [startup+230.013 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 2455 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 183583 0 0 0 22495 503 0 0 25 0 1 0 906841804 15032320 2994 4294967295 134512640 134716908 3221224576 3221222976 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3670 2994 1111 63 0 3607 0 vsize: 14680 [startup+240.014 s] Raw data (loadavg): 1.02 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 187621 0 0 0 23485 513 0 0 25 0 1 0 906841804 15347712 3055 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3747 3055 1111 63 0 3684 0 vsize: 14988 [startup+250.015 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 191680 0 0 0 24475 523 0 0 25 0 1 0 906841804 15499264 3076 4294967295 134512640 134716908 3221224576 3221222964 1077374210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3784 3076 1111 63 0 3721 0 vsize: 15136 [startup+260.015 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 196596 0 0 0 25462 537 0 0 25 0 1 0 906841804 15613952 3104 4294967295 134512640 134716908 3221224576 3221222876 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3812 3104 1111 63 0 3749 0 vsize: 15248 [startup+270.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 200361 0 0 0 26453 546 0 0 25 0 1 0 906841804 15458304 3098 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3774 3098 1111 63 0 3711 0 vsize: 15096 [startup+280.015 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 204570 0 0 0 27442 557 0 0 25 0 1 0 906841804 15298560 3059 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3735 3059 1111 63 0 3672 0 vsize: 14940 [startup+290.016 s] Raw data (loadavg): 1.01 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 209014 0 0 0 28430 569 0 0 25 0 1 0 906841804 15708160 3139 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3835 3139 1111 63 0 3772 0 vsize: 15340 [startup+300.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 213804 0 0 0 29418 581 0 0 25 0 1 0 906841804 15982592 3167 4294967295 134512640 134716908 3221224576 3221222224 1075818295 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3902 3167 1111 63 0 3839 0 vsize: 15608 [startup+310.017 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 218325 0 0 0 30407 592 0 0 25 0 1 0 906841804 19308544 3335 4294967295 134512640 134716908 3221224576 3221220736 1074794472 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4714 3335 1111 63 0 4651 0 vsize: 18856 [startup+320.018 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 222201 0 0 0 31398 602 0 0 25 0 1 0 906841804 16076800 3217 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3217 1111 63 0 3862 0 vsize: 15700 [startup+330.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 225870 0 0 0 32387 612 0 0 25 0 1 0 906841804 19357696 3351 4294967295 134512640 134716908 3221224576 3221220804 1075114984 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4726 3351 1111 63 0 4663 0 vsize: 18904 [startup+340.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 229918 0 0 0 33377 624 0 0 25 0 1 0 906841804 16093184 3221 4294967295 134512640 134716908 3221224576 3221221680 1074138626 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3929 3221 1111 63 0 3866 0 vsize: 15716 [startup+350.019 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 234441 0 0 0 34365 636 0 0 25 0 1 0 906841804 15806464 3183 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3859 3183 1111 63 0 3796 0 vsize: 15436 [startup+360.02 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 238593 0 0 0 35353 647 0 0 25 0 1 0 906841804 19431424 3372 4294967295 134512640 134716908 3221224576 3221220848 1074801958 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4744 3372 1111 63 0 4681 0 vsize: 18976 [startup+370.021 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 243123 0 0 0 36340 660 0 0 25 0 1 0 906841804 19542016 3427 4294967295 134512640 134716908 3221224576 3221221500 1075113299 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4771 3427 1111 63 0 4708 0 vsize: 19084 [startup+380.022 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 247549 0 0 0 37330 670 0 0 25 0 1 0 906841804 18571264 3521 4294967295 134512640 134716908 3221224576 3221220512 1075965240 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4534 3521 1111 63 0 4471 0 vsize: 18136 [startup+390.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 252733 0 0 0 38317 683 0 0 25 0 1 0 906841804 15970304 3198 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3899 3198 1111 63 0 3836 0 vsize: 15596 [startup+400.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 257107 0 0 0 39308 693 0 0 25 0 1 0 906841804 16404480 3297 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4005 3297 1111 63 0 3942 0 vsize: 16020 [startup+410.023 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 262010 0 0 0 40296 704 0 0 25 0 1 0 906841804 19845120 3461 4294967295 134512640 134716908 3221224576 3221220848 1074960958 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4845 3461 1111 63 0 4782 0 vsize: 19380 [startup+420.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 266130 0 0 0 41284 716 0 0 25 0 1 0 906841804 19771392 3463 4294967295 134512640 134716908 3221224576 3221220704 1075561218 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4827 3463 1111 63 0 4764 0 vsize: 19308 [startup+430.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 271214 0 0 0 42271 729 0 0 25 0 1 0 906841804 16076800 3249 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3925 3249 1111 63 0 3862 0 vsize: 15700 [startup+440.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 274880 0 0 0 43262 739 0 0 25 0 1 0 906841804 19865600 3519 4294967295 134512640 134716908 3221224576 3221221112 1075084405 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4850 3519 1111 63 0 4787 0 vsize: 19400 [startup+450.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 277963 0 0 0 44255 746 0 0 25 0 1 0 906841804 16572416 3352 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4046 3352 1111 63 0 3983 0 vsize: 16184 [startup+460.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 282134 0 0 0 45246 756 0 0 25 0 1 0 906841804 20119552 3560 4294967295 134512640 134716908 3221224576 3221220960 1074972319 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4912 3560 1111 63 0 4849 0 vsize: 19648 [startup+470.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 286182 0 0 0 46235 767 0 0 25 0 1 0 906841804 20041728 3561 4294967295 134512640 134716908 3221224576 3221221016 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4893 3561 1111 63 0 4830 0 vsize: 19572 [startup+480.024 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2457 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 290072 0 0 0 47224 778 0 0 25 0 1 0 906841804 16302080 3304 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3980 3304 1111 63 0 3917 0 vsize: 15920 [startup+490.025 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 294361 0 0 0 48212 790 0 0 25 0 1 0 906841804 16859136 3408 4294967295 134512640 134716908 3221224576 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4116 3408 1111 63 0 4053 0 vsize: 16464 [startup+500.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 299242 0 0 0 49199 803 0 0 25 0 1 0 906841804 19931136 3508 4294967295 134512640 134716908 3221224576 3221221580 1074621127 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4866 3508 1111 63 0 4803 0 vsize: 19464 [startup+510.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 303711 0 0 0 50186 817 0 0 25 0 1 0 906841804 16977920 3437 4294967295 134512640 134716908 3221224576 3221222856 1074138316 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4145 3437 1111 63 0 4082 0 vsize: 16580 [startup+520.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 308371 0 0 0 51172 830 0 0 25 0 1 0 906841804 16613376 3356 4294967295 134512640 134716908 3221224576 3221222928 1074153815 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4056 3356 1111 63 0 3993 0 vsize: 16224 [startup+530.026 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 312956 0 0 0 52160 842 0 0 25 0 1 0 906841804 16650240 3389 4294967295 134512640 134716908 3221224576 3221223216 134651140 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4065 3389 1111 63 0 4002 0 vsize: 16260 [startup+540.027 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 317438 0 0 0 53149 854 0 0 25 0 1 0 906841804 16965632 3460 4294967295 134512640 134716908 3221224576 3221222976 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4142 3460 1111 63 0 4079 0 vsize: 16568 [startup+550.028 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 322049 0 0 0 54137 866 0 0 25 0 1 0 906841804 20357120 3608 4294967295 134512640 134716908 3221224576 3221220488 1074788443 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4970 3608 1111 63 0 4907 0 vsize: 19880 [startup+560.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 326719 0 0 0 55126 877 0 0 25 0 1 0 906841804 16683008 3366 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4073 3366 1111 63 0 4010 0 vsize: 16292 [startup+570.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 331467 0 0 0 56115 888 0 0 25 0 1 0 906841804 20541440 3655 4294967295 134512640 134716908 3221224576 3221220780 1075564289 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5015 3655 1111 63 0 4952 0 vsize: 20060 [startup+580.029 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 335926 0 0 0 57102 902 0 0 25 0 1 0 906841804 17186816 3481 4294967295 134512640 134716908 3221224576 3221222648 1077378064 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4196 3481 1111 63 0 4133 0 vsize: 16784 [startup+590.03 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 339838 0 0 0 58091 913 0 0 25 0 1 0 906841804 17301504 3516 4294967295 134512640 134716908 3221224576 3221223056 1074031960 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4224 3516 1111 63 0 4161 0 vsize: 16896 [startup+600.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 343768 0 0 0 59082 923 0 0 25 0 1 0 906841804 17244160 3526 4294967295 134512640 134716908 3221224576 3221222728 1074950114 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4210 3526 1111 63 0 4147 0 vsize: 16840 [startup+610.031 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 348561 0 0 0 60069 935 0 0 25 0 1 0 906841804 17068032 3491 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4167 3491 1111 63 0 4104 0 vsize: 16668 [startup+620.032 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 352211 0 0 0 61059 945 0 0 25 0 1 0 906841804 20713472 3730 4294967295 134512640 134716908 3221224576 3221220780 1075564184 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5057 3730 1111 63 0 4994 0 vsize: 20228 [startup+630.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 355790 0 0 0 62050 955 0 0 25 0 1 0 906841804 17162240 3514 4294967295 134512640 134716908 3221224576 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 3514 1111 63 0 4127 0 vsize: 16760 [startup+640.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 359750 0 0 0 63040 965 0 0 25 0 1 0 906841804 17162240 3514 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4190 3514 1111 63 0 4127 0 vsize: 16760 [startup+650.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 363439 0 0 0 64030 975 0 0 25 0 1 0 906841804 19931136 3842 4294967295 134512640 134716908 3221224576 3221220512 1075965301 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4866 3842 1111 63 0 4803 0 vsize: 19464 [startup+660.033 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 367294 0 0 0 65021 984 0 0 25 0 1 0 906841804 17547264 3608 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4284 3608 1111 63 0 4221 0 vsize: 17136 [startup+670.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 371409 0 0 0 66011 994 0 0 25 0 1 0 906841804 17170432 3516 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4192 3516 1111 63 0 4129 0 vsize: 16768 [startup+680.034 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 375505 0 0 0 66999 1006 0 0 25 0 1 0 906841804 17547264 3601 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4284 3601 1111 63 0 4221 0 vsize: 17136 [startup+690.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 379699 0 0 0 67989 1017 0 0 25 0 1 0 906841804 17588224 3612 4294967295 134512640 134716908 3221224576 3221222616 1077378266 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4294 3612 1111 63 0 4231 0 vsize: 17176 [startup+700.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 384069 0 0 0 68979 1027 0 0 25 0 1 0 906841804 21118976 3809 4294967295 134512640 134716908 3221224576 3221221504 1075960263 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5156 3809 1111 63 0 5093 0 vsize: 20624 [startup+710.035 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 389140 0 0 0 69966 1040 0 0 25 0 1 0 906841804 21053440 4133 4294967295 134512640 134716908 3221224576 3221220688 1075895679 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5140 4133 1111 63 0 5077 0 vsize: 20560 [startup+720.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 393202 0 0 0 70956 1051 0 0 25 0 1 0 906841804 17805312 3639 4294967295 134512640 134716908 3221224576 3221222912 1074153663 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4347 3639 1111 63 0 4284 0 vsize: 17388 [startup+730.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 396979 0 0 0 71946 1060 0 0 25 0 1 0 906841804 21131264 3849 4294967295 134512640 134716908 3221224576 3221220472 1074789701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5159 3849 1111 63 0 5096 0 vsize: 20636 [startup+740.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 401576 0 0 0 72933 1074 0 0 25 0 1 0 906841804 20258816 3922 4294967295 134512640 134716908 3221224576 3221220540 1074788149 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4946 3922 1111 63 0 4883 0 vsize: 19784 [startup+750.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 405715 0 0 0 73922 1084 0 0 25 0 1 0 906841804 17367040 3564 4294967295 134512640 134716908 3221224576 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4240 3564 1111 63 0 4177 0 vsize: 16960 [startup+760.036 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 410120 0 0 0 74911 1096 0 0 25 0 1 0 906841804 17367040 3564 4294967295 134512640 134716908 3221224576 3221222960 1074153760 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4240 3564 1111 63 0 4177 0 vsize: 16960 [startup+770.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 414875 0 0 0 75901 1106 0 0 25 0 1 0 906841804 17944576 3703 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4381 3703 1111 63 0 4318 0 vsize: 17524 [startup+780.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 418800 0 0 0 76890 1118 0 0 25 0 1 0 906841804 18022400 3722 4294967295 134512640 134716908 3221224576 3221223024 134606501 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4400 3722 1111 63 0 4337 0 vsize: 17600 [startup+790.037 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 422939 0 0 0 77879 1129 0 0 25 0 1 0 906841804 18018304 3709 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4399 3709 1111 63 0 4336 0 vsize: 17596 [startup+800.038 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 427421 0 0 0 78868 1140 0 0 25 0 1 0 906841804 17997824 3712 4294967295 134512640 134716908 3221224576 3221222912 1074153786 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4394 3712 1111 63 0 4331 0 vsize: 17576 [startup+810.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 431181 0 0 0 79860 1148 0 0 25 0 1 0 906841804 21569536 3926 4294967295 134512640 134716908 3221224576 3221220668 1075663510 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5266 3926 1111 63 0 5203 0 vsize: 21064 [startup+820.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 435616 0 0 0 80848 1160 0 0 25 0 1 0 906841804 21639168 3913 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5283 3913 1111 63 0 5220 0 vsize: 21132 [startup+830.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 439787 0 0 0 81838 1171 0 0 25 0 1 0 906841804 18165760 3728 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4435 3728 1111 63 0 4372 0 vsize: 17740 [startup+840.039 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 445330 0 0 0 82824 1184 0 0 25 0 1 0 906841804 21590016 3965 4294967295 134512640 134716908 3221224576 3221220512 1075965246 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5271 3965 1111 63 0 5208 0 vsize: 21084 [startup+850.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 449767 0 0 0 83813 1195 0 0 25 0 1 0 906841804 20733952 4041 4294967295 134512640 134716908 3221224576 3221221168 1074888099 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5062 4041 1111 63 0 4999 0 vsize: 20248 [startup+860.04 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 454830 0 0 0 84801 1208 0 0 25 0 1 0 906841804 21684224 3963 4294967295 134512640 134716908 3221224576 3221220804 1075115060 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5294 3963 1111 63 0 5231 0 vsize: 21176 [startup+870.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 459713 0 0 0 85790 1219 0 0 25 0 1 0 906841804 21884928 4016 4294967295 134512640 134716908 3221224576 3221220472 1074789701 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5343 4016 1111 63 0 5280 0 vsize: 21372 [startup+880.041 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 464534 0 0 0 86777 1232 0 0 25 0 1 0 906841804 21712896 3969 4294967295 134512640 134716908 3221224576 3221220804 1075115125 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5301 3969 1111 63 0 5238 0 vsize: 21204 [startup+890.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 469403 0 0 0 87766 1243 0 0 25 0 1 0 906841804 20770816 4080 4294967295 134512640 134716908 3221224576 3221221120 1075088581 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5071 4080 1111 63 0 5008 0 vsize: 20284 [startup+900.042 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 474425 0 0 0 88754 1255 0 0 25 0 1 0 906841804 18190336 3765 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4441 3765 1111 63 0 4378 0 vsize: 17764 [startup+910.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 479436 0 0 0 89743 1267 0 0 25 0 1 0 906841804 18857984 3858 4294967295 134512640 134716908 3221224576 3221222304 1075828254 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4604 3858 1111 63 0 4541 0 vsize: 18416 [startup+920.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 484814 0 0 0 90730 1280 0 0 25 0 1 0 906841804 18112512 3746 4294967295 134512640 134716908 3221224576 3221222828 1074064528 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4422 3746 1111 63 0 4359 0 vsize: 17688 [startup+930.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 489871 0 0 0 91718 1292 0 0 25 0 1 0 906841804 18112512 3746 4294967295 134512640 134716908 3221224576 3221222864 1074153800 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4422 3746 1111 63 0 4359 0 vsize: 17688 [startup+940.043 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 494299 0 0 0 92706 1304 0 0 25 0 1 0 906841804 18735104 3863 4294967295 134512640 134716908 3221224576 3221222572 1074788953 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4574 3863 1111 63 0 4511 0 vsize: 18296 [startup+950.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 499815 0 0 0 93693 1318 0 0 25 0 1 0 906841804 18710528 3890 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4568 3890 1111 63 0 4505 0 vsize: 18272 [startup+960.044 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 504819 0 0 0 94681 1330 0 0 25 0 1 0 906841804 21004288 4145 4294967295 134512640 134716908 3221224576 3221221616 1075860013 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5128 4145 1111 63 0 5065 0 vsize: 20512 [startup+970.045 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 509740 0 0 0 95668 1343 0 0 25 0 1 0 906841804 21229568 4166 4294967295 134512640 134716908 3221224576 3221220640 1075084533 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5183 4166 1111 63 0 5120 0 vsize: 20732 [startup+980.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 515034 0 0 0 96655 1356 0 0 25 0 1 0 906841804 21102592 4173 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5152 4173 1111 63 0 5089 0 vsize: 20608 [startup+990.046 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 518931 0 0 0 97644 1367 0 0 25 0 1 0 906841804 18796544 3895 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4589 3895 1111 63 0 4526 0 vsize: 18356 [startup+1000.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 524311 0 0 0 98631 1380 0 0 25 0 1 0 906841804 18624512 3864 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4547 3864 1111 63 0 4484 0 vsize: 18188 [startup+1010.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 529403 0 0 0 99619 1392 0 0 25 0 1 0 906841804 18407424 3795 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4494 3795 1111 63 0 4431 0 vsize: 17976 [startup+1020.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 534184 0 0 0 100606 1406 0 0 25 0 1 0 906841804 22417408 4143 4294967295 134512640 134716908 3221224576 3221220784 1076079627 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5473 4143 1111 63 0 5410 0 vsize: 21892 [startup+1030.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 537981 0 0 0 101596 1416 0 0 25 0 1 0 906841804 21245952 4206 4294967295 134512640 134716908 3221224576 3221221152 1076043346 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5187 4206 1111 63 0 5124 0 vsize: 20748 [startup+1040.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 541991 0 0 0 102586 1427 0 0 25 0 1 0 906841804 18944000 3932 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4625 3932 1111 63 0 4562 0 vsize: 18500 [startup+1050.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 546164 0 0 0 103575 1437 0 0 25 0 1 0 906841804 18976768 3941 4294967295 134512640 134716908 3221224576 3221222840 1073987077 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4633 3941 1111 63 0 4570 0 vsize: 18532 [startup+1060.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 550695 0 0 0 104565 1448 0 0 25 0 1 0 906841804 19132416 3963 4294967295 134512640 134716908 3221224576 3221222728 1074950117 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4671 3963 1111 63 0 4608 0 vsize: 18684 [startup+1070.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 555030 0 0 0 105553 1459 0 0 25 0 1 0 906841804 18505728 3820 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4518 3820 1111 63 0 4455 0 vsize: 18072 [startup+1080.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 559453 0 0 0 106542 1471 0 0 25 0 1 0 906841804 21446656 4259 4294967295 134512640 134716908 3221224576 3221220848 1074960847 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5236 4259 1111 63 0 5173 0 vsize: 20944 [startup+1090.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 563544 0 0 0 107532 1481 0 0 25 0 1 0 906841804 22474752 4155 4294967295 134512640 134716908 3221224576 3221220648 1074950210 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5487 4155 1111 63 0 5424 0 vsize: 21948 [startup+1100.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 567748 0 0 0 108519 1494 0 0 25 0 1 0 906841804 19075072 3948 4294967295 134512640 134716908 3221224576 3221222864 1073987029 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4657 3948 1111 63 0 4594 0 vsize: 18628 [startup+1110.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 572281 0 0 0 109508 1505 0 0 25 0 1 0 906841804 22478848 4139 4294967295 134512640 134716908 3221224576 3221220912 1075113493 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5488 4139 1111 63 0 5425 0 vsize: 21952 [startup+1120.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 576059 0 0 0 110499 1514 0 0 25 0 1 0 906841804 21516288 4277 4294967295 134512640 134716908 3221224576 3221221616 1075971413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5253 4277 1111 63 0 5190 0 vsize: 21012 [startup+1130.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 580030 0 0 0 111489 1525 0 0 25 0 1 0 906841804 19312640 4007 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 4007 1111 63 0 4652 0 vsize: 18860 [startup+1140.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 583907 0 0 0 112479 1535 0 0 25 0 1 0 906841804 21557248 4280 4294967295 134512640 134716908 3221224576 3221220588 1074788944 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5263 4280 1111 63 0 5200 0 vsize: 21052 [startup+1150.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 588367 0 0 0 113466 1549 0 0 25 0 1 0 906841804 21544960 4272 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5260 4272 1111 63 0 5197 0 vsize: 21040 [startup+1160.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 591994 0 0 0 114456 1559 0 0 25 0 1 0 906841804 19140608 3990 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4673 3990 1111 63 0 4610 0 vsize: 18692 [startup+1170.05 s] Raw data (loadavg): 1.00 0.99 0.91 2/54 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 596818 0 0 0 115443 1571 0 0 25 0 1 0 906841804 22659072 4184 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5532 4184 1111 63 0 5469 0 vsize: 22128 [startup+1179.61 s] Raw data (loadavg): 1.00 0.99 0.91 1/53 2459 Raw data (stat): 2402 (bsolo_lpr_cuts-) R 2401 20224 20223 0 -1 0 596818 0 0 0 115443 1571 0 0 25 0 1 0 906841804 22659072 4184 4294967295 134512640 134716908 3221224576 3221220736 1075091857 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5532 4184 1111 63 0 5469 0 vsize: 0 Child status: 10 Real time (s): 1179.61 CPU time (s): 1179.71 CPU user time (s): 1163.89 CPU system time (s): 15.8206 CPU usage (%): 100.009 Max. virtual memory (Kb): 22128 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### Verifier: OK 355 #### END VERIFIER DATA ####