| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (1) | SAT (TO) | -42 | 3600.06 | 3609.63 |
| Name | PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb |
| MD5SUM | 05a4468103b1b74e5a90bd7e67aed0d9 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | -53 |
| Best CPU time to get the best result obtained on this benchmark | 72001.3 |
| Has Objective Function | YES |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Best value of the objective function | |
| Optimality of the best value was proved | |
| Number of variables | 1272 |
| Total number of constraints | 94227 |
| Number of constraints which are clauses | 94227 |
| 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 | 2 |
| Number of terms in the objective function | 1272 |
| 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 | 1272 |
| 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 | 1272 |
| Number of bits of the biggest sum of numbers | 11 |
| Number of products (including duplicates) | 0 |
| Sum of products size (including duplicates) | 0 |
| Number of different products | 0 |
| Sum of products size | 0 |
0.00/0.00 c RoundingSat 2 0.00/0.00 c branch 0.00/0.00 c commit 0.78/0.81 c #variables 1272 #constraints 94227 1.58/1.64 c bounds - >= -1272 @ 0.593983 1.58/1.64 c bounds 0 >= -1272 @ 1.29514 1.58/1.64 c bounds 0 >= -1271 @ 1.29569 1.58/1.64 c bounds 0 >= -1270 @ 1.29631 1.58/1.64 c bounds 0 >= -1269 @ 1.29692 1.58/1.64 c bounds 0 >= -1268 @ 1.29753 1.58/1.64 c bounds 0 >= -1267 @ 1.29812 1.58/1.64 c bounds 0 >= -1266 @ 1.29874 1.58/1.64 c bounds 0 >= -1265 @ 1.29934 1.58/1.64 c bounds -1 >= -1265 @ 1.30012 1.58/1.64 c bounds -1 >= -1264 @ 1.30066 1.58/1.64 c bounds -1 >= -1263 @ 1.30127 1.58/1.64 c bounds -1 >= -1262 @ 1.30188 1.58/1.64 c bounds -1 >= -1261 @ 1.30249 1.58/1.64 c bounds -1 >= -1260 @ 1.30309 1.58/1.64 c bounds -1 >= -1259 @ 1.3037 1.58/1.64 c bounds -1 >= -1258 @ 1.3043 1.58/1.64 c bounds -1 >= -1257 @ 1.30491 1.58/1.64 c bounds -1 >= -1256 @ 1.30552 1.58/1.64 c bounds -1 >= -1255 @ 1.30613 1.58/1.64 c bounds -1 >= -1254 @ 1.30675 1.58/1.64 c bounds -1 >= -1253 @ 1.30736 1.58/1.64 c bounds -1 >= -1252 @ 1.30796 1.58/1.64 c bounds -1 >= -1251 @ 1.30857 1.58/1.64 c bounds -1 >= -1250 @ 1.30918 1.58/1.64 c bounds -2 >= -1250 @ 1.31009 1.58/1.64 c bounds -2 >= -1249 @ 1.31038 1.58/1.64 c bounds -2 >= -1248 @ 1.3109 1.58/1.64 c bounds -2 >= -1247 @ 1.31149 1.58/1.64 c bounds -2 >= -1246 @ 1.31209 1.58/1.64 c bounds -2 >= -1245 @ 1.3127 1.58/1.64 c bounds -2 >= -1244 @ 1.31332 1.58/1.64 c bounds -2 >= -1243 @ 1.31393 1.58/1.64 c bounds -4 >= -1243 @ 1.31506 1.58/1.64 c bounds -4 >= -1242 @ 1.31506 1.58/1.64 c bounds -4 >= -1241 @ 1.31557 1.58/1.64 c bounds -4 >= -1240 @ 1.31618 1.58/1.64 c bounds -4 >= -1239 @ 1.3168 1.58/1.64 c bounds -4 >= -1238 @ 1.31741 1.58/1.64 c bounds -4 >= -1237 @ 1.31802 1.58/1.64 c bounds -4 >= -1236 @ 1.31863 1.58/1.64 c bounds -5 >= -1236 @ 1.32535 1.58/1.64 c bounds -5 >= -1235 @ 1.32597 1.58/1.64 c bounds -5 >= -1234 @ 1.3266 1.58/1.64 c bounds -5 >= -1233 @ 1.32722 1.58/1.64 c bounds -5 >= -1232 @ 1.32784 1.58/1.64 c bounds -5 >= -1231 @ 1.32845 1.58/1.64 c bounds -5 >= -1230 @ 1.32907 1.58/1.64 c bounds -5 >= -1229 @ 1.32968 1.58/1.64 c bounds -5 >= -1228 @ 1.3303 1.58/1.64 c bounds -5 >= -1227 @ 1.33091 1.58/1.64 c bounds -5 >= -1226 @ 1.33101 1.58/1.64 c bounds -5 >= -1225 @ 1.33128 1.58/1.64 c bounds -5 >= -1224 @ 1.33181 1.58/1.64 c bounds -5 >= -1223 @ 1.33241 1.58/1.64 c bounds -5 >= -1222 @ 1.333 1.58/1.64 c bounds -5 >= -1221 @ 1.33363 1.58/1.64 c bounds -5 >= -1220 @ 1.33424 1.58/1.64 c bounds -5 >= -1219 @ 1.33486 1.58/1.64 c bounds -5 >= -1218 @ 1.33548 1.58/1.64 c bounds -5 >= -1217 @ 1.33611 1.58/1.64 c bounds -5 >= -1216 @ 1.33672 1.58/1.64 c bounds -5 >= -1215 @ 1.33734 1.58/1.64 c bounds -5 >= -1214 @ 1.33796 1.58/1.64 c bounds -5 >= -1213 @ 1.33858 1.58/1.64 c bounds -5 >= -1212 @ 1.33868 1.58/1.64 c bounds -5 >= -1211 @ 1.3389 1.58/1.64 c bounds -5 >= -1210 @ 1.3395 1.58/1.64 c bounds -5 >= -1209 @ 1.34013 1.58/1.64 c bounds -5 >= -1208 @ 1.34075 1.58/1.64 c bounds -5 >= -1207 @ 1.34137 1.58/1.64 c bounds -5 >= -1206 @ 1.342 1.58/1.64 c bounds -5 >= -1205 @ 1.34262 1.58/1.64 c bounds -5 >= -1204 @ 1.34324 1.58/1.64 c bounds -5 >= -1203 @ 1.34386 1.58/1.64 c bounds -5 >= -1202 @ 1.34448 1.58/1.64 c bounds -5 >= -1201 @ 1.3451 1.58/1.64 c bounds -5 >= -1200 @ 1.34573 1.58/1.64 c bounds -5 >= -1199 @ 1.34583 1.58/1.64 c bounds -5 >= -1198 @ 1.34597 1.58/1.64 c bounds -5 >= -1197 @ 1.34658 1.58/1.64 c bounds -5 >= -1196 @ 1.3472 1.58/1.64 c bounds -5 >= -1195 @ 1.34782 1.58/1.64 c bounds -5 >= -1194 @ 1.34843 1.58/1.64 c bounds -5 >= -1193 @ 1.34905 1.58/1.64 c bounds -5 >= -1192 @ 1.34973 1.58/1.64 c bounds -5 >= -1191 @ 1.35035 1.58/1.64 c bounds -5 >= -1190 @ 1.35097 1.58/1.64 c bounds -5 >= -1189 @ 1.3516 1.58/1.64 c bounds -5 >= -1188 @ 1.35222 1.58/1.64 c bounds -5 >= -1187 @ 1.35285 1.58/1.64 c bounds -5 >= -1186 @ 1.35347 1.58/1.64 c bounds -5 >= -1185 @ 1.3541 1.58/1.64 c bounds -5 >= -1184 @ 1.35473 1.58/1.64 c bounds -5 >= -1183 @ 1.35535 1.58/1.64 c bounds -5 >= -1182 @ 1.35597 1.58/1.64 c bounds -5 >= -1181 @ 1.35659 1.58/1.64 c bounds -5 >= -1180 @ 1.35721 1.58/1.64 c bounds -5 >= -1179 @ 1.35784 1.58/1.64 c bounds -5 >= -1178 @ 1.35847 1.58/1.64 c bounds -5 >= -1177 @ 1.3591 1.58/1.64 c bounds -5 >= -1176 @ 1.35972 1.58/1.64 c bounds -5 >= -1175 @ 1.36034 1.58/1.64 c bounds -5 >= -1174 @ 1.36097 1.58/1.64 c bounds -5 >= -1173 @ 1.36165 1.58/1.64 c bounds -5 >= -1172 @ 1.36228 1.58/1.64 c bounds -5 >= -1171 @ 1.36291 1.58/1.64 c bounds -5 >= -1170 @ 1.36291 1.58/1.64 c bounds -5 >= -1169 @ 1.36328 1.58/1.64 c bounds -5 >= -1168 @ 1.3638 1.58/1.64 c bounds -5 >= -1167 @ 1.36442 1.58/1.64 c bounds -5 >= -1166 @ 1.36505 1.58/1.64 c bounds -5 >= -1165 @ 1.36568 1.58/1.64 c bounds -5 >= -1164 @ 1.36578 1.58/1.64 c bounds -5 >= -1163 @ 1.3659 1.58/1.64 c bounds -5 >= -1162 @ 1.3659 1.58/1.64 c bounds -5 >= -1161 @ 1.36631 1.58/1.64 c bounds -5 >= -1160 @ 1.36685 1.58/1.64 c bounds -5 >= -1159 @ 1.36755 1.58/1.64 c bounds -5 >= -1158 @ 1.36819 1.58/1.64 c bounds -5 >= -1157 @ 1.36881 1.58/1.64 c bounds -5 >= -1156 @ 1.36944 1.58/1.64 c bounds -5 >= -1155 @ 1.37007 1.58/1.64 c bounds -5 >= -1154 @ 1.3707 1.58/1.64 c bounds -5 >= -1153 @ 1.37133 1.58/1.64 c bounds -5 >= -1152 @ 1.37196 1.58/1.64 c bounds -5 >= -1151 @ 1.37258 1.58/1.64 c bounds -5 >= -1150 @ 1.37321 1.58/1.64 c bounds -5 >= -1149 @ 1.37383 1.58/1.64 c bounds -5 >= -1148 @ 1.37446 1.58/1.64 c bounds -5 >= -1147 @ 1.37509 1.58/1.64 c bounds -5 >= -1146 @ 1.37572 1.58/1.64 c bounds -5 >= -1145 @ 1.37582 1.58/1.64 c bounds -5 >= -1144 @ 1.37614 1.68/1.77 c bounds -5 >= -1143 @ 1.37667 1.68/1.77 c bounds -5 >= -1142 @ 1.37729 1.68/1.77 c bounds -5 >= -1141 @ 1.37792 1.68/1.77 c bounds -5 >= -1140 @ 1.37856 1.68/1.77 c bounds -5 >= -1139 @ 1.3792 1.68/1.77 c bounds -5 >= -1138 @ 1.37982 1.68/1.77 c bounds -5 >= -1137 @ 1.38045 1.68/1.77 c bounds -5 >= -1136 @ 1.38108 1.68/1.77 c bounds -5 >= -1135 @ 1.38172 1.68/1.77 c bounds -5 >= -1134 @ 1.38235 1.68/1.77 c bounds -5 >= -1133 @ 1.38299 1.68/1.77 c bounds -5 >= -1132 @ 1.38362 1.68/1.77 c bounds -5 >= -1131 @ 1.38426 1.68/1.77 c bounds -5 >= -1130 @ 1.38489 1.68/1.77 c bounds -5 >= -1129 @ 1.38553 1.68/1.77 c bounds -5 >= -1128 @ 1.38623 1.68/1.77 c bounds -5 >= -1127 @ 1.38687 1.68/1.77 c bounds -5 >= -1126 @ 1.3875 1.68/1.77 c bounds -5 >= -1125 @ 1.38813 1.68/1.77 c bounds -5 >= -1124 @ 1.38877 1.68/1.77 c bounds -5 >= -1123 @ 1.38946 1.68/1.77 c bounds -5 >= -1122 @ 1.3901 1.68/1.77 c bounds -5 >= -1121 @ 1.39073 1.68/1.77 c bounds -5 >= -1120 @ 1.39137 1.68/1.77 c bounds -5 >= -1119 @ 1.39201 1.68/1.77 c bounds -6 >= -1119 @ 1.4357 1.68/1.77 c bounds -6 >= -1118 @ 1.43635 1.68/1.77 c bounds -6 >= -1117 @ 1.437 1.68/1.77 c bounds -6 >= -1116 @ 1.43764 1.68/1.77 c bounds -6 >= -1115 @ 1.43828 1.68/1.77 c bounds -6 >= -1114 @ 1.43892 1.68/1.77 c bounds -6 >= -1113 @ 1.43957 1.68/1.77 c bounds -6 >= -1112 @ 1.44021 1.68/1.77 c bounds -6 >= -1111 @ 1.44084 1.68/1.77 c bounds -6 >= -1110 @ 1.44148 1.68/1.77 c bounds -6 >= -1109 @ 1.44212 1.68/1.77 c bounds -6 >= -1108 @ 1.44276 1.68/1.77 c bounds -6 >= -1107 @ 1.44339 1.68/1.77 c bounds -6 >= -1106 @ 1.44404 1.68/1.77 c bounds -6 >= -1105 @ 1.44467 1.68/1.77 c bounds -6 >= -1104 @ 1.44531 1.68/1.77 c bounds -6 >= -1103 @ 1.44593 1.68/1.77 c bounds -6 >= -1102 @ 1.44656 1.68/1.77 c bounds -6 >= -1101 @ 1.44664 1.68/1.77 c bounds -6 >= -1100 @ 1.44697 1.68/1.77 c bounds -6 >= -1099 @ 1.4475 1.68/1.77 c bounds -6 >= -1098 @ 1.44812 1.68/1.77 c bounds -6 >= -1097 @ 1.44876 1.68/1.77 c bounds -6 >= -1096 @ 1.44939 1.68/1.77 c bounds -6 >= -1095 @ 1.45002 1.68/1.77 c bounds -6 >= -1094 @ 1.45066 1.68/1.77 c bounds -6 >= -1093 @ 1.45129 1.68/1.77 c bounds -6 >= -1092 @ 1.45193 1.68/1.77 c bounds -6 >= -1091 @ 1.45257 1.68/1.77 c bounds -6 >= -1090 @ 1.45262 1.68/1.77 c bounds -6 >= -1089 @ 1.45262 1.68/1.77 c bounds -6 >= -1088 @ 1.45262 1.68/1.77 c bounds -6 >= -1087 @ 1.45316 1.68/1.77 c bounds -6 >= -1086 @ 1.45379 1.68/1.77 c bounds -6 >= -1085 @ 1.45442 1.68/1.77 c bounds -6 >= -1084 @ 1.45505 1.68/1.77 c bounds -6 >= -1083 @ 1.45568 1.68/1.77 c bounds -6 >= -1082 @ 1.45631 1.68/1.77 c bounds -6 >= -1081 @ 1.45642 1.68/1.77 c bounds -6 >= -1080 @ 1.45663 1.68/1.77 c bounds -6 >= -1079 @ 1.45727 1.68/1.77 c bounds -6 >= -1078 @ 1.45792 1.68/1.77 c bounds -6 >= -1077 @ 1.45855 1.68/1.77 c bounds -6 >= -1076 @ 1.4586 1.68/1.77 c bounds -6 >= -1075 @ 1.45895 1.68/1.77 c bounds -6 >= -1074 @ 1.45949 1.68/1.77 c bounds -6 >= -1073 @ 1.46012 1.68/1.77 c bounds -6 >= -1072 @ 1.46077 1.68/1.77 c bounds -6 >= -1071 @ 1.46141 1.68/1.77 c bounds -6 >= -1070 @ 1.46205 1.68/1.77 c bounds -6 >= -1069 @ 1.4627 1.68/1.77 c bounds -6 >= -1068 @ 1.46334 1.68/1.77 c bounds -6 >= -1067 @ 1.46398 1.68/1.77 c bounds -6 >= -1066 @ 1.46462 1.68/1.77 c bounds -6 >= -1065 @ 1.46526 1.68/1.77 c bounds -6 >= -1064 @ 1.4659 1.68/1.77 c bounds -6 >= -1063 @ 1.46655 1.68/1.77 c bounds -6 >= -1062 @ 1.46718 1.68/1.77 c bounds -6 >= -1061 @ 1.46783 1.68/1.77 c bounds -6 >= -1060 @ 1.46847 1.68/1.77 c bounds -6 >= -1059 @ 1.46917 1.68/1.77 c bounds -6 >= -1058 @ 1.46981 1.68/1.77 c bounds -6 >= -1057 @ 1.47045 1.68/1.77 c bounds -6 >= -1056 @ 1.4711 1.68/1.77 c bounds -6 >= -1055 @ 1.47174 1.68/1.77 c bounds -6 >= -1054 @ 1.47238 1.68/1.77 c bounds -6 >= -1053 @ 1.47303 1.68/1.77 c bounds -6 >= -1052 @ 1.47367 1.68/1.77 c bounds -6 >= -1051 @ 1.47431 1.68/1.77 c bounds -6 >= -1050 @ 1.47495 1.68/1.77 c bounds -6 >= -1049 @ 1.47505 1.68/1.77 c bounds -6 >= -1048 @ 1.47528 1.68/1.77 c bounds -6 >= -1047 @ 1.4759 1.68/1.77 c bounds -6 >= -1046 @ 1.47651 1.68/1.77 c bounds -6 >= -1045 @ 1.47715 1.68/1.77 c bounds -6 >= -1044 @ 1.4778 1.68/1.77 c bounds -6 >= -1043 @ 1.47844 1.68/1.77 c bounds -6 >= -1042 @ 1.47908 1.68/1.77 c bounds -6 >= -1041 @ 1.47972 1.68/1.77 c bounds -6 >= -1040 @ 1.48037 1.68/1.77 c bounds -6 >= -1039 @ 1.48102 1.68/1.77 c bounds -6 >= -1038 @ 1.48167 1.68/1.77 c bounds -6 >= -1037 @ 1.48232 1.68/1.77 c bounds -6 >= -1036 @ 1.48296 1.68/1.77 c bounds -6 >= -1035 @ 1.4836 1.68/1.77 c bounds -6 >= -1034 @ 1.48425 1.68/1.77 c bounds -6 >= -1033 @ 1.4849 1.68/1.77 c bounds -6 >= -1032 @ 1.48554 1.68/1.77 c bounds -6 >= -1031 @ 1.48619 1.68/1.77 c bounds -6 >= -1030 @ 1.48684 1.68/1.77 c bounds -6 >= -1029 @ 1.48747 1.68/1.77 c bounds -6 >= -1028 @ 1.48811 1.68/1.77 c bounds -6 >= -1027 @ 1.48876 1.68/1.77 c bounds -6 >= -1026 @ 1.48946 1.68/1.77 c bounds -6 >= -1025 @ 1.49011 1.68/1.77 c bounds -6 >= -1024 @ 1.49075 1.68/1.77 c bounds -6 >= -1023 @ 1.49139 1.68/1.77 c bounds -6 >= -1022 @ 1.49204 1.68/1.77 c bounds -6 >= -1021 @ 1.49268 1.68/1.77 c bounds -6 >= -1020 @ 1.49332 1.68/1.77 c bounds -6 >= -1019 @ 1.49397 1.68/1.77 c bounds -6 >= -1018 @ 1.49463 1.68/1.77 c bounds -6 >= -1017 @ 1.49528 1.68/1.77 c bounds -6 >= -1016 @ 1.49594 1.68/1.77 c bounds -6 >= -1015 @ 1.49659 1.68/1.77 c bounds -6 >= -1014 @ 1.49724 1.68/1.77 c bounds -6 >= -1013 @ 1.49734 1.78/1.85 c bounds -6 >= -1012 @ 1.49769 1.78/1.85 c bounds -6 >= -1011 @ 1.49825 1.78/1.85 c bounds -6 >= -1010 @ 1.49888 1.78/1.85 c bounds -6 >= -1009 @ 1.49954 1.78/1.85 c bounds -6 >= -1008 @ 1.50019 1.78/1.85 c bounds -6 >= -1007 @ 1.50084 1.78/1.85 c bounds -6 >= -1006 @ 1.50146 1.78/1.85 c bounds -6 >= -1005 @ 1.50212 1.78/1.85 c bounds -6 >= -1004 @ 1.50277 1.78/1.85 c bounds -6 >= -1003 @ 1.5034 1.78/1.85 c bounds -6 >= -1002 @ 1.50407 1.78/1.85 c bounds -6 >= -1001 @ 1.50472 1.78/1.85 c bounds -6 >= -1000 @ 1.50538 1.78/1.85 c bounds -6 >= -999 @ 1.50603 1.78/1.85 c bounds -6 >= -998 @ 1.50613 1.78/1.85 c bounds -6 >= -997 @ 1.50634 1.78/1.85 c bounds -6 >= -996 @ 1.50698 1.78/1.85 c bounds -6 >= -995 @ 1.50762 1.78/1.85 c bounds -6 >= -994 @ 1.50827 1.78/1.85 c bounds -6 >= -993 @ 1.50892 1.78/1.85 c bounds -6 >= -992 @ 1.50901 1.78/1.85 c bounds -6 >= -991 @ 1.50924 1.78/1.85 c bounds -6 >= -990 @ 1.50988 1.78/1.85 c bounds -6 >= -989 @ 1.51053 1.78/1.85 c bounds -6 >= -988 @ 1.51119 1.78/1.85 c bounds -6 >= -987 @ 1.51184 1.78/1.85 c bounds -6 >= -986 @ 1.51249 1.78/1.85 c bounds -6 >= -985 @ 1.51319 1.78/1.85 c bounds -6 >= -984 @ 1.51385 1.78/1.85 c bounds -6 >= -983 @ 1.5145 1.78/1.85 c bounds -6 >= -982 @ 1.51515 1.78/1.85 c bounds -6 >= -981 @ 1.5158 1.78/1.85 c bounds -6 >= -980 @ 1.51644 1.78/1.85 c bounds -6 >= -979 @ 1.51709 1.78/1.85 c bounds -6 >= -978 @ 1.51774 1.78/1.85 c bounds -6 >= -977 @ 1.5184 1.78/1.85 c bounds -6 >= -976 @ 1.51906 1.78/1.85 c bounds -6 >= -975 @ 1.51971 1.78/1.85 c bounds -6 >= -974 @ 1.52036 1.78/1.85 c bounds -6 >= -973 @ 1.52102 1.78/1.85 c bounds -6 >= -972 @ 1.52167 1.78/1.85 c bounds -6 >= -971 @ 1.52233 1.78/1.85 c bounds -6 >= -970 @ 1.523 1.78/1.85 c bounds -6 >= -969 @ 1.52366 1.78/1.85 c bounds -6 >= -968 @ 1.52432 1.78/1.85 c bounds -6 >= -967 @ 1.52498 1.78/1.85 c bounds -6 >= -966 @ 1.52563 1.78/1.85 c bounds -6 >= -965 @ 1.5263 1.78/1.85 c bounds -6 >= -964 @ 1.52696 1.78/1.85 c bounds -6 >= -963 @ 1.52761 1.78/1.85 c bounds -6 >= -962 @ 1.52827 1.78/1.85 c bounds -6 >= -961 @ 1.52893 1.78/1.85 c bounds -6 >= -960 @ 1.52903 1.78/1.85 c bounds -6 >= -959 @ 1.52926 1.78/1.85 c bounds -6 >= -958 @ 1.52991 1.78/1.85 c bounds -6 >= -957 @ 1.53056 1.78/1.85 c bounds -6 >= -956 @ 1.53122 1.78/1.85 c bounds -6 >= -955 @ 1.53187 1.78/1.85 c bounds -6 >= -954 @ 1.53253 1.78/1.85 c bounds -6 >= -953 @ 1.53318 1.78/1.85 c bounds -6 >= -952 @ 1.53327 1.78/1.85 c bounds -6 >= -951 @ 1.53361 1.78/1.85 c bounds -6 >= -950 @ 1.53417 1.78/1.85 c bounds -6 >= -949 @ 1.53481 1.78/1.85 c bounds -6 >= -948 @ 1.53546 1.78/1.85 c bounds -6 >= -947 @ 1.53613 1.78/1.85 c bounds -6 >= -946 @ 1.53679 1.78/1.85 c bounds -6 >= -945 @ 1.53745 1.78/1.85 c bounds -6 >= -944 @ 1.53811 1.78/1.85 c bounds -6 >= -943 @ 1.53877 1.78/1.85 c bounds -6 >= -942 @ 1.53942 1.78/1.85 c bounds -6 >= -941 @ 1.54008 1.78/1.85 c bounds -6 >= -940 @ 1.54075 1.78/1.85 c bounds -6 >= -939 @ 1.5414 1.78/1.85 c bounds -6 >= -938 @ 1.54206 1.78/1.85 c bounds -6 >= -937 @ 1.54216 1.78/1.85 c bounds -6 >= -936 @ 1.54251 1.78/1.85 c bounds -6 >= -935 @ 1.54325 1.78/1.85 c bounds -6 >= -934 @ 1.5438 1.78/1.85 c bounds -6 >= -933 @ 1.54434 1.78/1.85 c bounds -6 >= -932 @ 1.54489 1.78/1.85 c bounds -6 >= -931 @ 1.54543 1.78/1.85 c bounds -6 >= -930 @ 1.54598 1.78/1.85 c bounds -6 >= -929 @ 1.54652 1.78/1.85 c bounds -6 >= -928 @ 1.54707 1.78/1.85 c bounds -6 >= -927 @ 1.54761 1.78/1.85 c bounds -6 >= -926 @ 1.54817 1.78/1.85 c bounds -6 >= -925 @ 1.54871 1.78/1.85 c bounds -6 >= -924 @ 1.54925 1.78/1.85 c bounds -6 >= -923 @ 1.5498 1.78/1.85 c bounds -6 >= -922 @ 1.54988 1.78/1.85 c bounds -6 >= -921 @ 1.54996 1.78/1.85 c bounds -6 >= -920 @ 1.5505 1.78/1.85 c bounds -6 >= -919 @ 1.55105 1.78/1.85 c bounds -6 >= -918 @ 1.55158 1.78/1.85 c bounds -6 >= -917 @ 1.55214 1.78/1.85 c bounds -6 >= -916 @ 1.55268 1.78/1.85 c bounds -6 >= -915 @ 1.55322 1.78/1.85 c bounds -6 >= -914 @ 1.55328 1.78/1.85 c bounds -6 >= -913 @ 1.55332 1.78/1.85 c bounds -6 >= -912 @ 1.55386 1.78/1.85 c bounds -6 >= -911 @ 1.5544 1.78/1.85 c bounds -6 >= -910 @ 1.55493 1.78/1.85 c bounds -6 >= -909 @ 1.55548 1.78/1.85 c bounds -6 >= -908 @ 1.55601 1.78/1.85 c bounds -6 >= -907 @ 1.55655 1.78/1.85 c bounds -6 >= -906 @ 1.55708 1.78/1.85 c bounds -6 >= -905 @ 1.55762 1.78/1.85 c bounds -6 >= -904 @ 1.55816 1.78/1.85 c bounds -6 >= -903 @ 1.5587 1.78/1.85 c bounds -6 >= -902 @ 1.55924 1.78/1.85 c bounds -6 >= -901 @ 1.55978 1.78/1.85 c bounds -6 >= -900 @ 1.56032 1.78/1.85 c bounds -6 >= -899 @ 1.56086 1.78/1.85 c bounds -6 >= -898 @ 1.56142 1.78/1.85 c bounds -6 >= -897 @ 1.56196 1.78/1.85 c bounds -6 >= -896 @ 1.56249 1.78/1.85 c bounds -6 >= -895 @ 1.56303 1.78/1.85 c bounds -6 >= -894 @ 1.56358 1.78/1.85 c bounds -6 >= -893 @ 1.56412 1.78/1.85 c bounds -6 >= -892 @ 1.56466 1.78/1.85 c bounds -6 >= -891 @ 1.5652 1.78/1.85 c bounds -6 >= -890 @ 1.56575 1.78/1.85 c bounds -6 >= -889 @ 1.56629 1.78/1.85 c bounds -6 >= -888 @ 1.56683 1.78/1.85 c bounds -6 >= -887 @ 1.56738 1.78/1.85 c bounds -6 >= -886 @ 1.56793 1.78/1.85 c bounds -6 >= -885 @ 1.56848 1.78/1.85 c bounds -6 >= -884 @ 1.56902 1.78/1.85 c bounds -6 >= -883 @ 1.56956 1.78/1.85 c bounds -6 >= -882 @ 1.57011 1.78/1.85 c bounds -6 >= -881 @ 1.57066 1.78/1.85 c bounds -6 >= -880 @ 1.57123 1.78/1.85 c bounds -6 >= -879 @ 1.57178 1.78/1.85 c bounds -6 >= -878 @ 1.57232 1.78/1.85 c bounds -6 >= -877 @ 1.57285 1.78/1.85 c bounds -6 >= -876 @ 1.57293 1.88/1.93 c bounds -6 >= -875 @ 1.57301 1.88/1.93 c bounds -6 >= -874 @ 1.57354 1.88/1.93 c bounds -6 >= -873 @ 1.57408 1.88/1.93 c bounds -6 >= -872 @ 1.57463 1.88/1.93 c bounds -6 >= -871 @ 1.57516 1.88/1.93 c bounds -6 >= -870 @ 1.5757 1.88/1.93 c bounds -6 >= -869 @ 1.57626 1.88/1.93 c bounds -6 >= -868 @ 1.57681 1.88/1.93 c bounds -6 >= -867 @ 1.57736 1.88/1.93 c bounds -6 >= -866 @ 1.57791 1.88/1.93 c bounds -6 >= -865 @ 1.57846 1.88/1.93 c bounds -6 >= -864 @ 1.57901 1.88/1.93 c bounds -6 >= -863 @ 1.57956 1.88/1.93 c bounds -6 >= -862 @ 1.58011 1.88/1.93 c bounds -6 >= -861 @ 1.58065 1.88/1.93 c bounds -6 >= -860 @ 1.58119 1.88/1.93 c bounds -6 >= -859 @ 1.58174 1.88/1.93 c bounds -6 >= -858 @ 1.5823 1.88/1.93 c bounds -6 >= -857 @ 1.58285 1.88/1.93 c bounds -6 >= -856 @ 1.5834 1.88/1.93 c bounds -6 >= -855 @ 1.58395 1.88/1.93 c bounds -6 >= -854 @ 1.58449 1.88/1.93 c bounds -6 >= -853 @ 1.58505 1.88/1.93 c bounds -6 >= -852 @ 1.5856 1.88/1.93 c bounds -6 >= -851 @ 1.58615 1.88/1.93 c bounds -6 >= -850 @ 1.5867 1.88/1.93 c bounds -6 >= -849 @ 1.58724 1.88/1.93 c bounds -6 >= -848 @ 1.58778 1.88/1.93 c bounds -6 >= -847 @ 1.58833 1.88/1.93 c bounds -6 >= -846 @ 1.58887 1.88/1.93 c bounds -6 >= -845 @ 1.58941 1.88/1.93 c bounds -6 >= -844 @ 1.58996 1.88/1.93 c bounds -6 >= -843 @ 1.5905 1.88/1.93 c bounds -6 >= -842 @ 1.59104 1.88/1.93 c bounds -6 >= -841 @ 1.59159 1.88/1.93 c bounds -6 >= -840 @ 1.59213 1.88/1.93 c bounds -6 >= -839 @ 1.59268 1.88/1.93 c bounds -6 >= -838 @ 1.59323 1.88/1.93 c bounds -6 >= -837 @ 1.59377 1.88/1.93 c bounds -6 >= -836 @ 1.59436 1.88/1.93 c bounds -6 >= -835 @ 1.59491 1.88/1.93 c bounds -6 >= -834 @ 1.59546 1.88/1.93 c bounds -6 >= -833 @ 1.596 1.88/1.93 c bounds -6 >= -832 @ 1.59655 1.88/1.93 c bounds -6 >= -831 @ 1.59709 1.88/1.93 c bounds -6 >= -830 @ 1.59765 1.88/1.93 c bounds -6 >= -829 @ 1.5982 1.88/1.93 c bounds -6 >= -828 @ 1.59874 1.88/1.93 c bounds -6 >= -827 @ 1.59929 1.88/1.93 c bounds -6 >= -826 @ 1.59985 1.88/1.93 c bounds -6 >= -825 @ 1.6004 1.88/1.93 c bounds -6 >= -824 @ 1.601 1.88/1.93 c bounds -6 >= -823 @ 1.60154 1.88/1.93 c bounds -6 >= -822 @ 1.6021 1.88/1.93 c bounds -6 >= -821 @ 1.60265 1.88/1.93 c bounds -6 >= -820 @ 1.6032 1.88/1.93 c bounds -6 >= -819 @ 1.60375 1.88/1.93 c bounds -6 >= -818 @ 1.6043 1.88/1.93 c bounds -6 >= -817 @ 1.60485 1.88/1.93 c bounds -6 >= -816 @ 1.6054 1.88/1.93 c bounds -6 >= -815 @ 1.60594 1.88/1.93 c bounds -6 >= -814 @ 1.60648 1.88/1.93 c bounds -6 >= -813 @ 1.60703 1.88/1.93 c bounds -6 >= -812 @ 1.60758 1.88/1.93 c bounds -6 >= -811 @ 1.60812 1.88/1.93 c bounds -6 >= -810 @ 1.60866 1.88/1.93 c bounds -6 >= -809 @ 1.60921 1.88/1.93 c bounds -6 >= -808 @ 1.60976 1.88/1.93 c bounds -6 >= -807 @ 1.61031 1.88/1.93 c bounds -6 >= -806 @ 1.61085 1.88/1.93 c bounds -6 >= -805 @ 1.6114 1.88/1.93 c bounds -6 >= -804 @ 1.61193 1.88/1.93 c bounds -6 >= -803 @ 1.61249 1.88/1.93 c bounds -6 >= -802 @ 1.61304 1.88/1.93 c bounds -6 >= -801 @ 1.6136 1.88/1.93 c bounds -6 >= -800 @ 1.61415 1.88/1.93 c bounds -6 >= -799 @ 1.61469 1.88/1.93 c bounds -6 >= -798 @ 1.61525 1.88/1.93 c bounds -6 >= -797 @ 1.61581 1.88/1.93 c bounds -6 >= -796 @ 1.61636 1.88/1.93 c bounds -6 >= -795 @ 1.61691 1.88/1.93 c bounds -6 >= -794 @ 1.61747 1.88/1.93 c bounds -6 >= -793 @ 1.61801 1.88/1.93 c bounds -6 >= -792 @ 1.61857 1.88/1.93 c bounds -6 >= -791 @ 1.61912 1.88/1.93 c bounds -6 >= -790 @ 1.61967 1.88/1.93 c bounds -6 >= -789 @ 1.62022 1.88/1.93 c bounds -6 >= -788 @ 1.62076 1.88/1.93 c bounds -6 >= -787 @ 1.62132 1.88/1.93 c bounds -6 >= -786 @ 1.62186 1.88/1.93 c bounds -6 >= -785 @ 1.62242 1.88/1.93 c bounds -6 >= -784 @ 1.62297 1.88/1.93 c bounds -6 >= -783 @ 1.62352 1.88/1.93 c bounds -6 >= -782 @ 1.62406 1.88/1.93 c bounds -6 >= -781 @ 1.62462 1.88/1.93 c bounds -6 >= -780 @ 1.62517 1.88/1.93 c bounds -6 >= -779 @ 1.62573 1.88/1.93 c bounds -6 >= -778 @ 1.62629 1.88/1.93 c bounds -6 >= -777 @ 1.62684 1.88/1.93 c bounds -6 >= -776 @ 1.62739 1.88/1.93 c bounds -6 >= -775 @ 1.62795 1.88/1.93 c bounds -6 >= -774 @ 1.6285 1.88/1.93 c bounds -6 >= -773 @ 1.62906 1.88/1.93 c bounds -6 >= -772 @ 1.62962 1.88/1.93 c bounds -6 >= -771 @ 1.63018 1.88/1.93 c bounds -6 >= -770 @ 1.63074 1.88/1.93 c bounds -6 >= -769 @ 1.6313 1.88/1.93 c bounds -6 >= -768 @ 1.63186 1.88/1.93 c bounds -6 >= -767 @ 1.63242 1.88/1.93 c bounds -6 >= -766 @ 1.63297 1.88/1.93 c bounds -6 >= -765 @ 1.63353 1.88/1.93 c bounds -6 >= -764 @ 1.63409 1.88/1.93 c bounds -6 >= -763 @ 1.63464 1.88/1.93 c bounds -6 >= -762 @ 1.6352 1.88/1.93 c bounds -6 >= -761 @ 1.63575 1.88/1.93 c bounds -6 >= -760 @ 1.63631 1.88/1.93 c bounds -6 >= -759 @ 1.63686 1.88/1.93 c bounds -6 >= -758 @ 1.63693 1.88/1.93 c bounds -6 >= -757 @ 1.637 1.88/1.93 c bounds -6 >= -756 @ 1.63755 1.88/1.93 c bounds -6 >= -755 @ 1.63761 1.88/1.93 c bounds -6 >= -754 @ 1.63773 1.88/1.93 c bounds -6 >= -753 @ 1.63828 1.88/1.93 c bounds -6 >= -752 @ 1.63882 1.88/1.93 c bounds -6 >= -751 @ 1.63936 1.88/1.93 c bounds -6 >= -750 @ 1.63991 1.88/1.93 c bounds -6 >= -749 @ 1.64047 1.88/1.93 c bounds -6 >= -748 @ 1.64102 1.88/1.93 c bounds -6 >= -747 @ 1.64157 1.88/1.93 c bounds -6 >= -746 @ 1.64212 1.88/1.93 c bounds -6 >= -745 @ 1.64268 1.88/1.93 c bounds -6 >= -744 @ 1.64324 1.88/1.93 c bounds -6 >= -743 @ 1.6438 1.88/1.93 c bounds -6 >= -742 @ 1.64436 1.88/1.93 c bounds -6 >= -741 @ 1.64492 1.88/1.93 c bounds -6 >= -740 @ 1.64547 1.88/1.93 c bounds -6 >= -739 @ 1.64603 2.00/2.07 c bounds -6 >= -738 @ 1.64603 2.00/2.07 c bounds -6 >= -737 @ 1.64603 2.00/2.07 c bounds -6 >= -736 @ 1.64603 2.00/2.07 c bounds -6 >= -735 @ 1.64639 2.00/2.07 c bounds -6 >= -734 @ 1.64687 2.00/2.07 c bounds -6 >= -733 @ 1.64693 2.00/2.07 c bounds -6 >= -732 @ 1.64698 2.00/2.07 c bounds -6 >= -731 @ 1.64754 2.00/2.07 c bounds -6 >= -730 @ 1.64812 2.00/2.07 c bounds -6 >= -729 @ 1.64869 2.00/2.07 c bounds -6 >= -728 @ 1.64926 2.00/2.07 c bounds -6 >= -727 @ 1.64983 2.00/2.07 c bounds -6 >= -726 @ 1.65039 2.00/2.07 c bounds -6 >= -725 @ 1.65096 2.00/2.07 c bounds -6 >= -724 @ 1.65153 2.00/2.07 c bounds -6 >= -723 @ 1.65209 2.00/2.07 c bounds -6 >= -722 @ 1.65266 2.00/2.07 c bounds -6 >= -721 @ 1.65323 2.00/2.07 c bounds -6 >= -720 @ 1.65381 2.00/2.07 c bounds -6 >= -719 @ 1.65388 2.00/2.07 c bounds -6 >= -718 @ 1.65397 2.00/2.07 c bounds -6 >= -717 @ 1.65453 2.00/2.07 c bounds -6 >= -716 @ 1.65509 2.00/2.07 c bounds -6 >= -715 @ 1.65565 2.00/2.07 c bounds -6 >= -714 @ 1.65622 2.00/2.07 c bounds -6 >= -713 @ 1.65677 2.00/2.07 c bounds -6 >= -712 @ 1.65738 2.00/2.07 c bounds -6 >= -711 @ 1.65795 2.00/2.07 c bounds -6 >= -710 @ 1.65851 2.00/2.07 c bounds -6 >= -709 @ 1.65908 2.00/2.07 c bounds -6 >= -708 @ 1.65964 2.00/2.07 c bounds -6 >= -707 @ 1.66021 2.00/2.07 c bounds -6 >= -706 @ 1.66077 2.00/2.07 c bounds -6 >= -705 @ 1.66133 2.00/2.07 c bounds -6 >= -704 @ 1.66189 2.00/2.07 c bounds -6 >= -703 @ 1.66246 2.00/2.07 c bounds -6 >= -702 @ 1.66301 2.00/2.07 c bounds -6 >= -701 @ 1.66358 2.00/2.07 c bounds -6 >= -700 @ 1.66414 2.00/2.07 c bounds -6 >= -699 @ 1.6647 2.00/2.07 c bounds -6 >= -698 @ 1.66527 2.00/2.07 c bounds -6 >= -697 @ 1.66583 2.00/2.07 c bounds -6 >= -696 @ 1.6664 2.00/2.07 c bounds -6 >= -695 @ 1.66698 2.00/2.07 c bounds -6 >= -694 @ 1.66758 2.00/2.07 c bounds -6 >= -693 @ 1.66818 2.00/2.07 c bounds -6 >= -692 @ 1.66876 2.00/2.07 c bounds -6 >= -691 @ 1.66935 2.00/2.07 c bounds -6 >= -690 @ 1.66993 2.00/2.07 c bounds -6 >= -689 @ 1.6705 2.00/2.07 c bounds -6 >= -688 @ 1.67108 2.00/2.07 c bounds -6 >= -687 @ 1.67165 2.00/2.07 c bounds -6 >= -686 @ 1.67223 2.00/2.07 c bounds -6 >= -685 @ 1.6728 2.00/2.07 c bounds -6 >= -684 @ 1.67338 2.00/2.07 c bounds -6 >= -683 @ 1.67397 2.00/2.07 c bounds -6 >= -682 @ 1.67455 2.00/2.07 c bounds -6 >= -681 @ 1.67514 2.00/2.07 c bounds -6 >= -680 @ 1.67571 2.00/2.07 c bounds -6 >= -679 @ 1.67629 2.00/2.07 c bounds -6 >= -678 @ 1.67686 2.00/2.07 c bounds -6 >= -677 @ 1.67743 2.00/2.07 c bounds -6 >= -676 @ 1.67801 2.00/2.07 c bounds -6 >= -675 @ 1.67859 2.00/2.07 c bounds -6 >= -674 @ 1.67915 2.00/2.07 c bounds -6 >= -673 @ 1.67973 2.00/2.07 c bounds -6 >= -672 @ 1.6798 2.00/2.07 c bounds -6 >= -671 @ 1.6799 2.00/2.07 c bounds -6 >= -670 @ 1.68049 2.00/2.07 c bounds -6 >= -669 @ 1.68107 2.00/2.07 c bounds -6 >= -668 @ 1.68164 2.00/2.07 c bounds -6 >= -667 @ 1.68222 2.00/2.07 c bounds -6 >= -666 @ 1.68279 2.00/2.07 c bounds -6 >= -665 @ 1.68338 2.00/2.07 c bounds -6 >= -664 @ 1.68395 2.00/2.07 c bounds -6 >= -663 @ 1.68453 2.00/2.07 c bounds -6 >= -662 @ 1.6851 2.00/2.07 c bounds -6 >= -661 @ 1.68568 2.00/2.07 c bounds -6 >= -660 @ 1.68625 2.00/2.07 c bounds -6 >= -659 @ 1.68683 2.00/2.07 c bounds -6 >= -658 @ 1.68742 2.00/2.07 c bounds -6 >= -657 @ 1.68799 2.00/2.07 c bounds -6 >= -656 @ 1.68857 2.00/2.07 c bounds -6 >= -655 @ 1.68914 2.00/2.07 c bounds -6 >= -654 @ 1.68972 2.00/2.07 c bounds -6 >= -653 @ 1.6903 2.00/2.07 c bounds -6 >= -652 @ 1.69088 2.00/2.07 c bounds -6 >= -651 @ 1.69145 2.00/2.07 c bounds -6 >= -650 @ 1.69203 2.00/2.07 c bounds -6 >= -649 @ 1.6926 2.00/2.07 c bounds -6 >= -648 @ 1.69318 2.00/2.07 c bounds -6 >= -647 @ 1.69376 2.00/2.07 c bounds -6 >= -646 @ 1.69434 2.00/2.07 c bounds -6 >= -645 @ 1.69493 2.00/2.07 c bounds -6 >= -644 @ 1.6955 2.00/2.07 c bounds -6 >= -643 @ 1.69609 2.00/2.07 c bounds -6 >= -642 @ 1.69666 2.00/2.07 c bounds -6 >= -641 @ 1.69725 2.00/2.07 c bounds -6 >= -640 @ 1.69783 2.00/2.07 c bounds -6 >= -639 @ 1.69841 2.00/2.07 c bounds -6 >= -638 @ 1.69899 2.00/2.07 c bounds -6 >= -637 @ 1.69957 2.00/2.07 c bounds -6 >= -636 @ 1.70015 2.00/2.07 c bounds -6 >= -635 @ 1.70088 2.00/2.07 c bounds -6 >= -634 @ 1.7014 2.00/2.07 c bounds -6 >= -633 @ 1.70188 2.00/2.07 c bounds -6 >= -632 @ 1.70239 2.00/2.07 c bounds -6 >= -631 @ 1.70387 2.00/2.07 c bounds -6 >= -630 @ 1.70635 2.00/2.07 c bounds -6 >= -629 @ 1.70784 2.00/2.07 c bounds -6 >= -628 @ 1.70837 2.00/2.07 c bounds -6 >= -627 @ 1.70934 2.00/2.07 c bounds -6 >= -626 @ 1.70985 2.00/2.07 c bounds -6 >= -625 @ 1.71132 2.00/2.07 c bounds -6 >= -624 @ 1.71284 2.00/2.07 c bounds -6 >= -623 @ 1.71325 2.00/2.07 c bounds -6 >= -622 @ 1.71483 2.00/2.07 c bounds -6 >= -621 @ 1.71515 2.00/2.07 c bounds -6 >= -620 @ 1.71583 2.00/2.07 c bounds -6 >= -619 @ 1.71604 2.00/2.07 c bounds -6 >= -618 @ 1.71734 2.00/2.07 c bounds -6 >= -617 @ 1.71879 2.00/2.07 c bounds -6 >= -616 @ 1.71933 2.00/2.07 c bounds -6 >= -615 @ 1.72081 2.00/2.07 c bounds -6 >= -614 @ 1.72123 2.00/2.07 c bounds -6 >= -613 @ 1.72362 2.00/2.07 c bounds -6 >= -612 @ 1.72521 2.00/2.07 c bounds -6 >= -611 @ 1.7258 2.00/2.07 c bounds -6 >= -610 @ 1.72608 2.00/2.07 c bounds -6 >= -609 @ 1.72844 2.00/2.07 c bounds -6 >= -608 @ 1.72879 2.00/2.07 c bounds -6 >= -607 @ 1.72994 2.00/2.07 c bounds -6 >= -606 @ 1.73078 2.00/2.07 c bounds -6 >= -605 @ 1.73078 2.00/2.07 c bounds -6 >= -604 @ 1.73106 2.00/2.07 c bounds -6 >= -603 @ 1.73228 2.00/2.07 c bounds -6 >= -602 @ 1.73377 2.68/2.74 c bounds -6 >= -601 @ 1.734 2.68/2.74 c bounds -6 >= -600 @ 1.73524 2.68/2.74 c bounds -6 >= -599 @ 1.73676 2.68/2.74 c bounds -6 >= -598 @ 1.73707 2.68/2.74 c bounds -6 >= -597 @ 1.73829 2.68/2.74 c bounds -6 >= -596 @ 1.73875 2.68/2.74 c bounds -6 >= -595 @ 1.73909 2.68/2.74 c bounds -6 >= -594 @ 1.74029 2.68/2.74 c bounds -6 >= -593 @ 1.74161 2.68/2.74 c bounds -6 >= -592 @ 1.74208 2.68/2.74 c bounds -6 >= -591 @ 1.74432 2.68/2.74 c bounds -6 >= -590 @ 1.74473 2.68/2.74 c bounds -6 >= -589 @ 1.74512 2.68/2.74 c bounds -6 >= -588 @ 1.74631 2.68/2.74 c bounds -6 >= -587 @ 1.74672 2.68/2.74 c bounds -6 >= -586 @ 1.74707 2.68/2.74 c bounds -6 >= -585 @ 1.74829 2.68/2.74 c bounds -6 >= -584 @ 1.74871 2.68/2.74 c bounds -6 >= -583 @ 1.74971 2.68/2.74 c bounds -6 >= -582 @ 1.75106 2.68/2.74 c bounds -6 >= -581 @ 1.75219 2.68/2.74 c bounds -6 >= -580 @ 1.7527 2.68/2.74 c bounds -6 >= -579 @ 1.75457 2.68/2.74 c bounds -6 >= -578 @ 1.755 2.68/2.74 c bounds -6 >= -577 @ 1.75619 2.68/2.74 c bounds -6 >= -576 @ 1.75735 2.68/2.74 c bounds -6 >= -575 @ 1.75868 2.68/2.74 c bounds -6 >= -574 @ 1.76002 2.68/2.74 c bounds -6 >= -573 @ 1.76118 2.68/2.74 c bounds -6 >= -572 @ 1.76168 2.68/2.74 c bounds -6 >= -571 @ 1.76268 2.68/2.74 c bounds -6 >= -570 @ 2.14263 2.68/2.74 c bounds -6 >= -569 @ 2.14263 2.68/2.74 c bounds -6 >= -568 @ 2.14355 2.68/2.74 c bounds -6 >= -567 @ 2.14362 2.68/2.74 c bounds -6 >= -566 @ 2.14362 2.68/2.74 c bounds -6 >= -565 @ 2.14362 2.68/2.74 c bounds -6 >= -564 @ 2.14362 2.68/2.74 c bounds -6 >= -563 @ 2.14506 2.68/2.74 c bounds -6 >= -562 @ 2.14705 2.68/2.74 c bounds -6 >= -561 @ 2.1481 2.68/2.74 c bounds -6 >= -560 @ 2.15009 2.68/2.74 c bounds -6 >= -559 @ 2.15111 2.68/2.74 c bounds -6 >= -558 @ 2.15306 2.68/2.74 c bounds -6 >= -557 @ 2.15359 2.68/2.74 c bounds -6 >= -556 @ 2.1549 2.68/2.74 c bounds -6 >= -555 @ 2.15558 2.68/2.74 c bounds -6 >= -554 @ 2.15639 2.68/2.74 c bounds -6 >= -553 @ 2.15758 2.68/2.74 c bounds -6 >= -552 @ 2.15857 2.68/2.74 c bounds -6 >= -551 @ 2.15857 2.68/2.74 c bounds -6 >= -550 @ 2.15857 2.68/2.74 c bounds -6 >= -549 @ 2.15956 2.68/2.74 c bounds -6 >= -548 @ 2.15991 2.68/2.74 c bounds -6 >= -547 @ 2.16056 2.68/2.74 c bounds -6 >= -546 @ 2.16105 2.68/2.74 c bounds -6 >= -545 @ 2.16199 2.68/2.74 c bounds -6 >= -544 @ 2.16255 2.68/2.74 c bounds -6 >= -543 @ 2.16381 2.68/2.74 c bounds -6 >= -542 @ 2.16484 2.68/2.74 c bounds -6 >= -541 @ 2.16661 2.68/2.74 c bounds -6 >= -540 @ 2.16752 2.68/2.74 c bounds -6 >= -539 @ 2.16852 2.68/2.74 c bounds -6 >= -538 @ 2.16952 2.68/2.74 c bounds -6 >= -537 @ 2.16952 2.68/2.74 c bounds -6 >= -536 @ 2.17001 2.68/2.74 c bounds -6 >= -535 @ 2.17098 2.68/2.74 c bounds -6 >= -534 @ 2.17193 2.68/2.74 c bounds -6 >= -533 @ 2.17251 2.68/2.74 c bounds -6 >= -532 @ 2.17319 2.68/2.74 c bounds -6 >= -531 @ 2.1735 2.68/2.74 c bounds -6 >= -530 @ 2.17393 2.68/2.74 c bounds -6 >= -529 @ 2.17481 2.68/2.74 c bounds -6 >= -528 @ 2.17549 2.68/2.74 c bounds -6 >= -527 @ 2.17549 2.68/2.74 c bounds -6 >= -526 @ 2.17629 2.68/2.74 c bounds -6 >= -525 @ 2.17722 2.68/2.74 c bounds -6 >= -524 @ 2.1781 2.68/2.74 c bounds -6 >= -523 @ 2.17895 2.68/2.74 c bounds -6 >= -522 @ 2.1799 2.68/2.74 c bounds -6 >= -521 @ 2.18076 2.68/2.74 c bounds -6 >= -520 @ 2.18147 2.68/2.74 c bounds -6 >= -519 @ 2.18147 2.68/2.74 c bounds -6 >= -518 @ 2.18147 2.68/2.74 c bounds -6 >= -517 @ 2.18294 2.68/2.74 c bounds -6 >= -516 @ 2.18388 2.68/2.74 c bounds -6 >= -515 @ 2.18558 2.68/2.74 c bounds -6 >= -514 @ 2.18737 2.68/2.74 c bounds -6 >= -513 @ 2.18816 2.68/2.74 c bounds -6 >= -512 @ 2.18963 2.68/2.74 c bounds -6 >= -511 @ 2.192 2.68/2.74 c bounds -6 >= -510 @ 2.1932 2.68/2.74 c bounds -6 >= -509 @ 2.19362 2.68/2.74 c bounds -6 >= -508 @ 2.19642 2.68/2.74 c bounds -6 >= -507 @ 2.1974 2.68/2.74 c bounds -6 >= -506 @ 2.1984 2.68/2.74 c bounds -6 >= -505 @ 2.19881 2.68/2.74 c bounds -6 >= -504 @ 2.20052 2.68/2.74 c bounds -6 >= -503 @ 2.20229 2.68/2.74 c bounds -6 >= -502 @ 2.20304 2.68/2.74 c bounds -6 >= -501 @ 2.20338 2.68/2.74 c bounds -6 >= -500 @ 2.20379 2.68/2.74 c bounds -6 >= -499 @ 2.20548 2.68/2.74 c bounds -6 >= -498 @ 2.20637 2.68/2.74 c bounds -6 >= -497 @ 2.20792 2.68/2.74 c bounds -6 >= -496 @ 2.20878 2.68/2.74 c bounds -6 >= -495 @ 2.20956 2.68/2.74 c bounds -6 >= -494 @ 2.21036 2.68/2.74 c bounds -6 >= -493 @ 2.21136 2.68/2.74 c bounds -6 >= -492 @ 2.21252 2.68/2.74 c bounds -6 >= -491 @ 2.21422 2.68/2.74 c bounds -6 >= -490 @ 2.21434 2.68/2.74 c bounds -6 >= -489 @ 2.21475 2.68/2.74 c bounds -6 >= -488 @ 2.21555 2.68/2.74 c bounds -6 >= -487 @ 2.21633 2.68/2.74 c bounds -6 >= -486 @ 2.21675 2.68/2.74 c bounds -6 >= -485 @ 2.21846 2.68/2.74 c bounds -6 >= -484 @ 2.2192 2.68/2.74 c bounds -6 >= -483 @ 2.2192 2.68/2.74 c bounds -6 >= -482 @ 2.21961 2.68/2.74 c bounds -6 >= -481 @ 2.22118 2.68/2.74 c bounds -6 >= -480 @ 2.22219 2.68/2.74 c bounds -6 >= -479 @ 2.2226 2.68/2.74 c bounds -6 >= -478 @ 2.22318 2.68/2.74 c bounds -6 >= -477 @ 2.22418 2.68/2.74 c bounds -6 >= -476 @ 2.22459 2.68/2.74 c bounds -6 >= -475 @ 2.22518 2.68/2.74 c bounds -6 >= -474 @ 2.22678 2.68/2.74 c bounds -6 >= -473 @ 2.22754 2.68/2.74 c bounds -6 >= -472 @ 2.22817 2.68/2.74 c bounds -6 >= -471 @ 2.22817 2.68/2.74 c bounds -6 >= -470 @ 2.22922 2.68/2.74 c bounds -6 >= -469 @ 2.23091 2.68/2.74 c bounds -6 >= -468 @ 2.23252 2.68/2.74 c bounds -6 >= -467 @ 2.23316 2.68/2.74 c bounds -6 >= -466 @ 2.23316 2.68/2.74 c bounds -6 >= -465 @ 2.23435 2.87/2.98 c bounds -6 >= -464 @ 2.23515 2.87/2.98 c bounds -6 >= -463 @ 2.23662 2.87/2.98 c bounds -6 >= -462 @ 2.23714 2.87/2.98 c bounds -6 >= -461 @ 2.23714 2.87/2.98 c bounds -6 >= -460 @ 2.23755 2.87/2.98 c bounds -6 >= -459 @ 2.23814 2.87/2.98 c bounds -6 >= -458 @ 2.23975 2.87/2.98 c bounds -6 >= -457 @ 2.24049 2.87/2.98 c bounds -6 >= -456 @ 2.24113 2.87/2.98 c bounds -6 >= -455 @ 2.24153 2.87/2.98 c bounds -6 >= -454 @ 2.24213 2.87/2.98 c bounds -6 >= -453 @ 2.24426 2.87/2.98 c bounds -6 >= -452 @ 2.24512 2.87/2.98 c bounds -6 >= -451 @ 2.24552 2.87/2.98 c bounds -6 >= -450 @ 2.24612 2.87/2.98 c bounds -6 >= -449 @ 2.24612 2.87/2.98 c bounds -6 >= -448 @ 2.24612 2.87/2.98 c bounds -6 >= -447 @ 2.24711 2.87/2.98 c bounds -6 >= -446 @ 2.24803 2.87/2.98 c bounds -6 >= -445 @ 2.24915 2.87/2.98 c bounds -6 >= -444 @ 2.25042 2.87/2.98 c bounds -6 >= -443 @ 2.25151 2.87/2.98 c bounds -6 >= -442 @ 2.25252 2.87/2.98 c bounds -6 >= -441 @ 2.25309 2.87/2.98 c bounds -6 >= -440 @ 2.25457 2.87/2.98 c bounds -6 >= -439 @ 2.25612 2.87/2.98 c bounds -6 >= -438 @ 2.25708 2.87/2.98 c bounds -6 >= -437 @ 2.25736 2.87/2.98 c bounds -6 >= -436 @ 2.25808 2.87/2.98 c bounds -6 >= -435 @ 2.25839 2.87/2.98 c bounds -6 >= -434 @ 2.25907 2.87/2.98 c bounds -6 >= -433 @ 2.26024 2.87/2.98 c bounds -6 >= -432 @ 2.26175 2.87/2.98 c bounds -6 >= -431 @ 2.2624 2.87/2.98 c bounds -6 >= -430 @ 2.26306 2.87/2.98 c bounds -6 >= -429 @ 2.26426 2.87/2.98 c bounds -6 >= -428 @ 2.26573 2.87/2.98 c bounds -6 >= -427 @ 2.26636 2.87/2.98 c bounds -6 >= -426 @ 2.26737 2.87/2.98 c bounds -6 >= -425 @ 2.26837 2.87/2.98 c bounds -6 >= -424 @ 2.26936 2.87/2.98 c bounds -6 >= -423 @ 2.27004 2.87/2.98 c bounds -6 >= -422 @ 2.27037 2.87/2.98 c bounds -6 >= -421 @ 2.27103 2.87/2.98 c bounds -6 >= -420 @ 2.27103 2.87/2.98 c bounds -6 >= -419 @ 2.27143 2.87/2.98 c bounds -6 >= -418 @ 2.27203 2.87/2.98 c bounds -6 >= -417 @ 2.27322 2.87/2.98 c bounds -6 >= -416 @ 2.27402 2.87/2.98 c bounds -6 >= -415 @ 2.27405 2.87/2.98 c bounds -6 >= -414 @ 2.27538 2.87/2.98 c bounds -6 >= -413 @ 2.27602 2.87/2.98 c bounds -6 >= -412 @ 2.27604 2.87/2.98 c bounds -6 >= -411 @ 2.27735 2.87/2.98 c bounds -6 >= -410 @ 2.27801 2.87/2.98 c bounds -6 >= -409 @ 2.27826 2.87/2.98 c bounds -6 >= -408 @ 2.27944 2.87/2.98 c bounds -6 >= -407 @ 2.28036 2.87/2.98 c bounds -6 >= -406 @ 2.281 2.87/2.98 c bounds -6 >= -405 @ 2.28124 2.87/2.98 c bounds -6 >= -404 @ 2.28244 2.87/2.98 c bounds -6 >= -403 @ 2.28383 2.87/2.98 c bounds -6 >= -402 @ 2.28521 2.87/2.98 c bounds -6 >= -401 @ 2.28599 2.87/2.98 c bounds -6 >= -400 @ 2.28599 2.87/2.98 c bounds -6 >= -399 @ 2.28786 2.87/2.98 c bounds -6 >= -398 @ 2.28875 2.87/2.98 c bounds -6 >= -397 @ 2.28898 2.87/2.98 c bounds -6 >= -396 @ 2.28898 2.87/2.98 c bounds -6 >= -395 @ 2.29034 2.87/2.98 c bounds -6 >= -394 @ 2.29134 2.87/2.98 c bounds -6 >= -393 @ 2.29221 2.87/2.98 c bounds -6 >= -392 @ 2.29387 2.87/2.98 c bounds -6 >= -391 @ 2.29431 2.87/2.98 c bounds -14 >= -391 @ 2.29578 2.87/2.98 c bounds -14 >= -390 @ 2.29596 2.87/2.98 c bounds -14 >= -389 @ 2.29599 2.87/2.98 c bounds -14 >= -388 @ 2.29735 2.87/2.98 c bounds -14 >= -387 @ 2.29795 2.87/2.98 c bounds -14 >= -386 @ 2.29818 2.87/2.98 c bounds -14 >= -385 @ 2.2993 2.87/2.98 c bounds -14 >= -384 @ 2.29995 2.87/2.98 c bounds -14 >= -383 @ 2.29998 2.87/2.98 c bounds -14 >= -382 @ 2.30094 2.87/2.98 c bounds -14 >= -381 @ 2.30094 2.87/2.98 c bounds -14 >= -380 @ 2.30094 2.87/2.98 c bounds -14 >= -379 @ 2.3021 2.87/2.98 c bounds -14 >= -378 @ 2.30294 2.87/2.98 c #Conflicts: 1000 | #Constraints: 98009 2.87/2.98 c bounds -14 >= -377 @ 2.30294 2.87/2.98 c bounds -14 >= -376 @ 2.30337 2.87/2.98 c bounds -14 >= -375 @ 2.30393 2.87/2.98 c bounds -15 >= -375 @ 2.30523 2.87/2.98 c bounds -15 >= -374 @ 2.30593 2.87/2.98 c bounds -15 >= -373 @ 2.30595 2.87/2.98 c bounds -16 >= -373 @ 2.30692 2.87/2.98 c bounds -16 >= -372 @ 2.30692 2.87/2.98 c bounds -16 >= -371 @ 2.30723 2.87/2.98 c bounds -16 >= -370 @ 2.30843 2.87/2.98 c bounds -17 >= -370 @ 2.30911 2.87/2.98 c bounds -17 >= -369 @ 2.30991 2.87/2.98 c bounds -17 >= -368 @ 2.31129 2.87/2.98 c bounds -17 >= -367 @ 2.31222 2.87/2.98 c bounds -18 >= -367 @ 2.31345 2.87/2.98 c bounds -18 >= -366 @ 2.31429 2.87/2.98 c bounds -18 >= -365 @ 2.31518 2.87/2.98 c bounds -19 >= -365 @ 2.31589 2.87/2.98 c bounds -19 >= -364 @ 2.31628 2.87/2.98 c bounds -19 >= -363 @ 2.31692 2.87/2.98 c bounds -20 >= -363 @ 2.31788 2.87/2.98 c bounds -20 >= -362 @ 2.3182 2.87/2.98 c bounds -20 >= -361 @ 2.31976 2.87/2.98 c bounds -21 >= -361 @ 2.32151 2.87/2.98 c bounds -21 >= -360 @ 2.32297 2.87/2.98 c bounds -21 >= -359 @ 2.32423 2.87/2.98 c bounds -21 >= -358 @ 2.32486 2.87/2.98 c bounds -21 >= -357 @ 2.32486 2.87/2.98 c bounds -22 >= -357 @ 2.32606 2.87/2.98 c bounds -22 >= -356 @ 2.32731 2.87/2.98 c bounds -22 >= -355 @ 2.32786 2.87/2.98 c bounds -22 >= -354 @ 2.32815 2.87/2.98 c bounds -22 >= -353 @ 2.32923 2.87/2.98 c bounds -23 >= -353 @ 2.3304 2.87/2.98 c bounds -23 >= -352 @ 2.33085 2.87/2.98 c bounds -23 >= -351 @ 2.33192 2.87/2.98 c bounds -23 >= -350 @ 2.33321 2.87/2.98 c bounds -24 >= -350 @ 2.33384 2.87/2.98 c bounds -24 >= -349 @ 2.33421 2.87/2.98 c bounds -24 >= -348 @ 2.33484 2.87/2.98 c bounds -25 >= -348 @ 2.36329 2.87/2.98 c bounds -25 >= -347 @ 2.36412 2.87/2.98 c bounds -25 >= -346 @ 2.36512 2.87/2.98 c bounds -25 >= -345 @ 2.36575 2.87/2.98 c bounds -25 >= -344 @ 2.36575 3.27/3.36 c bounds -25 >= -343 @ 2.36604 3.27/3.36 c bounds -25 >= -342 @ 2.36707 3.27/3.36 c bounds -25 >= -341 @ 2.36774 3.27/3.36 c bounds -25 >= -340 @ 2.36774 3.27/3.36 c bounds -25 >= -339 @ 2.36774 3.27/3.36 c bounds -25 >= -338 @ 2.36887 3.27/3.36 c bounds -25 >= -337 @ 2.36974 3.27/3.36 c bounds -25 >= -336 @ 2.37008 3.27/3.36 c bounds -25 >= -335 @ 2.37125 3.27/3.36 c bounds -25 >= -334 @ 2.37309 3.27/3.36 c bounds -25 >= -333 @ 2.37459 3.27/3.36 c bounds -25 >= -332 @ 2.37606 3.27/3.36 c bounds -25 >= -331 @ 2.37808 3.27/3.36 c bounds -25 >= -330 @ 2.37905 3.27/3.36 c bounds -25 >= -329 @ 2.37971 3.27/3.36 c bounds -25 >= -328 @ 2.38009 3.27/3.36 c bounds -25 >= -327 @ 2.38071 3.27/3.36 c bounds -25 >= -326 @ 2.38192 3.27/3.36 c bounds -25 >= -325 @ 2.3827 3.27/3.36 c bounds -25 >= -324 @ 2.38306 3.27/3.36 c bounds -25 >= -323 @ 2.38407 3.27/3.36 c bounds -25 >= -322 @ 2.38543 3.27/3.36 c bounds -25 >= -321 @ 2.38569 3.27/3.36 c bounds -25 >= -320 @ 2.38798 3.27/3.36 c bounds -25 >= -319 @ 2.38917 3.27/3.36 c bounds -25 >= -318 @ 2.39091 3.27/3.36 c bounds -25 >= -317 @ 2.39168 3.27/3.36 c bounds -25 >= -316 @ 2.39248 3.27/3.36 c bounds -25 >= -315 @ 2.39405 3.27/3.36 c bounds -25 >= -314 @ 2.39547 3.27/3.36 c bounds -25 >= -313 @ 2.39567 3.27/3.36 c bounds -25 >= -312 @ 2.39567 3.27/3.36 c bounds -25 >= -311 @ 2.39567 3.27/3.36 c bounds -25 >= -310 @ 2.39603 3.27/3.36 c bounds -25 >= -309 @ 2.39799 3.27/3.36 c bounds -25 >= -308 @ 2.39965 3.27/3.36 c bounds -25 >= -307 @ 2.40006 3.27/3.36 c bounds -25 >= -306 @ 2.40165 3.27/3.36 c bounds -25 >= -305 @ 2.40342 3.27/3.36 c bounds -25 >= -304 @ 2.40364 3.27/3.36 c bounds -25 >= -303 @ 2.404 3.27/3.36 c bounds -25 >= -302 @ 2.40489 3.27/3.36 c bounds -25 >= -301 @ 2.40633 3.27/3.36 c bounds -25 >= -300 @ 2.40663 3.27/3.36 c bounds -25 >= -299 @ 2.40763 3.27/3.36 c bounds -25 >= -298 @ 2.40899 3.27/3.36 c bounds -25 >= -297 @ 2.41099 3.27/3.36 c bounds -25 >= -296 @ 2.41261 3.27/3.36 c bounds -25 >= -295 @ 2.41265 3.27/3.36 c bounds -25 >= -294 @ 2.41359 3.27/3.36 c bounds -25 >= -293 @ 2.41461 3.27/3.36 c bounds -25 >= -292 @ 2.41561 3.27/3.36 c bounds -25 >= -291 @ 2.41591 3.27/3.36 c bounds -25 >= -290 @ 2.41661 3.27/3.36 c bounds -25 >= -289 @ 2.41757 3.27/3.36 c bounds -25 >= -288 @ 2.41818 3.27/3.36 c bounds -25 >= -287 @ 2.41915 3.27/3.36 c bounds -25 >= -286 @ 2.4196 3.27/3.36 c bounds -25 >= -285 @ 2.42059 3.27/3.36 c bounds -25 >= -284 @ 2.42059 3.27/3.36 c bounds -25 >= -283 @ 2.4214 3.27/3.36 c bounds -25 >= -282 @ 2.42159 3.27/3.36 c bounds -25 >= -281 @ 2.42198 3.27/3.36 c bounds -25 >= -280 @ 2.42293 3.27/3.36 c bounds -25 >= -279 @ 2.42387 3.27/3.36 c bounds -25 >= -278 @ 2.42458 3.27/3.36 c bounds -25 >= -277 @ 2.4257 3.27/3.36 c bounds -25 >= -276 @ 2.42658 3.27/3.36 c bounds -25 >= -275 @ 2.42757 3.27/3.36 c bounds -25 >= -274 @ 2.42886 3.27/3.36 c bounds -25 >= -273 @ 2.42957 3.27/3.36 c bounds -25 >= -272 @ 2.43051 3.27/3.36 c bounds -25 >= -271 @ 2.43086 3.27/3.36 c bounds -25 >= -270 @ 2.43194 3.27/3.36 c bounds -25 >= -269 @ 2.43334 3.27/3.36 c bounds -25 >= -268 @ 2.43394 3.27/3.36 c bounds -25 >= -267 @ 2.43455 3.27/3.36 c bounds -25 >= -266 @ 2.43588 3.27/3.36 c bounds -25 >= -265 @ 2.43792 3.27/3.36 c bounds -25 >= -264 @ 2.43854 3.27/3.36 c bounds -25 >= -263 @ 2.43999 3.27/3.36 c bounds -25 >= -262 @ 2.44151 3.27/3.36 c bounds -25 >= -261 @ 2.44153 3.27/3.36 c #Conflicts: 2000 | #Constraints: 99600 3.27/3.36 c INPROCESSING 3.27/3.36 c GARBAGE COLLECT 3.27/3.36 c rational objective -261 4.47/4.50 c bounds -25 >= -260 @ 2.6782 4.47/4.50 c bounds -25 >= -259 @ 2.67989 4.47/4.50 c bounds -25 >= -258 @ 2.68003 4.47/4.50 c bounds -25 >= -257 @ 2.68135 4.47/4.50 c bounds -25 >= -256 @ 2.68238 4.47/4.50 c bounds -25 >= -255 @ 2.68334 4.47/4.50 c bounds -25 >= -254 @ 2.68402 4.47/4.50 c bounds -25 >= -253 @ 2.68402 4.47/4.50 c bounds -25 >= -252 @ 2.68517 4.47/4.50 c bounds -25 >= -251 @ 2.68602 4.47/4.50 c bounds -25 >= -250 @ 2.68602 4.47/4.50 c bounds -25 >= -249 @ 2.68726 4.47/4.50 c bounds -25 >= -248 @ 2.68801 4.47/4.50 c bounds -25 >= -247 @ 2.68841 4.47/4.50 c bounds -25 >= -246 @ 2.68901 4.47/4.50 c bounds -25 >= -245 @ 2.68901 4.47/4.50 c bounds -25 >= -244 @ 2.68901 4.47/4.50 c bounds -25 >= -243 @ 2.68983 4.47/4.50 c bounds -25 >= -242 @ 2.69 4.47/4.50 c bounds -25 >= -241 @ 2.691 4.47/4.50 c bounds -25 >= -240 @ 2.691 4.47/4.50 c bounds -25 >= -239 @ 2.69149 4.47/4.50 c bounds -25 >= -238 @ 2.69261 4.47/4.50 c bounds -25 >= -237 @ 2.88531 4.47/4.50 c bounds -25 >= -236 @ 2.88661 4.47/4.50 c bounds -25 >= -235 @ 2.88793 4.47/4.50 c bounds -25 >= -234 @ 2.88923 4.47/4.50 c bounds -26 >= -234 @ 2.89327 4.47/4.50 c bounds -26 >= -233 @ 2.8936 4.47/4.50 c bounds -26 >= -232 @ 2.8936 4.47/4.50 c bounds -26 >= -231 @ 2.89392 4.47/4.50 c bounds -26 >= -230 @ 2.89708 4.47/4.50 c bounds -27 >= -230 @ 2.90512 4.47/4.50 c bounds -27 >= -229 @ 2.90555 4.47/4.50 c bounds -27 >= -228 @ 2.90607 4.47/4.50 c bounds -27 >= -227 @ 2.90727 4.47/4.50 c bounds -27 >= -226 @ 2.90754 4.47/4.50 c bounds -27 >= -225 @ 2.90808 4.47/4.50 c bounds -27 >= -224 @ 2.90925 4.47/4.50 c bounds -27 >= -223 @ 2.91053 4.47/4.50 c bounds -27 >= -222 @ 2.912 4.47/4.50 c bounds -27 >= -221 @ 2.91361 4.47/4.50 c bounds -28 >= -221 @ 2.91563 4.47/4.50 c bounds -28 >= -220 @ 2.91652 4.47/4.50 c bounds -28 >= -219 @ 2.91741 4.47/4.50 c bounds -28 >= -218 @ 2.91752 4.47/4.50 c bounds -29 >= -218 @ 2.92248 4.47/4.50 c bounds -29 >= -217 @ 2.92294 4.47/4.50 c bounds -29 >= -216 @ 2.9245 4.47/4.50 c bounds -29 >= -215 @ 2.92549 4.47/4.50 c bounds -29 >= -214 @ 2.92615 4.47/4.50 c #Conflicts: 3000 | #Constraints: 99476 4.47/4.50 c bounds -29 >= -213 @ 2.92794 4.47/4.50 c bounds -29 >= -212 @ 2.93056 4.47/4.50 c bounds -29 >= -211 @ 2.93551 4.47/4.50 c bounds -30 >= -211 @ 2.93794 4.47/4.50 c bounds -31 >= -211 @ 2.94413 4.47/4.50 c bounds -31 >= -210 @ 2.94571 4.47/4.50 c bounds -31 >= -209 @ 2.94758 4.47/4.50 c bounds -31 >= -208 @ 2.94921 4.47/4.50 c bounds -31 >= -207 @ 2.94976 4.47/4.50 c bounds -31 >= -206 @ 2.95317 4.47/4.50 c bounds -32 >= -206 @ 2.9543 4.47/4.50 c bounds -33 >= -206 @ 2.95442 4.47/4.50 c bounds -34 >= -206 @ 2.95481 4.47/4.50 c bounds -34 >= -205 @ 2.95542 4.47/4.50 c bounds -35 >= -205 @ 2.96323 4.47/4.50 c bounds -35 >= -204 @ 2.96438 4.47/4.50 c bounds -35 >= -203 @ 2.967 4.47/4.50 c bounds -35 >= -202 @ 2.96861 4.47/4.50 c bounds -35 >= -201 @ 2.96938 4.47/4.50 c bounds -36 >= -201 @ 2.98007 4.47/4.50 c bounds -36 >= -200 @ 2.98243 4.47/4.50 c bounds -36 >= -199 @ 2.98397 4.47/4.50 c bounds -36 >= -198 @ 3.17986 4.47/4.50 c bounds -36 >= -197 @ 3.18244 4.47/4.50 c #Conflicts: 4000 | #Constraints: 100672 4.47/4.50 c bounds -36 >= -196 @ 3.18777 4.47/4.50 c bounds -37 >= -196 @ 3.28486 4.47/4.50 c bounds -37 >= -195 @ 3.28666 4.47/4.50 c bounds -37 >= -194 @ 3.28822 4.47/4.50 c bounds -37 >= -193 @ 3.2928 4.47/4.50 c bounds -37 >= -192 @ 3.29799 4.47/4.50 c bounds -37 >= -191 @ 3.30026 4.47/4.50 c bounds -37 >= -190 @ 3.30862 4.47/4.50 c #Conflicts: 5000 | #Constraints: 101742 4.47/4.50 c bounds -37 >= -189 @ 3.31984 4.47/4.50 c bounds -37 >= -188 @ 3.32436 4.47/4.50 c bounds -37 >= -187 @ 3.32851 4.47/4.50 c bounds -37 >= -186 @ 3.33106 4.47/4.50 c bounds -37 >= -185 @ 3.51959 4.47/4.50 c bounds -37 >= -184 @ 3.52572 4.47/4.50 c bounds -37 >= -183 @ 3.53056 4.47/4.50 c bounds -37 >= -182 @ 3.53414 4.47/4.50 c bounds -37 >= -181 @ 3.53886 4.47/4.50 c bounds -37 >= -180 @ 3.54811 4.47/4.50 c #Conflicts: 6000 | #Constraints: 102841 4.47/4.50 c INPROCESSING 4.47/4.50 c GARBAGE COLLECT 4.47/4.50 c rational objective -180 7.76/7.87 c bounds -37 >= -179 @ 3.75547 7.76/7.87 c bounds -37 >= -178 @ 3.76024 7.76/7.87 c bounds -37 >= -177 @ 3.76295 7.76/7.87 c bounds -37 >= -176 @ 3.76813 7.76/7.87 c bounds -37 >= -175 @ 3.77551 7.76/7.87 c bounds -37 >= -174 @ 3.77872 7.76/7.87 c #Conflicts: 7000 | #Constraints: 101783 7.76/7.87 c bounds -37 >= -173 @ 3.97198 7.76/7.87 c bounds -37 >= -172 @ 3.9809 7.76/7.87 c bounds -37 >= -171 @ 3.98505 7.76/7.87 c bounds -37 >= -170 @ 3.98863 7.76/7.87 c bounds -37 >= -169 @ 3.99579 7.76/7.87 c bounds -37 >= -168 @ 4.00659 7.76/7.87 c #Conflicts: 8000 | #Constraints: 102867 7.76/7.87 c bounds -38 >= -168 @ 4.02016 7.76/7.87 c bounds -38 >= -167 @ 4.21979 7.76/7.87 c #Conflicts: 9000 | #Constraints: 103886 7.76/7.87 c #Conflicts: 10000 | #Constraints: 104892 7.76/7.87 c #Conflicts: 11000 | #Constraints: 105918 7.76/7.87 c #Conflicts: 12000 | #Constraints: 106963 7.76/7.87 c INPROCESSING 7.76/7.87 c GARBAGE COLLECT 7.76/7.87 c rational objective -167 8.86/8.99 c bounds -38 >= -166 @ 7.20928 8.86/8.99 c bounds -38 >= -165 @ 7.40473 8.86/8.99 c #Conflicts: 13000 | #Constraints: 103143 8.86/8.99 c bounds -38 >= -164 @ 7.42144 8.86/8.99 c bounds -38 >= -163 @ 7.43547 8.86/8.99 c #Conflicts: 14000 | #Constraints: 104173 8.86/8.99 c bounds -38 >= -162 @ 7.45954 8.86/8.99 c bounds -38 >= -161 @ 7.65836 8.86/8.99 c bounds -38 >= -160 @ 7.68641 8.86/8.99 c #Conflicts: 15000 | #Constraints: 105215 8.86/8.99 c bounds -38 >= -159 @ 7.88152 8.86/8.99 c bounds -38 >= -158 @ 7.89888 8.86/8.99 c #Conflicts: 16000 | #Constraints: 106245 8.86/8.99 c bounds -38 >= -157 @ 7.92168 8.86/8.99 c INPROCESSING 8.86/8.99 c rational objective -157 11.07/11.14 c bounds -38 >= -156 @ 8.33189 11.07/11.14 c #Conflicts: 17000 | #Constraints: 103934 11.07/11.14 c bounds -38 >= -155 @ 8.55098 11.07/11.14 c #Conflicts: 18000 | #Constraints: 104958 11.07/11.14 c bounds -38 >= -154 @ 8.58188 11.07/11.14 c bounds -38 >= -153 @ 8.7465 11.07/11.14 c #Conflicts: 19000 | #Constraints: 105979 11.07/11.14 c bounds -38 >= -152 @ 8.76439 11.07/11.14 c bounds -38 >= -151 @ 8.91956 11.07/11.14 c #Conflicts: 20000 | #Constraints: 107000 11.07/11.14 c bounds -38 >= -150 @ 8.94818 11.07/11.14 c bounds -38 >= -149 @ 9.13232 11.07/11.14 c #Conflicts: 21000 | #Constraints: 108021 11.07/11.14 c bounds -38 >= -148 @ 9.17686 11.07/11.14 c #Conflicts: 22000 | #Constraints: 109036 11.07/11.14 c bounds -38 >= -147 @ 9.42288 11.07/11.14 c #Conflicts: 23000 | #Constraints: 110045 11.07/11.14 c bounds -38 >= -146 @ 9.4658 11.07/11.14 c bounds -38 >= -145 @ 9.68753 11.07/11.14 c #Conflicts: 24000 | #Constraints: 111072 11.07/11.14 c bounds -38 >= -144 @ 9.90996 11.07/11.14 c #Conflicts: 25000 | #Constraints: 112087 11.07/11.14 c INPROCESSING 11.07/11.14 c GARBAGE COLLECT 11.07/11.14 c rational objective -144 14.95/15.10 c #Conflicts: 26000 | #Constraints: 105885 14.95/15.10 c bounds -38 >= -143 @ 10.4268 14.95/15.10 c bounds -38 >= -142 @ 10.5872 14.95/15.10 c #Conflicts: 27000 | #Constraints: 106915 14.95/15.10 c bounds -38 >= -141 @ 10.738 14.95/15.10 c bounds -38 >= -140 @ 10.7414 14.95/15.10 c #Conflicts: 28000 | #Constraints: 107927 14.95/15.10 c bounds -38 >= -139 @ 10.7444 14.95/15.10 c bounds -38 >= -138 @ 10.9098 14.95/15.10 c bounds -38 >= -137 @ 10.9122 14.95/15.10 c #Conflicts: 29000 | #Constraints: 108948 14.95/15.10 c bounds -38 >= -136 @ 10.9971 14.95/15.10 c bounds -38 >= -135 @ 11.1044 14.95/15.10 c #Conflicts: 30000 | #Constraints: 109987 14.95/15.10 c bounds -38 >= -134 @ 11.1188 14.95/15.10 c bounds -38 >= -133 @ 11.2105 14.95/15.10 c bounds -38 >= -132 @ 11.217 14.95/15.10 c bounds -38 >= -131 @ 11.2384 14.95/15.10 c #Conflicts: 31000 | #Constraints: 111038 14.95/15.10 c bounds -38 >= -130 @ 11.4656 14.95/15.10 c #Conflicts: 32000 | #Constraints: 112053 14.95/15.10 c #Conflicts: 33000 | #Constraints: 113053 14.95/15.10 c bounds -38 >= -129 @ 11.747 14.95/15.10 c #Conflicts: 34000 | #Constraints: 114071 14.95/15.10 c #Conflicts: 35000 | #Constraints: 115071 14.95/15.10 c bounds -38 >= -128 @ 13.5907 14.95/15.10 c #Conflicts: 36000 | #Constraints: 116083 14.95/15.10 c INPROCESSING 14.95/15.10 c GARBAGE COLLECT 14.95/15.10 c rational objective -128 61.11/61.37 c #Conflicts: 37000 | #Constraints: 107829 61.11/61.37 c #Conflicts: 38000 | #Constraints: 108829 61.11/61.37 c #Conflicts: 39000 | #Constraints: 109829 61.11/61.37 c bounds -38 >= -127 @ 21.1546 61.11/61.37 c #Conflicts: 40000 | #Constraints: 110844 61.11/61.37 c #Conflicts: 41000 | #Constraints: 111844 61.11/61.37 c #Conflicts: 42000 | #Constraints: 112844 61.11/61.37 c #Conflicts: 43000 | #Constraints: 113844 61.11/61.37 c bounds -38 >= -126 @ 30.5 61.11/61.37 c #Conflicts: 44000 | #Constraints: 114868 61.11/61.37 c #Conflicts: 45000 | #Constraints: 115868 61.11/61.37 c #Conflicts: 46000 | #Constraints: 116868 61.11/61.37 c #Conflicts: 47000 | #Constraints: 117868 61.11/61.37 c #Conflicts: 48000 | #Constraints: 118868 61.11/61.37 c #Conflicts: 49000 | #Constraints: 119868 61.11/61.37 c INPROCESSING 61.11/61.37 c GARBAGE COLLECT 61.11/61.37 c rational objective -126 93.11/93.43 c #Conflicts: 50000 | #Constraints: 109607 93.11/93.43 c #Conflicts: 51000 | #Constraints: 110607 93.11/93.43 c #Conflicts: 52000 | #Constraints: 111607 93.11/93.43 c #Conflicts: 53000 | #Constraints: 112607 93.11/93.43 c #Conflicts: 54000 | #Constraints: 113607 93.11/93.43 c #Conflicts: 55000 | #Constraints: 114607 93.11/93.43 c bounds -38 >= -125 @ 87.7965 93.11/93.43 c #Conflicts: 56000 | #Constraints: 115625 93.11/93.43 c #Conflicts: 57000 | #Constraints: 116625 93.11/93.43 c INPROCESSING 93.11/93.43 c GARBAGE COLLECT 93.11/93.43 c rational objective -125 108.56/108.98 c #Conflicts: 58000 | #Constraints: 109120 108.56/108.98 c bounds -38 >= -124 @ 93.3711 108.56/108.98 c #Conflicts: 59000 | #Constraints: 110129 108.56/108.98 c #Conflicts: 60000 | #Constraints: 111129 108.56/108.98 c #Conflicts: 61000 | #Constraints: 112129 108.56/108.98 c #Conflicts: 62000 | #Constraints: 113129 108.56/108.98 c #Conflicts: 63000 | #Constraints: 114129 108.56/108.98 c bounds -38 >= -123 @ 95.7024 108.56/108.98 c #Conflicts: 64000 | #Constraints: 115156 108.56/108.98 c bounds -38 >= -122 @ 95.9344 108.56/108.98 c bounds -38 >= -121 @ 96.1478 108.56/108.98 c #Conflicts: 65000 | #Constraints: 116183 108.56/108.98 c #Conflicts: 66000 | #Constraints: 117183 108.56/108.98 c #Conflicts: 67000 | #Constraints: 118183 108.56/108.98 c #Conflicts: 68000 | #Constraints: 119183 108.56/108.98 c bounds -38 >= -120 @ 98.8582 108.56/108.98 c #Conflicts: 69000 | #Constraints: 120201 108.56/108.98 c #Conflicts: 70000 | #Constraints: 121201 108.56/108.98 c #Conflicts: 71000 | #Constraints: 122201 108.56/108.98 c #Conflicts: 72000 | #Constraints: 123201 108.56/108.98 c #Conflicts: 73000 | #Constraints: 124201 108.56/108.98 c INPROCESSING 108.56/108.98 c GARBAGE COLLECT 108.56/108.98 c rational objective -120 126.63/127.07 c #Conflicts: 74000 | #Constraints: 111735 126.63/127.07 c bounds -39 >= -120 @ 107.375 126.63/127.07 c #Conflicts: 75000 | #Constraints: 112759 126.63/127.07 c #Conflicts: 76000 | #Constraints: 113790 126.63/127.07 c #Conflicts: 77000 | #Constraints: 114821 126.63/127.07 c bounds -40 >= -120 @ 110.821 126.63/127.07 c #Conflicts: 78000 | #Constraints: 115853 126.63/127.07 c #Conflicts: 79000 | #Constraints: 116853 126.63/127.07 c #Conflicts: 80000 | #Constraints: 117853 126.63/127.07 c #Conflicts: 81000 | #Constraints: 118853 126.63/127.07 c bounds -40 >= -119 @ 114.575 126.63/127.07 c #Conflicts: 82000 | #Constraints: 119871 126.63/127.07 c #Conflicts: 83000 | #Constraints: 120871 126.63/127.07 c #Conflicts: 84000 | #Constraints: 121871 126.63/127.07 c #Conflicts: 85000 | #Constraints: 122871 126.63/127.07 c #Conflicts: 86000 | #Constraints: 123871 126.63/127.07 c #Conflicts: 87000 | #Constraints: 124871 126.63/127.07 c bounds -40 >= -118 @ 121.235 126.63/127.07 c #Conflicts: 88000 | #Constraints: 125892 126.63/127.07 c #Conflicts: 89000 | #Constraints: 126892 126.63/127.07 c #Conflicts: 90000 | #Constraints: 127892 126.63/127.07 c #Conflicts: 91000 | #Constraints: 128892 126.63/127.07 c bounds -40 >= -117 @ 124.692 126.63/127.07 c #Conflicts: 92000 | #Constraints: 129919 126.63/127.07 c INPROCESSING 126.63/127.07 c GARBAGE COLLECT 126.63/127.07 c rational objective -117 138.77/139.23 c #Conflicts: 93000 | #Constraints: 114750 138.77/139.23 c #Conflicts: 94000 | #Constraints: 115750 138.77/139.23 c #Conflicts: 95000 | #Constraints: 116750 138.77/139.23 c #Conflicts: 96000 | #Constraints: 117750 138.77/139.23 c #Conflicts: 97000 | #Constraints: 118750 138.77/139.23 c #Conflicts: 98000 | #Constraints: 119750 138.77/139.23 c #Conflicts: 99000 | #Constraints: 120750 138.77/139.23 c bounds -40 >= -116 @ 134.836 138.77/139.23 c #Conflicts: 100000 | #Constraints: 121780 138.77/139.23 c #Conflicts: 101000 | #Constraints: 122780 138.77/139.23 c #Conflicts: 102000 | #Constraints: 123780 138.77/139.23 c INPROCESSING 138.77/139.23 c GARBAGE COLLECT 138.77/139.23 c rational objective -116 178.17/178.78 c #Conflicts: 103000 | #Constraints: 113025 178.17/178.78 c #Conflicts: 104000 | #Constraints: 114063 178.17/178.78 c #Conflicts: 105000 | #Constraints: 115114 178.17/178.78 c #Conflicts: 106000 | #Constraints: 116132 178.17/178.78 c #Conflicts: 107000 | #Constraints: 117168 178.17/178.78 c #Conflicts: 108000 | #Constraints: 118217 178.17/178.78 c #Conflicts: 109000 | #Constraints: 119254 178.17/178.78 c #Conflicts: 110000 | #Constraints: 120298 178.17/178.78 c #Conflicts: 111000 | #Constraints: 121326 178.17/178.78 c #Conflicts: 112000 | #Constraints: 122365 178.17/178.78 c #Conflicts: 113000 | #Constraints: 123399 178.17/178.78 c #Conflicts: 114000 | #Constraints: 124459 178.17/178.78 c #Conflicts: 115000 | #Constraints: 125496 178.17/178.78 c #Conflicts: 116000 | #Constraints: 126549 178.17/178.78 c #Conflicts: 117000 | #Constraints: 127601 178.17/178.78 c #Conflicts: 118000 | #Constraints: 128651 178.17/178.78 c #Conflicts: 119000 | #Constraints: 129681 178.17/178.78 c #Conflicts: 120000 | #Constraints: 130722 178.17/178.78 c #Conflicts: 121000 | #Constraints: 131761 178.17/178.78 c #Conflicts: 122000 | #Constraints: 132806 178.17/178.78 c #Conflicts: 123000 | #Constraints: 133847 178.17/178.78 c INPROCESSING 178.17/178.78 c GARBAGE COLLECT 178.17/178.78 c rational objective -116 188.46/189.09 c #Conflicts: 124000 | #Constraints: 116701 188.46/189.09 c #Conflicts: 125000 | #Constraints: 117701 188.46/189.09 c #Conflicts: 126000 | #Constraints: 118701 188.46/189.09 c #Conflicts: 127000 | #Constraints: 119701 188.46/189.09 c #Conflicts: 128000 | #Constraints: 120701 188.46/189.09 c #Conflicts: 129000 | #Constraints: 121701 188.46/189.09 c #Conflicts: 130000 | #Constraints: 122701 188.46/189.09 c #Conflicts: 131000 | #Constraints: 123701 188.46/189.09 c #Conflicts: 132000 | #Constraints: 124701 188.46/189.09 c #Conflicts: 133000 | #Constraints: 125701 188.46/189.09 c #Conflicts: 134000 | #Constraints: 126701 188.46/189.09 c #Conflicts: 135000 | #Constraints: 127701 188.46/189.09 c INPROCESSING 188.46/189.09 c GARBAGE COLLECT 188.46/189.09 c rational objective -116 217.76/218.47 c #Conflicts: 136000 | #Constraints: 113868 217.76/218.47 c #Conflicts: 137000 | #Constraints: 114868 217.76/218.47 c #Conflicts: 138000 | #Constraints: 115868 217.76/218.47 c #Conflicts: 139000 | #Constraints: 116868 217.76/218.47 c #Conflicts: 140000 | #Constraints: 117868 217.76/218.47 c #Conflicts: 141000 | #Constraints: 118868 217.76/218.47 c #Conflicts: 142000 | #Constraints: 119868 217.76/218.47 c bounds -40 >= -115 @ 194.933 217.76/218.47 c #Conflicts: 143000 | #Constraints: 120895 217.76/218.47 c #Conflicts: 144000 | #Constraints: 121895 217.76/218.47 c #Conflicts: 145000 | #Constraints: 122895 217.76/218.47 c #Conflicts: 146000 | #Constraints: 123895 217.76/218.47 c #Conflicts: 147000 | #Constraints: 124895 217.76/218.47 c #Conflicts: 148000 | #Constraints: 125895 217.76/218.47 c #Conflicts: 149000 | #Constraints: 126895 217.76/218.47 c #Conflicts: 150000 | #Constraints: 127895 217.76/218.47 c #Conflicts: 151000 | #Constraints: 128895 217.76/218.47 c #Conflicts: 152000 | #Constraints: 129895 217.76/218.47 c #Conflicts: 153000 | #Constraints: 130895 217.76/218.47 c #Conflicts: 154000 | #Constraints: 131895 217.76/218.47 c #Conflicts: 155000 | #Constraints: 132895 217.76/218.47 c #Conflicts: 156000 | #Constraints: 133895 217.76/218.47 c #Conflicts: 157000 | #Constraints: 134895 217.76/218.47 c #Conflicts: 158000 | #Constraints: 135895 217.76/218.47 c #Conflicts: 159000 | #Constraints: 136895 217.76/218.47 c INPROCESSING 217.76/218.47 c GARBAGE COLLECT 217.76/218.47 c rational objective -115 235.82/236.57 c #Conflicts: 160000 | #Constraints: 118331 235.82/236.57 c #Conflicts: 161000 | #Constraints: 119331 235.82/236.57 c #Conflicts: 162000 | #Constraints: 120331 235.82/236.57 c #Conflicts: 163000 | #Constraints: 121331 235.82/236.57 c #Conflicts: 164000 | #Constraints: 122331 235.82/236.57 c #Conflicts: 165000 | #Constraints: 123331 235.82/236.57 c #Conflicts: 166000 | #Constraints: 124331 235.82/236.57 c #Conflicts: 167000 | #Constraints: 125331 235.82/236.57 c #Conflicts: 168000 | #Constraints: 126331 235.82/236.57 c #Conflicts: 169000 | #Constraints: 127331 235.82/236.57 c #Conflicts: 170000 | #Constraints: 128331 235.82/236.57 c #Conflicts: 171000 | #Constraints: 129331 235.82/236.57 c #Conflicts: 172000 | #Constraints: 130331 235.82/236.57 c INPROCESSING 235.82/236.57 c GARBAGE COLLECT 235.82/236.57 c rational objective -115 275.61/276.44 c #Conflicts: 173000 | #Constraints: 115245 275.61/276.44 c #Conflicts: 174000 | #Constraints: 116245 275.61/276.44 c #Conflicts: 175000 | #Constraints: 117245 275.61/276.44 c #Conflicts: 176000 | #Constraints: 118245 275.61/276.44 c #Conflicts: 177000 | #Constraints: 119245 275.61/276.44 c #Conflicts: 178000 | #Constraints: 120245 275.61/276.44 c #Conflicts: 179000 | #Constraints: 121245 275.61/276.44 c #Conflicts: 180000 | #Constraints: 122245 275.61/276.44 c bounds -40 >= -114 @ 241.112 275.61/276.44 c #Conflicts: 181000 | #Constraints: 123284 275.61/276.44 c #Conflicts: 182000 | #Constraints: 124284 275.61/276.44 c #Conflicts: 183000 | #Constraints: 125284 275.61/276.44 c #Conflicts: 184000 | #Constraints: 126284 275.61/276.44 c #Conflicts: 185000 | #Constraints: 127284 275.61/276.44 c #Conflicts: 186000 | #Constraints: 128284 275.61/276.44 c #Conflicts: 187000 | #Constraints: 129284 275.61/276.44 c #Conflicts: 188000 | #Constraints: 130284 275.61/276.44 c #Conflicts: 189000 | #Constraints: 131284 275.61/276.44 c #Conflicts: 190000 | #Constraints: 132284 275.61/276.44 c #Conflicts: 191000 | #Constraints: 133284 275.61/276.44 c #Conflicts: 192000 | #Constraints: 134284 275.61/276.44 c #Conflicts: 193000 | #Constraints: 135284 275.61/276.44 c #Conflicts: 194000 | #Constraints: 136284 275.61/276.44 c #Conflicts: 195000 | #Constraints: 137284 275.61/276.44 c #Conflicts: 196000 | #Constraints: 138284 275.61/276.44 c #Conflicts: 197000 | #Constraints: 139284 275.61/276.44 c #Conflicts: 198000 | #Constraints: 140284 275.61/276.44 c #Conflicts: 199000 | #Constraints: 141284 275.61/276.44 c #Conflicts: 200000 | #Constraints: 142284 275.61/276.44 c INPROCESSING 275.61/276.44 c GARBAGE COLLECT 275.61/276.44 c rational objective -114 293.56/294.46 c #Conflicts: 201000 | #Constraints: 121331 293.56/294.46 c #Conflicts: 202000 | #Constraints: 122331 293.56/294.46 c #Conflicts: 203000 | #Constraints: 123331 293.56/294.46 c #Conflicts: 204000 | #Constraints: 124331 293.56/294.46 c #Conflicts: 205000 | #Constraints: 125331 293.56/294.46 c #Conflicts: 206000 | #Constraints: 126331 293.56/294.46 c #Conflicts: 207000 | #Constraints: 127331 293.56/294.46 c #Conflicts: 208000 | #Constraints: 128331 293.56/294.46 c #Conflicts: 209000 | #Constraints: 129331 293.56/294.46 c #Conflicts: 210000 | #Constraints: 130331 293.56/294.46 c bounds -40 >= -113 @ 287.327 293.56/294.46 c #Conflicts: 211000 | #Constraints: 131355 293.56/294.46 c #Conflicts: 212000 | #Constraints: 132355 293.56/294.46 c #Conflicts: 213000 | #Constraints: 133355 293.56/294.46 c #Conflicts: 214000 | #Constraints: 134355 293.56/294.46 c INPROCESSING 293.56/294.46 c GARBAGE COLLECT 293.56/294.46 c rational objective -113 334.27/335.26 c #Conflicts: 215000 | #Constraints: 117257 334.27/335.26 c #Conflicts: 216000 | #Constraints: 118257 334.27/335.26 c #Conflicts: 217000 | #Constraints: 119257 334.27/335.26 c #Conflicts: 218000 | #Constraints: 120257 334.27/335.26 c #Conflicts: 219000 | #Constraints: 121257 334.27/335.26 c #Conflicts: 220000 | #Constraints: 122257 334.27/335.26 c #Conflicts: 221000 | #Constraints: 123257 334.27/335.26 c #Conflicts: 222000 | #Constraints: 124257 334.27/335.26 c #Conflicts: 223000 | #Constraints: 125257 334.27/335.26 c #Conflicts: 224000 | #Constraints: 126257 334.27/335.26 c #Conflicts: 225000 | #Constraints: 127257 334.27/335.26 c #Conflicts: 226000 | #Constraints: 128257 334.27/335.26 c #Conflicts: 227000 | #Constraints: 129257 334.27/335.26 c #Conflicts: 228000 | #Constraints: 130257 334.27/335.26 c #Conflicts: 229000 | #Constraints: 131257 334.27/335.26 c #Conflicts: 230000 | #Constraints: 132257 334.27/335.26 c #Conflicts: 231000 | #Constraints: 133257 334.27/335.26 c #Conflicts: 232000 | #Constraints: 134257 334.27/335.26 c #Conflicts: 233000 | #Constraints: 135257 334.27/335.26 c #Conflicts: 234000 | #Constraints: 136257 334.27/335.26 c #Conflicts: 235000 | #Constraints: 137257 334.27/335.26 c #Conflicts: 236000 | #Constraints: 138257 334.27/335.26 c #Conflicts: 237000 | #Constraints: 139257 334.27/335.26 c #Conflicts: 238000 | #Constraints: 140257 334.27/335.26 c #Conflicts: 239000 | #Constraints: 141257 334.27/335.26 c #Conflicts: 240000 | #Constraints: 142257 334.27/335.26 c #Conflicts: 241000 | #Constraints: 143257 334.27/335.26 c #Conflicts: 242000 | #Constraints: 144257 334.27/335.26 c #Conflicts: 243000 | #Constraints: 145257 334.27/335.26 c #Conflicts: 244000 | #Constraints: 146257 334.27/335.26 c INPROCESSING 334.27/335.26 c GARBAGE COLLECT 334.27/335.26 c rational objective -113 354.91/355.93 c #Conflicts: 245000 | #Constraints: 122945 354.91/355.93 c #Conflicts: 246000 | #Constraints: 123945 354.91/355.93 c #Conflicts: 247000 | #Constraints: 124945 354.91/355.93 c #Conflicts: 248000 | #Constraints: 125945 354.91/355.93 c #Conflicts: 249000 | #Constraints: 126945 354.91/355.93 c #Conflicts: 250000 | #Constraints: 127945 354.91/355.93 c #Conflicts: 251000 | #Constraints: 128945 354.91/355.93 c #Conflicts: 252000 | #Constraints: 129945 354.91/355.93 c #Conflicts: 253000 | #Constraints: 130945 354.91/355.93 c #Conflicts: 254000 | #Constraints: 131945 354.91/355.93 c #Conflicts: 255000 | #Constraints: 132945 354.91/355.93 c #Conflicts: 256000 | #Constraints: 133945 354.91/355.93 c #Conflicts: 257000 | #Constraints: 134945 354.91/355.93 c #Conflicts: 258000 | #Constraints: 135945 354.91/355.93 c #Conflicts: 259000 | #Constraints: 136945 354.91/355.93 c #Conflicts: 260000 | #Constraints: 137945 354.91/355.93 c INPROCESSING 354.91/355.93 c GARBAGE COLLECT 354.91/355.93 c rational objective -113 410.27/411.45 c #Conflicts: 261000 | #Constraints: 119048 410.27/411.45 c #Conflicts: 262000 | #Constraints: 120048 410.27/411.45 c #Conflicts: 263000 | #Constraints: 121048 410.27/411.45 c #Conflicts: 264000 | #Constraints: 122048 410.27/411.45 c #Conflicts: 265000 | #Constraints: 123048 410.27/411.45 c #Conflicts: 266000 | #Constraints: 124048 410.27/411.45 c #Conflicts: 267000 | #Constraints: 125048 410.27/411.45 c #Conflicts: 268000 | #Constraints: 126048 410.27/411.45 c #Conflicts: 269000 | #Constraints: 127048 410.27/411.45 c #Conflicts: 270000 | #Constraints: 128048 410.27/411.45 c #Conflicts: 271000 | #Constraints: 129048 410.27/411.45 c #Conflicts: 272000 | #Constraints: 130048 410.27/411.45 c #Conflicts: 273000 | #Constraints: 131048 410.27/411.45 c #Conflicts: 274000 | #Constraints: 132048 410.27/411.45 c #Conflicts: 275000 | #Constraints: 133048 410.27/411.45 c #Conflicts: 276000 | #Constraints: 134048 410.27/411.45 c #Conflicts: 277000 | #Constraints: 135048 410.27/411.45 c #Conflicts: 278000 | #Constraints: 136048 410.27/411.45 c #Conflicts: 279000 | #Constraints: 137048 410.27/411.45 c #Conflicts: 280000 | #Constraints: 138048 410.27/411.45 c #Conflicts: 281000 | #Constraints: 139048 410.27/411.45 c #Conflicts: 282000 | #Constraints: 140048 410.27/411.45 c #Conflicts: 283000 | #Constraints: 141048 410.27/411.45 c #Conflicts: 284000 | #Constraints: 142048 410.27/411.45 c #Conflicts: 285000 | #Constraints: 143048 410.27/411.45 c #Conflicts: 286000 | #Constraints: 144048 410.27/411.45 c #Conflicts: 287000 | #Constraints: 145048 410.27/411.45 c #Conflicts: 288000 | #Constraints: 146048 410.27/411.45 c #Conflicts: 289000 | #Constraints: 147048 410.27/411.45 c #Conflicts: 290000 | #Constraints: 148048 410.27/411.45 c #Conflicts: 291000 | #Constraints: 149048 410.27/411.45 c #Conflicts: 292000 | #Constraints: 150048 410.27/411.45 c #Conflicts: 293000 | #Constraints: 151048 410.27/411.45 c #Conflicts: 294000 | #Constraints: 152048 410.27/411.45 c INPROCESSING 410.27/411.45 c GARBAGE COLLECT 410.27/411.45 c rational objective -113 441.18/442.46 c #Conflicts: 295000 | #Constraints: 126239 441.18/442.46 c #Conflicts: 296000 | #Constraints: 127239 441.18/442.46 c #Conflicts: 297000 | #Constraints: 128239 441.18/442.46 c #Conflicts: 298000 | #Constraints: 129239 441.18/442.46 c #Conflicts: 299000 | #Constraints: 130239 441.18/442.46 c #Conflicts: 300000 | #Constraints: 131239 441.18/442.46 c #Conflicts: 301000 | #Constraints: 132239 441.18/442.46 c #Conflicts: 302000 | #Constraints: 133239 441.18/442.46 c #Conflicts: 303000 | #Constraints: 134239 441.18/442.46 c #Conflicts: 304000 | #Constraints: 135239 441.18/442.46 c #Conflicts: 305000 | #Constraints: 136239 441.18/442.46 c #Conflicts: 306000 | #Constraints: 137239 441.18/442.46 c #Conflicts: 307000 | #Constraints: 138239 441.18/442.46 c #Conflicts: 308000 | #Constraints: 139239 441.18/442.46 c #Conflicts: 309000 | #Constraints: 140239 441.18/442.46 c #Conflicts: 310000 | #Constraints: 141239 441.18/442.46 c INPROCESSING 441.18/442.46 c GARBAGE COLLECT 441.18/442.46 c rational objective -113 515.60/517.10 c #Conflicts: 311000 | #Constraints: 120443 515.60/517.10 c #Conflicts: 312000 | #Constraints: 121443 515.60/517.10 c #Conflicts: 313000 | #Constraints: 122443 515.60/517.10 c #Conflicts: 314000 | #Constraints: 123443 515.60/517.10 c #Conflicts: 315000 | #Constraints: 124443 515.60/517.10 c #Conflicts: 316000 | #Constraints: 125443 515.60/517.10 c #Conflicts: 317000 | #Constraints: 126443 515.60/517.10 c #Conflicts: 318000 | #Constraints: 127443 515.60/517.10 c #Conflicts: 319000 | #Constraints: 128443 515.60/517.10 c #Conflicts: 320000 | #Constraints: 129443 515.60/517.10 c #Conflicts: 321000 | #Constraints: 130443 515.60/517.10 c #Conflicts: 322000 | #Constraints: 131443 515.60/517.10 c #Conflicts: 323000 | #Constraints: 132443 515.60/517.10 c #Conflicts: 324000 | #Constraints: 133443 515.60/517.10 c #Conflicts: 325000 | #Constraints: 134443 515.60/517.10 c #Conflicts: 326000 | #Constraints: 135443 515.60/517.10 c #Conflicts: 327000 | #Constraints: 136443 515.60/517.10 c #Conflicts: 328000 | #Constraints: 137443 515.60/517.10 c #Conflicts: 329000 | #Constraints: 138443 515.60/517.10 c #Conflicts: 330000 | #Constraints: 139443 515.60/517.10 c #Conflicts: 331000 | #Constraints: 140443 515.60/517.10 c #Conflicts: 332000 | #Constraints: 141443 515.60/517.10 c #Conflicts: 333000 | #Constraints: 142443 515.60/517.10 c #Conflicts: 334000 | #Constraints: 143443 515.60/517.10 c #Conflicts: 335000 | #Constraints: 144443 515.60/517.10 c #Conflicts: 336000 | #Constraints: 145443 515.60/517.10 c #Conflicts: 337000 | #Constraints: 146443 515.60/517.10 c #Conflicts: 338000 | #Constraints: 147443 515.60/517.10 c #Conflicts: 339000 | #Constraints: 148443 515.60/517.10 c #Conflicts: 340000 | #Constraints: 149443 515.60/517.10 c #Conflicts: 341000 | #Constraints: 150443 515.60/517.10 c #Conflicts: 342000 | #Constraints: 151443 515.60/517.10 c #Conflicts: 343000 | #Constraints: 152443 515.60/517.10 c #Conflicts: 344000 | #Constraints: 153443 515.60/517.10 c #Conflicts: 345000 | #Constraints: 154443 515.60/517.10 c #Conflicts: 346000 | #Constraints: 155443 515.60/517.10 c #Conflicts: 347000 | #Constraints: 156443 515.60/517.10 c INPROCESSING 515.60/517.10 c GARBAGE COLLECT 515.60/517.10 c rational objective -113 548.79/550.37 c #Conflicts: 348000 | #Constraints: 128154 548.79/550.37 c bounds -41 >= -113 @ 511.812 548.79/550.37 c #Conflicts: 349000 | #Constraints: 129164 548.79/550.37 c #Conflicts: 350000 | #Constraints: 130213 548.79/550.37 c #Conflicts: 351000 | #Constraints: 131243 548.79/550.37 c #Conflicts: 352000 | #Constraints: 132266 548.79/550.37 c #Conflicts: 353000 | #Constraints: 133294 548.79/550.37 c #Conflicts: 354000 | #Constraints: 134342 548.79/550.37 c #Conflicts: 355000 | #Constraints: 135391 548.79/550.37 c #Conflicts: 356000 | #Constraints: 136458 548.79/550.37 c #Conflicts: 357000 | #Constraints: 137507 548.79/550.37 c #Conflicts: 358000 | #Constraints: 138562 548.79/550.37 c #Conflicts: 359000 | #Constraints: 139605 548.79/550.37 c #Conflicts: 360000 | #Constraints: 140657 548.79/550.37 c #Conflicts: 361000 | #Constraints: 141703 548.79/550.37 c #Conflicts: 362000 | #Constraints: 142760 548.79/550.37 c #Conflicts: 363000 | #Constraints: 143813 548.79/550.37 c #Conflicts: 364000 | #Constraints: 144849 548.79/550.37 c #Conflicts: 365000 | #Constraints: 145898 548.79/550.37 c INPROCESSING 548.79/550.37 c GARBAGE COLLECT 548.79/550.37 c rational objective -113 578.32/579.97 c #Conflicts: 366000 | #Constraints: 122725 578.32/579.97 c #Conflicts: 367000 | #Constraints: 123725 578.32/579.97 c #Conflicts: 368000 | #Constraints: 124725 578.32/579.97 c #Conflicts: 369000 | #Constraints: 125725 578.32/579.97 c #Conflicts: 370000 | #Constraints: 126725 578.32/579.97 c #Conflicts: 371000 | #Constraints: 127725 578.32/579.97 c #Conflicts: 372000 | #Constraints: 128725 578.32/579.97 c #Conflicts: 373000 | #Constraints: 129725 578.32/579.97 c #Conflicts: 374000 | #Constraints: 130725 578.32/579.97 c #Conflicts: 375000 | #Constraints: 131725 578.32/579.97 c #Conflicts: 376000 | #Constraints: 132725 578.32/579.97 c #Conflicts: 377000 | #Constraints: 133725 578.32/579.97 c #Conflicts: 378000 | #Constraints: 134725 578.32/579.97 c #Conflicts: 379000 | #Constraints: 135725 578.32/579.97 c #Conflicts: 380000 | #Constraints: 136725 578.32/579.97 c #Conflicts: 381000 | #Constraints: 137725 578.32/579.97 c #Conflicts: 382000 | #Constraints: 138725 578.32/579.97 c #Conflicts: 383000 | #Constraints: 139725 578.32/579.97 c #Conflicts: 384000 | #Constraints: 140725 578.32/579.97 c INPROCESSING 578.32/579.97 c GARBAGE COLLECT 578.32/579.97 c rational objective -113 647.54/649.38 c #Conflicts: 385000 | #Constraints: 120834 647.54/649.38 c #Conflicts: 386000 | #Constraints: 121834 647.54/649.38 c #Conflicts: 387000 | #Constraints: 122834 647.54/649.38 c #Conflicts: 388000 | #Constraints: 123834 647.54/649.38 c #Conflicts: 389000 | #Constraints: 124834 647.54/649.38 c #Conflicts: 390000 | #Constraints: 125834 647.54/649.38 c #Conflicts: 391000 | #Constraints: 126834 647.54/649.38 c #Conflicts: 392000 | #Constraints: 127834 647.54/649.38 c #Conflicts: 393000 | #Constraints: 128834 647.54/649.38 c #Conflicts: 394000 | #Constraints: 129834 647.54/649.38 c #Conflicts: 395000 | #Constraints: 130834 647.54/649.38 c #Conflicts: 396000 | #Constraints: 131834 647.54/649.38 c #Conflicts: 397000 | #Constraints: 132834 647.54/649.38 c #Conflicts: 398000 | #Constraints: 133834 647.54/649.38 c #Conflicts: 399000 | #Constraints: 134834 647.54/649.38 c #Conflicts: 400000 | #Constraints: 135834 647.54/649.38 c #Conflicts: 401000 | #Constraints: 136834 647.54/649.38 c #Conflicts: 402000 | #Constraints: 137834 647.54/649.38 c #Conflicts: 403000 | #Constraints: 138834 647.54/649.38 c #Conflicts: 404000 | #Constraints: 139834 647.54/649.38 c #Conflicts: 405000 | #Constraints: 140834 647.54/649.38 c #Conflicts: 406000 | #Constraints: 141834 647.54/649.38 c #Conflicts: 407000 | #Constraints: 142834 647.54/649.38 c #Conflicts: 408000 | #Constraints: 143834 647.54/649.38 c #Conflicts: 409000 | #Constraints: 144834 647.54/649.38 c #Conflicts: 410000 | #Constraints: 145834 647.54/649.38 c #Conflicts: 411000 | #Constraints: 146834 647.54/649.38 c #Conflicts: 412000 | #Constraints: 147834 647.54/649.38 c #Conflicts: 413000 | #Constraints: 148834 647.54/649.38 c #Conflicts: 414000 | #Constraints: 149834 647.54/649.38 c #Conflicts: 415000 | #Constraints: 150834 647.54/649.38 c #Conflicts: 416000 | #Constraints: 151834 647.54/649.38 c #Conflicts: 417000 | #Constraints: 152834 647.54/649.38 c #Conflicts: 418000 | #Constraints: 153834 647.54/649.38 c #Conflicts: 419000 | #Constraints: 154834 647.54/649.38 c #Conflicts: 420000 | #Constraints: 155834 647.54/649.38 c #Conflicts: 421000 | #Constraints: 156834 647.54/649.38 c #Conflicts: 422000 | #Constraints: 157834 647.54/649.38 c #Conflicts: 423000 | #Constraints: 158834 647.54/649.38 c #Conflicts: 424000 | #Constraints: 159834 647.54/649.38 c #Conflicts: 425000 | #Constraints: 160834 647.54/649.38 c INPROCESSING 647.54/649.38 c GARBAGE COLLECT 647.54/649.38 c rational objective -113 690.33/692.26 c #Conflicts: 426000 | #Constraints: 130648 690.33/692.26 c #Conflicts: 427000 | #Constraints: 131648 690.33/692.26 c #Conflicts: 428000 | #Constraints: 132648 690.33/692.26 c #Conflicts: 429000 | #Constraints: 133648 690.33/692.26 c #Conflicts: 430000 | #Constraints: 134648 690.33/692.26 c #Conflicts: 431000 | #Constraints: 135648 690.33/692.26 c #Conflicts: 432000 | #Constraints: 136648 690.33/692.26 c #Conflicts: 433000 | #Constraints: 137648 690.33/692.26 c #Conflicts: 434000 | #Constraints: 138648 690.33/692.26 c #Conflicts: 435000 | #Constraints: 139648 690.33/692.26 c #Conflicts: 436000 | #Constraints: 140648 690.33/692.26 c #Conflicts: 437000 | #Constraints: 141648 690.33/692.26 c #Conflicts: 438000 | #Constraints: 142648 690.33/692.26 c #Conflicts: 439000 | #Constraints: 143648 690.33/692.26 c #Conflicts: 440000 | #Constraints: 144648 690.33/692.26 c #Conflicts: 441000 | #Constraints: 145648 690.33/692.26 c #Conflicts: 442000 | #Constraints: 146648 690.33/692.26 c #Conflicts: 443000 | #Constraints: 147648 690.33/692.26 c #Conflicts: 444000 | #Constraints: 148648 690.33/692.26 c INPROCESSING 690.33/692.26 c GARBAGE COLLECT 690.33/692.26 c rational objective -113 742.48/744.54 c #Conflicts: 445000 | #Constraints: 124255 742.48/744.54 c #Conflicts: 446000 | #Constraints: 125273 742.48/744.54 c #Conflicts: 447000 | #Constraints: 126281 742.48/744.54 c #Conflicts: 448000 | #Constraints: 127303 742.48/744.54 c #Conflicts: 449000 | #Constraints: 128331 742.48/744.54 c #Conflicts: 450000 | #Constraints: 129348 742.48/744.54 c #Conflicts: 451000 | #Constraints: 130361 742.48/744.54 c #Conflicts: 452000 | #Constraints: 131384 742.48/744.54 c #Conflicts: 453000 | #Constraints: 132396 742.48/744.54 c #Conflicts: 454000 | #Constraints: 133425 742.48/744.54 c #Conflicts: 455000 | #Constraints: 134454 742.48/744.54 c #Conflicts: 456000 | #Constraints: 135484 742.48/744.54 c #Conflicts: 457000 | #Constraints: 136515 742.48/744.54 c #Conflicts: 458000 | #Constraints: 137548 742.48/744.54 c #Conflicts: 459000 | #Constraints: 138584 742.48/744.54 c #Conflicts: 460000 | #Constraints: 139638 742.48/744.54 c #Conflicts: 461000 | #Constraints: 140659 742.48/744.54 c #Conflicts: 462000 | #Constraints: 141683 742.48/744.54 c #Conflicts: 463000 | #Constraints: 142711 742.48/744.54 c #Conflicts: 464000 | #Constraints: 143728 742.48/744.54 c INPROCESSING 742.48/744.54 c GARBAGE COLLECT 742.48/744.54 c rational objective -113 841.12/843.49 c #Conflicts: 465000 | #Constraints: 121807 841.12/843.49 c #Conflicts: 466000 | #Constraints: 122807 841.12/843.49 c #Conflicts: 467000 | #Constraints: 123807 841.12/843.49 c #Conflicts: 468000 | #Constraints: 124807 841.12/843.49 c #Conflicts: 469000 | #Constraints: 125807 841.12/843.49 c #Conflicts: 470000 | #Constraints: 126807 841.12/843.49 c #Conflicts: 471000 | #Constraints: 127807 841.12/843.49 c #Conflicts: 472000 | #Constraints: 128807 841.12/843.49 c #Conflicts: 473000 | #Constraints: 129807 841.12/843.49 c #Conflicts: 474000 | #Constraints: 130807 841.12/843.49 c #Conflicts: 475000 | #Constraints: 131807 841.12/843.49 c #Conflicts: 476000 | #Constraints: 132807 841.12/843.49 c #Conflicts: 477000 | #Constraints: 133807 841.12/843.49 c #Conflicts: 478000 | #Constraints: 134807 841.12/843.49 c #Conflicts: 479000 | #Constraints: 135807 841.12/843.49 c #Conflicts: 480000 | #Constraints: 136807 841.12/843.49 c #Conflicts: 481000 | #Constraints: 137807 841.12/843.49 c #Conflicts: 482000 | #Constraints: 138807 841.12/843.49 c #Conflicts: 483000 | #Constraints: 139807 841.12/843.49 c #Conflicts: 484000 | #Constraints: 140807 841.12/843.49 c #Conflicts: 485000 | #Constraints: 141807 841.12/843.49 c #Conflicts: 486000 | #Constraints: 142807 841.12/843.49 c #Conflicts: 487000 | #Constraints: 143807 841.12/843.49 c #Conflicts: 488000 | #Constraints: 144807 841.12/843.49 c #Conflicts: 489000 | #Constraints: 145807 841.12/843.49 c #Conflicts: 490000 | #Constraints: 146807 841.12/843.49 c #Conflicts: 491000 | #Constraints: 147807 841.12/843.49 c #Conflicts: 492000 | #Constraints: 148807 841.12/843.49 c #Conflicts: 493000 | #Constraints: 149807 841.12/843.49 c #Conflicts: 494000 | #Constraints: 150807 841.12/843.49 c #Conflicts: 495000 | #Constraints: 151807 841.12/843.49 c #Conflicts: 496000 | #Constraints: 152807 841.12/843.49 c #Conflicts: 497000 | #Constraints: 153807 841.12/843.49 c #Conflicts: 498000 | #Constraints: 154807 841.12/843.49 c #Conflicts: 499000 | #Constraints: 155807 841.12/843.49 c #Conflicts: 500000 | #Constraints: 156807 841.12/843.49 c #Conflicts: 501000 | #Constraints: 157807 841.12/843.49 c #Conflicts: 502000 | #Constraints: 158807 841.12/843.49 c #Conflicts: 503000 | #Constraints: 159807 841.12/843.49 c #Conflicts: 504000 | #Constraints: 160807 841.12/843.49 c #Conflicts: 505000 | #Constraints: 161807 841.12/843.49 c #Conflicts: 506000 | #Constraints: 162807 841.12/843.49 c #Conflicts: 507000 | #Constraints: 163807 841.12/843.49 c #Conflicts: 508000 | #Constraints: 164807 841.12/843.49 c bounds -41 >= -112 @ 832.65 841.12/843.49 c #Conflicts: 509000 | #Constraints: 165840 841.12/843.49 c INPROCESSING 841.12/843.49 c GARBAGE COLLECT 841.12/843.49 c rational objective -112 878.43/880.86 c #Conflicts: 510000 | #Constraints: 132848 878.43/880.86 c #Conflicts: 511000 | #Constraints: 133848 878.43/880.86 c #Conflicts: 512000 | #Constraints: 134848 878.43/880.86 c #Conflicts: 513000 | #Constraints: 135848 878.43/880.86 c #Conflicts: 514000 | #Constraints: 136848 878.43/880.86 c #Conflicts: 515000 | #Constraints: 137848 878.43/880.86 c #Conflicts: 516000 | #Constraints: 138848 878.43/880.86 c #Conflicts: 517000 | #Constraints: 139848 878.43/880.86 c #Conflicts: 518000 | #Constraints: 140848 878.43/880.86 c #Conflicts: 519000 | #Constraints: 141848 878.43/880.86 c #Conflicts: 520000 | #Constraints: 142848 878.43/880.86 c #Conflicts: 521000 | #Constraints: 143848 878.43/880.86 c #Conflicts: 522000 | #Constraints: 144848 878.43/880.86 c #Conflicts: 523000 | #Constraints: 145848 878.43/880.86 c #Conflicts: 524000 | #Constraints: 146848 878.43/880.86 c #Conflicts: 525000 | #Constraints: 147848 878.43/880.86 c #Conflicts: 526000 | #Constraints: 148848 878.43/880.86 c #Conflicts: 527000 | #Constraints: 149848 878.43/880.86 c #Conflicts: 528000 | #Constraints: 150848 878.43/880.86 c #Conflicts: 529000 | #Constraints: 151848 878.43/880.86 c #Conflicts: 530000 | #Constraints: 152848 878.43/880.86 c INPROCESSING 878.43/880.86 c GARBAGE COLLECT 878.43/880.86 c rational objective -112 916.43/919.01 c #Conflicts: 531000 | #Constraints: 126309 916.43/919.01 c #Conflicts: 532000 | #Constraints: 127309 916.43/919.01 c #Conflicts: 533000 | #Constraints: 128309 916.43/919.01 c #Conflicts: 534000 | #Constraints: 129309 916.43/919.01 c #Conflicts: 535000 | #Constraints: 130309 916.43/919.01 c #Conflicts: 536000 | #Constraints: 131309 916.43/919.01 c #Conflicts: 537000 | #Constraints: 132309 916.43/919.01 c #Conflicts: 538000 | #Constraints: 133309 916.43/919.01 c #Conflicts: 539000 | #Constraints: 134309 916.43/919.01 c #Conflicts: 540000 | #Constraints: 135309 916.43/919.01 c #Conflicts: 541000 | #Constraints: 136309 916.43/919.01 c #Conflicts: 542000 | #Constraints: 137309 916.43/919.01 c #Conflicts: 543000 | #Constraints: 138309 916.43/919.01 c #Conflicts: 544000 | #Constraints: 139309 916.43/919.01 c #Conflicts: 545000 | #Constraints: 140309 916.43/919.01 c #Conflicts: 546000 | #Constraints: 141309 916.43/919.01 c #Conflicts: 547000 | #Constraints: 142309 916.43/919.01 c #Conflicts: 548000 | #Constraints: 143309 916.43/919.01 c #Conflicts: 549000 | #Constraints: 144309 916.43/919.01 c #Conflicts: 550000 | #Constraints: 145309 916.43/919.01 c #Conflicts: 551000 | #Constraints: 146309 916.43/919.01 c #Conflicts: 552000 | #Constraints: 147309 916.43/919.01 c INPROCESSING 916.43/919.01 c GARBAGE COLLECT 916.43/919.01 c rational objective -112 1014.70/1017.47 c #Conflicts: 553000 | #Constraints: 123926 1014.70/1017.47 c #Conflicts: 554000 | #Constraints: 124926 1014.70/1017.47 c #Conflicts: 555000 | #Constraints: 125926 1014.70/1017.47 c #Conflicts: 556000 | #Constraints: 126926 1014.70/1017.47 c #Conflicts: 557000 | #Constraints: 127926 1014.70/1017.47 c #Conflicts: 558000 | #Constraints: 128926 1014.70/1017.47 c #Conflicts: 559000 | #Constraints: 129926 1014.70/1017.47 c #Conflicts: 560000 | #Constraints: 130926 1014.70/1017.47 c #Conflicts: 561000 | #Constraints: 131926 1014.70/1017.47 c #Conflicts: 562000 | #Constraints: 132926 1014.70/1017.47 c #Conflicts: 563000 | #Constraints: 133926 1014.70/1017.47 c #Conflicts: 564000 | #Constraints: 134926 1014.70/1017.47 c #Conflicts: 565000 | #Constraints: 135926 1014.70/1017.47 c #Conflicts: 566000 | #Constraints: 136926 1014.70/1017.47 c #Conflicts: 567000 | #Constraints: 137926 1014.70/1017.47 c #Conflicts: 568000 | #Constraints: 138926 1014.70/1017.47 c #Conflicts: 569000 | #Constraints: 139926 1014.70/1017.47 c #Conflicts: 570000 | #Constraints: 140926 1014.70/1017.47 c #Conflicts: 571000 | #Constraints: 141926 1014.70/1017.47 c #Conflicts: 572000 | #Constraints: 142926 1014.70/1017.48 c #Conflicts: 573000 | #Constraints: 143926 1014.70/1017.48 c #Conflicts: 574000 | #Constraints: 144926 1014.70/1017.48 c #Conflicts: 575000 | #Constraints: 145926 1014.70/1017.48 c #Conflicts: 576000 | #Constraints: 146926 1014.70/1017.48 c #Conflicts: 577000 | #Constraints: 147926 1014.70/1017.48 c #Conflicts: 578000 | #Constraints: 148926 1014.70/1017.48 c #Conflicts: 579000 | #Constraints: 149926 1014.70/1017.48 c #Conflicts: 580000 | #Constraints: 150926 1014.70/1017.48 c #Conflicts: 581000 | #Constraints: 151926 1014.70/1017.48 c #Conflicts: 582000 | #Constraints: 152926 1014.70/1017.48 c #Conflicts: 583000 | #Constraints: 153926 1014.70/1017.48 c #Conflicts: 584000 | #Constraints: 154926 1014.70/1017.48 c #Conflicts: 585000 | #Constraints: 155926 1014.70/1017.48 c #Conflicts: 586000 | #Constraints: 156926 1014.70/1017.48 c #Conflicts: 587000 | #Constraints: 157926 1014.70/1017.48 c #Conflicts: 588000 | #Constraints: 158926 1014.70/1017.48 c #Conflicts: 589000 | #Constraints: 159926 1014.70/1017.48 c #Conflicts: 590000 | #Constraints: 160926 1014.70/1017.48 c #Conflicts: 591000 | #Constraints: 161926 1014.70/1017.48 c #Conflicts: 592000 | #Constraints: 162926 1014.70/1017.48 c #Conflicts: 593000 | #Constraints: 163926 1014.70/1017.48 c #Conflicts: 594000 | #Constraints: 164926 1014.70/1017.48 c #Conflicts: 595000 | #Constraints: 165926 1014.70/1017.48 c #Conflicts: 596000 | #Constraints: 166926 1014.70/1017.48 c #Conflicts: 597000 | #Constraints: 167926 1014.70/1017.48 c #Conflicts: 598000 | #Constraints: 168926 1014.70/1017.48 c #Conflicts: 599000 | #Constraints: 169926 1014.70/1017.48 c #Conflicts: 600000 | #Constraints: 170926 1014.70/1017.48 c #Conflicts: 601000 | #Constraints: 171926 1014.70/1017.48 c INPROCESSING 1014.70/1017.48 c GARBAGE COLLECT 1014.70/1017.48 c rational objective -112 1057.09/1059.92 c #Conflicts: 602000 | #Constraints: 136033 1057.09/1059.92 c #Conflicts: 603000 | #Constraints: 137033 1057.09/1059.92 c #Conflicts: 604000 | #Constraints: 138033 1057.09/1059.92 c #Conflicts: 605000 | #Constraints: 139033 1057.09/1059.92 c #Conflicts: 606000 | #Constraints: 140033 1057.09/1059.92 c #Conflicts: 607000 | #Constraints: 141033 1057.09/1059.92 c #Conflicts: 608000 | #Constraints: 142033 1057.09/1059.92 c #Conflicts: 609000 | #Constraints: 143033 1057.09/1059.92 c #Conflicts: 610000 | #Constraints: 144033 1057.09/1059.92 c #Conflicts: 611000 | #Constraints: 145033 1057.09/1059.92 c #Conflicts: 612000 | #Constraints: 146033 1057.09/1059.92 c #Conflicts: 613000 | #Constraints: 147033 1057.09/1059.92 c #Conflicts: 614000 | #Constraints: 148033 1057.09/1059.92 c #Conflicts: 615000 | #Constraints: 149033 1057.09/1059.92 c #Conflicts: 616000 | #Constraints: 150033 1057.09/1059.92 c #Conflicts: 617000 | #Constraints: 151033 1057.09/1059.92 c #Conflicts: 618000 | #Constraints: 152033 1057.09/1059.92 c #Conflicts: 619000 | #Constraints: 153033 1057.09/1059.92 c #Conflicts: 620000 | #Constraints: 154033 1057.09/1059.92 c #Conflicts: 621000 | #Constraints: 155033 1057.09/1059.92 c #Conflicts: 622000 | #Constraints: 156033 1057.09/1059.92 c #Conflicts: 623000 | #Constraints: 157033 1057.09/1059.92 c #Conflicts: 624000 | #Constraints: 158033 1057.09/1059.92 c INPROCESSING 1057.09/1059.92 c GARBAGE COLLECT 1057.09/1059.92 c rational objective -112 1099.21/1102.13 c #Conflicts: 625000 | #Constraints: 129265 1099.21/1102.13 c #Conflicts: 626000 | #Constraints: 130283 1099.21/1102.13 c #Conflicts: 627000 | #Constraints: 131303 1099.21/1102.13 c #Conflicts: 628000 | #Constraints: 132310 1099.21/1102.13 c #Conflicts: 629000 | #Constraints: 133332 1099.21/1102.13 c #Conflicts: 630000 | #Constraints: 134351 1099.21/1102.13 c #Conflicts: 631000 | #Constraints: 135379 1099.21/1102.13 c #Conflicts: 632000 | #Constraints: 136406 1099.21/1102.13 c #Conflicts: 633000 | #Constraints: 137443 1099.21/1102.13 c #Conflicts: 634000 | #Constraints: 138469 1099.21/1102.13 c #Conflicts: 635000 | #Constraints: 139500 1099.21/1102.13 c #Conflicts: 636000 | #Constraints: 140518 1099.21/1102.13 c #Conflicts: 637000 | #Constraints: 141536 1099.21/1102.13 c #Conflicts: 638000 | #Constraints: 142569 1099.21/1102.13 c #Conflicts: 639000 | #Constraints: 143601 1099.21/1102.13 c #Conflicts: 640000 | #Constraints: 144620 1099.21/1102.13 c #Conflicts: 641000 | #Constraints: 145652 1099.21/1102.13 c #Conflicts: 642000 | #Constraints: 146684 1099.21/1102.13 c #Conflicts: 643000 | #Constraints: 147709 1099.21/1102.13 c #Conflicts: 644000 | #Constraints: 148727 1099.21/1102.13 c #Conflicts: 645000 | #Constraints: 149738 1099.21/1102.13 c #Conflicts: 646000 | #Constraints: 150758 1099.21/1102.13 c INPROCESSING 1099.21/1102.13 c GARBAGE COLLECT 1099.21/1102.13 c rational objective -112 1215.01/1218.25 c #Conflicts: 647000 | #Constraints: 125123 1215.01/1218.25 c #Conflicts: 648000 | #Constraints: 126123 1215.01/1218.25 c #Conflicts: 649000 | #Constraints: 127123 1215.01/1218.25 c #Conflicts: 650000 | #Constraints: 128123 1215.01/1218.25 c #Conflicts: 651000 | #Constraints: 129123 1215.01/1218.25 c #Conflicts: 652000 | #Constraints: 130123 1215.01/1218.25 c #Conflicts: 653000 | #Constraints: 131123 1215.01/1218.25 c #Conflicts: 654000 | #Constraints: 132123 1215.01/1218.25 c #Conflicts: 655000 | #Constraints: 133123 1215.01/1218.25 c #Conflicts: 656000 | #Constraints: 134123 1215.01/1218.25 c #Conflicts: 657000 | #Constraints: 135123 1215.01/1218.25 c #Conflicts: 658000 | #Constraints: 136123 1215.01/1218.25 c #Conflicts: 659000 | #Constraints: 137123 1215.01/1218.25 c #Conflicts: 660000 | #Constraints: 138123 1215.01/1218.25 c #Conflicts: 661000 | #Constraints: 139123 1215.01/1218.25 c #Conflicts: 662000 | #Constraints: 140123 1215.01/1218.25 c #Conflicts: 663000 | #Constraints: 141123 1215.01/1218.25 c #Conflicts: 664000 | #Constraints: 142123 1215.01/1218.25 c #Conflicts: 665000 | #Constraints: 143123 1215.01/1218.25 c #Conflicts: 666000 | #Constraints: 144123 1215.01/1218.25 c #Conflicts: 667000 | #Constraints: 145123 1215.01/1218.25 c #Conflicts: 668000 | #Constraints: 146123 1215.01/1218.25 c #Conflicts: 669000 | #Constraints: 147123 1215.01/1218.25 c #Conflicts: 670000 | #Constraints: 148123 1215.01/1218.25 c #Conflicts: 671000 | #Constraints: 149123 1215.01/1218.25 c #Conflicts: 672000 | #Constraints: 150123 1215.01/1218.25 c #Conflicts: 673000 | #Constraints: 151123 1215.01/1218.25 c #Conflicts: 674000 | #Constraints: 152123 1215.01/1218.25 c #Conflicts: 675000 | #Constraints: 153123 1215.01/1218.25 c #Conflicts: 676000 | #Constraints: 154123 1215.01/1218.25 c #Conflicts: 677000 | #Constraints: 155123 1215.01/1218.25 c #Conflicts: 678000 | #Constraints: 156123 1215.01/1218.25 c #Conflicts: 679000 | #Constraints: 157123 1215.01/1218.25 c #Conflicts: 680000 | #Constraints: 158123 1215.01/1218.25 c #Conflicts: 681000 | #Constraints: 159123 1215.01/1218.25 c #Conflicts: 682000 | #Constraints: 160123 1215.01/1218.25 c #Conflicts: 683000 | #Constraints: 161123 1215.01/1218.25 c #Conflicts: 684000 | #Constraints: 162123 1215.01/1218.25 c #Conflicts: 685000 | #Constraints: 163123 1215.01/1218.25 c #Conflicts: 686000 | #Constraints: 164123 1215.01/1218.25 c #Conflicts: 687000 | #Constraints: 165123 1215.01/1218.25 c #Conflicts: 688000 | #Constraints: 166123 1215.01/1218.25 c #Conflicts: 689000 | #Constraints: 167123 1215.01/1218.25 c #Conflicts: 690000 | #Constraints: 168123 1215.01/1218.25 c #Conflicts: 691000 | #Constraints: 169123 1215.01/1218.25 c #Conflicts: 692000 | #Constraints: 170123 1215.01/1218.25 c #Conflicts: 693000 | #Constraints: 171123 1215.01/1218.25 c #Conflicts: 694000 | #Constraints: 172123 1215.01/1218.25 c #Conflicts: 695000 | #Constraints: 173123 1215.01/1218.25 c #Conflicts: 696000 | #Constraints: 174123 1215.01/1218.25 c #Conflicts: 697000 | #Constraints: 175123 1215.01/1218.25 c #Conflicts: 698000 | #Constraints: 176123 1215.01/1218.25 c #Conflicts: 699000 | #Constraints: 177123 1215.01/1218.25 c #Conflicts: 700000 | #Constraints: 178123 1215.01/1218.25 c INPROCESSING 1215.01/1218.25 c GARBAGE COLLECT 1215.01/1218.25 c rational objective -112 1277.26/1280.60 c #Conflicts: 701000 | #Constraints: 139127 1277.26/1280.60 c #Conflicts: 702000 | #Constraints: 140127 1277.26/1280.60 c #Conflicts: 703000 | #Constraints: 141127 1277.26/1280.60 c #Conflicts: 704000 | #Constraints: 142127 1277.26/1280.60 c #Conflicts: 705000 | #Constraints: 143127 1277.26/1280.60 c #Conflicts: 706000 | #Constraints: 144127 1277.26/1280.60 c #Conflicts: 707000 | #Constraints: 145127 1277.26/1280.60 c #Conflicts: 708000 | #Constraints: 146127 1277.26/1280.60 c #Conflicts: 709000 | #Constraints: 147127 1277.26/1280.60 c #Conflicts: 710000 | #Constraints: 148127 1277.26/1280.60 c #Conflicts: 711000 | #Constraints: 149127 1277.26/1280.60 c #Conflicts: 712000 | #Constraints: 150127 1277.26/1280.60 c #Conflicts: 713000 | #Constraints: 151127 1277.26/1280.60 c #Conflicts: 714000 | #Constraints: 152127 1277.26/1280.60 c #Conflicts: 715000 | #Constraints: 153127 1277.26/1280.60 c #Conflicts: 716000 | #Constraints: 154127 1277.26/1280.60 c #Conflicts: 717000 | #Constraints: 155127 1277.26/1280.60 c #Conflicts: 718000 | #Constraints: 156127 1277.26/1280.60 c #Conflicts: 719000 | #Constraints: 157127 1277.26/1280.60 c #Conflicts: 720000 | #Constraints: 158127 1277.26/1280.60 c #Conflicts: 721000 | #Constraints: 159127 1277.26/1280.60 c #Conflicts: 722000 | #Constraints: 160127 1277.26/1280.60 c #Conflicts: 723000 | #Constraints: 161127 1277.26/1280.60 c #Conflicts: 724000 | #Constraints: 162127 1277.26/1280.60 c INPROCESSING 1277.26/1280.60 c GARBAGE COLLECT 1277.26/1280.60 c rational objective -112 1317.06/1320.56 c #Conflicts: 725000 | #Constraints: 131057 1317.06/1320.56 c #Conflicts: 726000 | #Constraints: 132057 1317.06/1320.56 c #Conflicts: 727000 | #Constraints: 133057 1317.06/1320.56 c #Conflicts: 728000 | #Constraints: 134057 1317.06/1320.56 c #Conflicts: 729000 | #Constraints: 135057 1317.06/1320.56 c #Conflicts: 730000 | #Constraints: 136057 1317.06/1320.56 c #Conflicts: 731000 | #Constraints: 137057 1317.06/1320.56 c #Conflicts: 732000 | #Constraints: 138078 1317.06/1320.56 c #Conflicts: 733000 | #Constraints: 139123 1317.06/1320.56 c #Conflicts: 734000 | #Constraints: 140165 1317.06/1320.56 c #Conflicts: 735000 | #Constraints: 141213 1317.06/1320.56 c #Conflicts: 736000 | #Constraints: 142257 1317.06/1320.56 c #Conflicts: 737000 | #Constraints: 143303 1317.06/1320.56 c #Conflicts: 738000 | #Constraints: 144347 1317.06/1320.56 c #Conflicts: 739000 | #Constraints: 145399 1317.06/1320.56 c #Conflicts: 740000 | #Constraints: 146445 1317.06/1320.56 c #Conflicts: 741000 | #Constraints: 147491 1317.06/1320.56 c #Conflicts: 742000 | #Constraints: 148521 1317.06/1320.56 c #Conflicts: 743000 | #Constraints: 149574 1317.06/1320.56 c #Conflicts: 744000 | #Constraints: 150631 1317.06/1320.57 c #Conflicts: 745000 | #Constraints: 151698 1317.06/1320.57 c #Conflicts: 746000 | #Constraints: 152755 1317.06/1320.57 c #Conflicts: 747000 | #Constraints: 153789 1317.06/1320.57 c #Conflicts: 748000 | #Constraints: 154836 1317.06/1320.57 c INPROCESSING 1317.06/1320.57 c GARBAGE COLLECT 1317.06/1320.57 c rational objective -112 1470.29/1474.11 c #Conflicts: 749000 | #Constraints: 127175 1470.29/1474.11 c #Conflicts: 750000 | #Constraints: 128175 1470.29/1474.11 c #Conflicts: 751000 | #Constraints: 129175 1470.29/1474.11 c #Conflicts: 752000 | #Constraints: 130175 1470.29/1474.11 c #Conflicts: 753000 | #Constraints: 131175 1470.29/1474.11 c #Conflicts: 754000 | #Constraints: 132175 1470.29/1474.11 c #Conflicts: 755000 | #Constraints: 133175 1470.29/1474.11 c #Conflicts: 756000 | #Constraints: 134175 1470.29/1474.11 c #Conflicts: 757000 | #Constraints: 135175 1470.29/1474.11 c #Conflicts: 758000 | #Constraints: 136175 1470.29/1474.11 c #Conflicts: 759000 | #Constraints: 137175 1470.29/1474.11 c #Conflicts: 760000 | #Constraints: 138175 1470.29/1474.11 c #Conflicts: 761000 | #Constraints: 139175 1470.29/1474.11 c #Conflicts: 762000 | #Constraints: 140175 1470.29/1474.11 c #Conflicts: 763000 | #Constraints: 141175 1470.29/1474.11 c #Conflicts: 764000 | #Constraints: 142175 1470.29/1474.11 c #Conflicts: 765000 | #Constraints: 143175 1470.29/1474.11 c #Conflicts: 766000 | #Constraints: 144175 1470.29/1474.11 c #Conflicts: 767000 | #Constraints: 145175 1470.29/1474.11 c #Conflicts: 768000 | #Constraints: 146175 1470.29/1474.11 c #Conflicts: 769000 | #Constraints: 147175 1470.29/1474.11 c #Conflicts: 770000 | #Constraints: 148175 1470.29/1474.11 c #Conflicts: 771000 | #Constraints: 149175 1470.29/1474.11 c #Conflicts: 772000 | #Constraints: 150175 1470.29/1474.11 c #Conflicts: 773000 | #Constraints: 151175 1470.29/1474.11 c #Conflicts: 774000 | #Constraints: 152175 1470.29/1474.11 c #Conflicts: 775000 | #Constraints: 153175 1470.29/1474.11 c #Conflicts: 776000 | #Constraints: 154175 1470.29/1474.11 c #Conflicts: 777000 | #Constraints: 155175 1470.29/1474.11 c #Conflicts: 778000 | #Constraints: 156175 1470.29/1474.11 c #Conflicts: 779000 | #Constraints: 157175 1470.29/1474.11 c #Conflicts: 780000 | #Constraints: 158175 1470.29/1474.11 c #Conflicts: 781000 | #Constraints: 159175 1470.29/1474.11 c #Conflicts: 782000 | #Constraints: 160175 1470.29/1474.11 c #Conflicts: 783000 | #Constraints: 161175 1470.29/1474.11 c #Conflicts: 784000 | #Constraints: 162175 1470.29/1474.11 c #Conflicts: 785000 | #Constraints: 163175 1470.29/1474.11 c #Conflicts: 786000 | #Constraints: 164175 1470.29/1474.11 c #Conflicts: 787000 | #Constraints: 165175 1470.29/1474.11 c #Conflicts: 788000 | #Constraints: 166175 1470.29/1474.11 c #Conflicts: 789000 | #Constraints: 167175 1470.29/1474.11 c #Conflicts: 790000 | #Constraints: 168175 1470.29/1474.11 c #Conflicts: 791000 | #Constraints: 169175 1470.29/1474.11 c #Conflicts: 792000 | #Constraints: 170175 1470.29/1474.11 c #Conflicts: 793000 | #Constraints: 171175 1470.29/1474.11 c #Conflicts: 794000 | #Constraints: 172175 1470.29/1474.11 c #Conflicts: 795000 | #Constraints: 173175 1470.29/1474.11 c #Conflicts: 796000 | #Constraints: 174175 1470.29/1474.11 c #Conflicts: 797000 | #Constraints: 175175 1470.29/1474.11 c #Conflicts: 798000 | #Constraints: 176175 1470.29/1474.11 c #Conflicts: 799000 | #Constraints: 177175 1470.29/1474.11 c #Conflicts: 800000 | #Constraints: 178175 1470.29/1474.11 c #Conflicts: 801000 | #Constraints: 179175 1470.29/1474.11 c #Conflicts: 802000 | #Constraints: 180175 1470.29/1474.11 c #Conflicts: 803000 | #Constraints: 181175 1470.29/1474.11 c #Conflicts: 804000 | #Constraints: 182175 1470.29/1474.11 c #Conflicts: 805000 | #Constraints: 183175 1470.29/1474.11 c #Conflicts: 806000 | #Constraints: 184175 1470.29/1474.11 c INPROCESSING 1470.29/1474.11 c GARBAGE COLLECT 1470.29/1474.11 c rational objective -112 1534.92/1539.01 c #Conflicts: 807000 | #Constraints: 142057 1534.92/1539.01 c #Conflicts: 808000 | #Constraints: 143089 1534.92/1539.01 c #Conflicts: 809000 | #Constraints: 144134 1534.92/1539.01 c #Conflicts: 810000 | #Constraints: 145185 1534.92/1539.01 c #Conflicts: 811000 | #Constraints: 146223 1534.92/1539.01 c #Conflicts: 812000 | #Constraints: 147273 1534.92/1539.01 c #Conflicts: 813000 | #Constraints: 148323 1534.92/1539.01 c #Conflicts: 814000 | #Constraints: 149384 1534.92/1539.01 c #Conflicts: 815000 | #Constraints: 150434 1534.92/1539.01 c #Conflicts: 816000 | #Constraints: 151476 1534.92/1539.01 c #Conflicts: 817000 | #Constraints: 152516 1534.92/1539.01 c #Conflicts: 818000 | #Constraints: 153568 1534.92/1539.01 c #Conflicts: 819000 | #Constraints: 154618 1534.92/1539.01 c #Conflicts: 820000 | #Constraints: 155670 1534.92/1539.01 c #Conflicts: 821000 | #Constraints: 156722 1534.92/1539.01 c #Conflicts: 822000 | #Constraints: 157765 1534.92/1539.01 c #Conflicts: 823000 | #Constraints: 158816 1534.92/1539.01 c #Conflicts: 824000 | #Constraints: 159850 1534.92/1539.01 c #Conflicts: 825000 | #Constraints: 160878 1534.92/1539.01 c #Conflicts: 826000 | #Constraints: 161910 1534.92/1539.01 c #Conflicts: 827000 | #Constraints: 162940 1534.92/1539.01 c #Conflicts: 828000 | #Constraints: 163978 1534.92/1539.01 c #Conflicts: 829000 | #Constraints: 165010 1534.92/1539.01 c #Conflicts: 830000 | #Constraints: 166040 1534.92/1539.01 c #Conflicts: 831000 | #Constraints: 167069 1534.92/1539.01 c #Conflicts: 832000 | #Constraints: 168098 1534.92/1539.01 c INPROCESSING 1534.92/1539.01 c GARBAGE COLLECT 1534.92/1539.01 c rational objective -112 1596.56/1600.78 c #Conflicts: 833000 | #Constraints: 134087 1596.56/1600.78 c #Conflicts: 834000 | #Constraints: 135087 1596.56/1600.78 c #Conflicts: 835000 | #Constraints: 136087 1596.56/1600.78 c #Conflicts: 836000 | #Constraints: 137087 1596.56/1600.78 c #Conflicts: 837000 | #Constraints: 138087 1596.56/1600.78 c #Conflicts: 838000 | #Constraints: 139087 1596.56/1600.78 c #Conflicts: 839000 | #Constraints: 140087 1596.56/1600.78 c #Conflicts: 840000 | #Constraints: 141087 1596.56/1600.78 c #Conflicts: 841000 | #Constraints: 142087 1596.56/1600.78 c #Conflicts: 842000 | #Constraints: 143087 1596.56/1600.78 c #Conflicts: 843000 | #Constraints: 144087 1596.56/1600.78 c #Conflicts: 844000 | #Constraints: 145087 1596.56/1600.78 c #Conflicts: 845000 | #Constraints: 146087 1596.56/1600.78 c #Conflicts: 846000 | #Constraints: 147087 1596.56/1600.78 c #Conflicts: 847000 | #Constraints: 148087 1596.56/1600.78 c #Conflicts: 848000 | #Constraints: 149087 1596.56/1600.78 c #Conflicts: 849000 | #Constraints: 150087 1596.56/1600.78 c #Conflicts: 850000 | #Constraints: 151087 1596.56/1600.78 c #Conflicts: 851000 | #Constraints: 152087 1596.56/1600.78 c #Conflicts: 852000 | #Constraints: 153087 1596.56/1600.78 c #Conflicts: 853000 | #Constraints: 154087 1596.56/1600.78 c #Conflicts: 854000 | #Constraints: 155087 1596.56/1600.78 c #Conflicts: 855000 | #Constraints: 156087 1596.56/1600.78 c #Conflicts: 856000 | #Constraints: 157087 1596.56/1600.78 c #Conflicts: 857000 | #Constraints: 158087 1596.56/1600.78 c #Conflicts: 858000 | #Constraints: 159087 1596.56/1600.78 c INPROCESSING 1596.56/1600.78 c GARBAGE COLLECT 1596.56/1600.78 c rational objective -112 1764.46/1769.03 c #Conflicts: 859000 | #Constraints: 129792 1764.46/1769.03 c #Conflicts: 860000 | #Constraints: 130792 1764.46/1769.03 c #Conflicts: 861000 | #Constraints: 131792 1764.46/1769.03 c #Conflicts: 862000 | #Constraints: 132792 1764.46/1769.03 c #Conflicts: 863000 | #Constraints: 133792 1764.46/1769.03 c #Conflicts: 864000 | #Constraints: 134792 1764.46/1769.03 c #Conflicts: 865000 | #Constraints: 135792 1764.46/1769.03 c #Conflicts: 866000 | #Constraints: 136792 1764.46/1769.03 c #Conflicts: 867000 | #Constraints: 137792 1764.46/1769.03 c #Conflicts: 868000 | #Constraints: 138792 1764.46/1769.03 c #Conflicts: 869000 | #Constraints: 139792 1764.46/1769.03 c #Conflicts: 870000 | #Constraints: 140792 1764.46/1769.03 c #Conflicts: 871000 | #Constraints: 141792 1764.46/1769.03 c #Conflicts: 872000 | #Constraints: 142792 1764.46/1769.03 c #Conflicts: 873000 | #Constraints: 143792 1764.46/1769.03 c #Conflicts: 874000 | #Constraints: 144792 1764.46/1769.03 c #Conflicts: 875000 | #Constraints: 145792 1764.46/1769.03 c #Conflicts: 876000 | #Constraints: 146792 1764.46/1769.03 c #Conflicts: 877000 | #Constraints: 147792 1764.46/1769.03 c #Conflicts: 878000 | #Constraints: 148792 1764.46/1769.03 c #Conflicts: 879000 | #Constraints: 149792 1764.46/1769.03 c #Conflicts: 880000 | #Constraints: 150792 1764.46/1769.03 c #Conflicts: 881000 | #Constraints: 151792 1764.46/1769.03 c #Conflicts: 882000 | #Constraints: 152792 1764.46/1769.03 c #Conflicts: 883000 | #Constraints: 153792 1764.46/1769.03 c #Conflicts: 884000 | #Constraints: 154792 1764.46/1769.03 c #Conflicts: 885000 | #Constraints: 155792 1764.46/1769.03 c #Conflicts: 886000 | #Constraints: 156792 1764.46/1769.03 c #Conflicts: 887000 | #Constraints: 157792 1764.46/1769.03 c #Conflicts: 888000 | #Constraints: 158792 1764.46/1769.03 c #Conflicts: 889000 | #Constraints: 159792 1764.46/1769.03 c #Conflicts: 890000 | #Constraints: 160792 1764.46/1769.03 c #Conflicts: 891000 | #Constraints: 161792 1764.46/1769.03 c bounds -41 >= -111 @ 1677.45 1764.46/1769.03 c #Conflicts: 892000 | #Constraints: 162831 1764.46/1769.03 c #Conflicts: 893000 | #Constraints: 163831 1764.46/1769.03 c #Conflicts: 894000 | #Constraints: 164831 1764.46/1769.03 c #Conflicts: 895000 | #Constraints: 165831 1764.46/1769.03 c #Conflicts: 896000 | #Constraints: 166831 1764.46/1769.03 c #Conflicts: 897000 | #Constraints: 167831 1764.46/1769.03 c #Conflicts: 898000 | #Constraints: 168831 1764.46/1769.03 c #Conflicts: 899000 | #Constraints: 169831 1764.46/1769.03 c #Conflicts: 900000 | #Constraints: 170831 1764.46/1769.03 c #Conflicts: 901000 | #Constraints: 171831 1764.46/1769.03 c #Conflicts: 902000 | #Constraints: 172831 1764.46/1769.03 c #Conflicts: 903000 | #Constraints: 173831 1764.46/1769.03 c #Conflicts: 904000 | #Constraints: 174831 1764.46/1769.03 c #Conflicts: 905000 | #Constraints: 175831 1764.46/1769.03 c #Conflicts: 906000 | #Constraints: 176831 1764.46/1769.03 c #Conflicts: 907000 | #Constraints: 177831 1764.46/1769.03 c #Conflicts: 908000 | #Constraints: 178831 1764.46/1769.03 c #Conflicts: 909000 | #Constraints: 179831 1764.46/1769.03 c #Conflicts: 910000 | #Constraints: 180831 1764.46/1769.03 c #Conflicts: 911000 | #Constraints: 181831 1764.46/1769.03 c #Conflicts: 912000 | #Constraints: 182831 1764.46/1769.03 c #Conflicts: 913000 | #Constraints: 183831 1764.46/1769.03 c #Conflicts: 914000 | #Constraints: 184831 1764.46/1769.03 c #Conflicts: 915000 | #Constraints: 185831 1764.46/1769.03 c #Conflicts: 916000 | #Constraints: 186831 1764.46/1769.03 c #Conflicts: 917000 | #Constraints: 187831 1764.46/1769.03 c #Conflicts: 918000 | #Constraints: 188831 1764.46/1769.03 c #Conflicts: 919000 | #Constraints: 189831 1764.46/1769.03 c #Conflicts: 920000 | #Constraints: 190831 1764.46/1769.03 c INPROCESSING 1764.46/1769.03 c GARBAGE COLLECT 1764.46/1769.03 c rational objective -111 1846.35/1851.11 c #Conflicts: 921000 | #Constraints: 145718 1846.35/1851.11 c #Conflicts: 922000 | #Constraints: 146718 1846.35/1851.11 c #Conflicts: 923000 | #Constraints: 147718 1846.35/1851.11 c #Conflicts: 924000 | #Constraints: 148718 1846.35/1851.11 c #Conflicts: 925000 | #Constraints: 149718 1846.35/1851.11 c #Conflicts: 926000 | #Constraints: 150718 1846.35/1851.11 c #Conflicts: 927000 | #Constraints: 151718 1846.35/1851.11 c #Conflicts: 928000 | #Constraints: 152718 1846.35/1851.11 c #Conflicts: 929000 | #Constraints: 153718 1846.35/1851.11 c #Conflicts: 930000 | #Constraints: 154718 1846.35/1851.11 c #Conflicts: 931000 | #Constraints: 155718 1846.35/1851.11 c #Conflicts: 932000 | #Constraints: 156718 1846.35/1851.11 c #Conflicts: 933000 | #Constraints: 157718 1846.35/1851.11 c #Conflicts: 934000 | #Constraints: 158718 1846.35/1851.11 c #Conflicts: 935000 | #Constraints: 159718 1846.35/1851.11 c #Conflicts: 936000 | #Constraints: 160718 1846.35/1851.11 c #Conflicts: 937000 | #Constraints: 161718 1846.35/1851.11 c #Conflicts: 938000 | #Constraints: 162718 1846.35/1851.11 c #Conflicts: 939000 | #Constraints: 163718 1846.35/1851.11 c #Conflicts: 940000 | #Constraints: 164718 1846.35/1851.11 c #Conflicts: 941000 | #Constraints: 165718 1846.35/1851.11 c #Conflicts: 942000 | #Constraints: 166718 1846.35/1851.11 c #Conflicts: 943000 | #Constraints: 167718 1846.35/1851.11 c #Conflicts: 944000 | #Constraints: 168718 1846.35/1851.11 c #Conflicts: 945000 | #Constraints: 169718 1846.35/1851.11 c #Conflicts: 946000 | #Constraints: 170718 1846.35/1851.11 c #Conflicts: 947000 | #Constraints: 171718 1846.35/1851.11 c INPROCESSING 1846.35/1851.11 c GARBAGE COLLECT 1846.35/1851.11 c rational objective -111 1901.20/1906.16 c #Conflicts: 948000 | #Constraints: 136056 1901.20/1906.16 c #Conflicts: 949000 | #Constraints: 137081 1901.20/1906.16 c #Conflicts: 950000 | #Constraints: 138119 1901.20/1906.16 c #Conflicts: 951000 | #Constraints: 139147 1901.20/1906.16 c #Conflicts: 952000 | #Constraints: 140179 1901.20/1906.16 c #Conflicts: 953000 | #Constraints: 141213 1901.20/1906.16 c #Conflicts: 954000 | #Constraints: 142240 1901.20/1906.16 c #Conflicts: 955000 | #Constraints: 143272 1901.20/1906.16 c bounds -42 >= -111 @ 1844.92 1901.20/1906.16 c #Conflicts: 956000 | #Constraints: 144311 1901.20/1906.16 c #Conflicts: 957000 | #Constraints: 145311 1901.20/1906.16 c #Conflicts: 958000 | #Constraints: 146311 1901.20/1906.16 c #Conflicts: 959000 | #Constraints: 147311 1901.20/1906.16 c #Conflicts: 960000 | #Constraints: 148311 1901.20/1906.16 c #Conflicts: 961000 | #Constraints: 149311 1901.20/1906.16 c #Conflicts: 962000 | #Constraints: 150311 1901.20/1906.16 c #Conflicts: 963000 | #Constraints: 151311 1901.20/1906.16 c #Conflicts: 964000 | #Constraints: 152311 1901.20/1906.16 c #Conflicts: 965000 | #Constraints: 153311 1901.20/1906.16 c #Conflicts: 966000 | #Constraints: 154311 1901.20/1906.16 c #Conflicts: 967000 | #Constraints: 155311 1901.20/1906.16 c #Conflicts: 968000 | #Constraints: 156311 1901.20/1906.16 c #Conflicts: 969000 | #Constraints: 157311 1901.20/1906.16 c #Conflicts: 970000 | #Constraints: 158311 1901.20/1906.16 c #Conflicts: 971000 | #Constraints: 159311 1901.20/1906.16 c #Conflicts: 972000 | #Constraints: 160311 1901.20/1906.16 c #Conflicts: 973000 | #Constraints: 161311 1901.20/1906.16 c #Conflicts: 974000 | #Constraints: 162311 1901.20/1906.16 c INPROCESSING 1901.20/1906.16 c GARBAGE COLLECT 1901.20/1906.16 c rational objective -111 2235.07/2240.84 c #Conflicts: 975000 | #Constraints: 131231 2235.07/2240.84 c #Conflicts: 976000 | #Constraints: 132271 2235.07/2240.84 c #Conflicts: 977000 | #Constraints: 133293 2235.07/2240.84 c #Conflicts: 978000 | #Constraints: 134330 2235.07/2240.84 c #Conflicts: 979000 | #Constraints: 135350 2235.07/2240.84 c #Conflicts: 980000 | #Constraints: 136376 2235.07/2240.84 c #Conflicts: 981000 | #Constraints: 137407 2235.07/2240.84 c #Conflicts: 982000 | #Constraints: 138446 2235.07/2240.84 c #Conflicts: 983000 | #Constraints: 139476 2235.07/2240.84 c #Conflicts: 984000 | #Constraints: 140503 2235.07/2240.84 c #Conflicts: 985000 | #Constraints: 141522 2235.07/2240.84 c #Conflicts: 986000 | #Constraints: 142565 2235.07/2240.84 c #Conflicts: 987000 | #Constraints: 143593 2235.07/2240.84 c #Conflicts: 988000 | #Constraints: 144622 2235.07/2240.84 c #Conflicts: 989000 | #Constraints: 145657 2235.07/2240.84 c #Conflicts: 990000 | #Constraints: 146691 2235.07/2240.84 c #Conflicts: 991000 | #Constraints: 147730 2235.07/2240.84 c #Conflicts: 992000 | #Constraints: 148768 2235.07/2240.84 c #Conflicts: 993000 | #Constraints: 149804 2235.07/2240.84 c #Conflicts: 994000 | #Constraints: 150836 2235.07/2240.84 c #Conflicts: 995000 | #Constraints: 151880 2235.07/2240.84 c #Conflicts: 996000 | #Constraints: 152918 2235.07/2240.84 c #Conflicts: 997000 | #Constraints: 153961 2235.07/2240.84 c #Conflicts: 998000 | #Constraints: 154999 2235.07/2240.84 c #Conflicts: 999000 | #Constraints: 156033 2235.07/2240.84 c #Conflicts: 1000000 | #Constraints: 157074 2235.07/2240.84 c #Conflicts: 1001000 | #Constraints: 158104 2235.07/2240.84 c #Conflicts: 1002000 | #Constraints: 159145 2235.07/2240.84 c #Conflicts: 1003000 | #Constraints: 160185 2235.07/2240.84 c #Conflicts: 1004000 | #Constraints: 161225 2235.07/2240.84 c #Conflicts: 1005000 | #Constraints: 162270 2235.07/2240.84 c #Conflicts: 1006000 | #Constraints: 163310 2235.07/2240.84 c #Conflicts: 1007000 | #Constraints: 164346 2235.07/2240.84 c #Conflicts: 1008000 | #Constraints: 165386 2235.07/2240.84 c #Conflicts: 1009000 | #Constraints: 166426 2235.07/2240.84 c #Conflicts: 1010000 | #Constraints: 167470 2235.07/2240.84 c #Conflicts: 1011000 | #Constraints: 168510 2235.07/2240.84 c #Conflicts: 1012000 | #Constraints: 169550 2235.07/2240.84 c #Conflicts: 1013000 | #Constraints: 170596 2235.07/2240.84 c #Conflicts: 1014000 | #Constraints: 171644 2235.07/2240.84 c #Conflicts: 1015000 | #Constraints: 172677 2235.07/2240.84 c #Conflicts: 1016000 | #Constraints: 173709 2235.07/2240.84 c #Conflicts: 1017000 | #Constraints: 174747 2235.07/2240.84 c #Conflicts: 1018000 | #Constraints: 175788 2235.07/2240.84 c #Conflicts: 1019000 | #Constraints: 176818 2235.07/2240.84 c #Conflicts: 1020000 | #Constraints: 177859 2235.07/2240.84 c #Conflicts: 1021000 | #Constraints: 178888 2235.07/2240.84 c #Conflicts: 1022000 | #Constraints: 179912 2235.07/2240.84 c #Conflicts: 1023000 | #Constraints: 180942 2235.07/2240.84 c #Conflicts: 1024000 | #Constraints: 181977 2235.07/2240.84 c #Conflicts: 1025000 | #Constraints: 183009 2235.07/2240.84 c #Conflicts: 1026000 | #Constraints: 184040 2235.07/2240.84 c #Conflicts: 1027000 | #Constraints: 185067 2235.07/2240.84 c #Conflicts: 1028000 | #Constraints: 186094 2235.07/2240.84 c #Conflicts: 1029000 | #Constraints: 187125 2235.07/2240.84 c #Conflicts: 1030000 | #Constraints: 188146 2235.07/2240.84 c #Conflicts: 1031000 | #Constraints: 189167 2235.07/2240.84 c #Conflicts: 1032000 | #Constraints: 190189 2235.07/2240.84 c #Conflicts: 1033000 | #Constraints: 191221 2235.07/2240.84 c #Conflicts: 1034000 | #Constraints: 192250 2235.07/2240.84 c #Conflicts: 1035000 | #Constraints: 193269 2235.07/2240.84 c #Conflicts: 1036000 | #Constraints: 194294 2235.07/2240.84 c #Conflicts: 1037000 | #Constraints: 195322 2235.07/2240.84 c #Conflicts: 1038000 | #Constraints: 196343 2235.07/2240.84 c #Conflicts: 1039000 | #Constraints: 197354 2235.07/2240.84 c #Conflicts: 1040000 | #Constraints: 198374 2235.07/2240.84 c INPROCESSING 2235.07/2240.84 c GARBAGE COLLECT 2235.07/2240.84 c rational objective -111 2310.87/2316.81 c #Conflicts: 1041000 | #Constraints: 149055 2310.87/2316.81 c #Conflicts: 1042000 | #Constraints: 150055 2310.87/2316.81 c #Conflicts: 1043000 | #Constraints: 151055 2310.87/2316.81 c #Conflicts: 1044000 | #Constraints: 152055 2310.87/2316.81 c #Conflicts: 1045000 | #Constraints: 153055 2310.87/2316.81 c #Conflicts: 1046000 | #Constraints: 154055 2310.87/2316.81 c #Conflicts: 1047000 | #Constraints: 155055 2310.87/2316.81 c #Conflicts: 1048000 | #Constraints: 156055 2310.87/2316.81 c #Conflicts: 1049000 | #Constraints: 157055 2310.87/2316.81 c #Conflicts: 1050000 | #Constraints: 158055 2310.87/2316.81 c #Conflicts: 1051000 | #Constraints: 159055 2310.87/2316.81 c #Conflicts: 1052000 | #Constraints: 160055 2310.87/2316.81 c #Conflicts: 1053000 | #Constraints: 161055 2310.87/2316.81 c #Conflicts: 1054000 | #Constraints: 162055 2310.87/2316.81 c #Conflicts: 1055000 | #Constraints: 163055 2310.87/2316.81 c #Conflicts: 1056000 | #Constraints: 164055 2310.87/2316.81 c #Conflicts: 1057000 | #Constraints: 165055 2310.87/2316.81 c #Conflicts: 1058000 | #Constraints: 166055 2310.87/2316.81 c #Conflicts: 1059000 | #Constraints: 167055 2310.87/2316.81 c #Conflicts: 1060000 | #Constraints: 168055 2310.87/2316.81 c #Conflicts: 1061000 | #Constraints: 169055 2310.87/2316.81 c #Conflicts: 1062000 | #Constraints: 170055 2310.87/2316.81 c #Conflicts: 1063000 | #Constraints: 171055 2310.87/2316.81 c #Conflicts: 1064000 | #Constraints: 172055 2310.87/2316.81 c #Conflicts: 1065000 | #Constraints: 173055 2310.87/2316.81 c #Conflicts: 1066000 | #Constraints: 174055 2310.87/2316.81 c #Conflicts: 1067000 | #Constraints: 175055 2310.87/2316.81 c #Conflicts: 1068000 | #Constraints: 176055 2310.87/2316.81 c #Conflicts: 1069000 | #Constraints: 177055 2310.87/2316.81 c INPROCESSING 2310.87/2316.81 c GARBAGE COLLECT 2310.87/2316.81 c rational objective -111 2377.79/2383.97 c #Conflicts: 1070000 | #Constraints: 138725 2377.79/2383.97 c #Conflicts: 1071000 | #Constraints: 139725 2377.79/2383.97 c #Conflicts: 1072000 | #Constraints: 140725 2377.79/2383.97 c #Conflicts: 1073000 | #Constraints: 141725 2377.79/2383.97 c #Conflicts: 1074000 | #Constraints: 142725 2377.79/2383.97 c #Conflicts: 1075000 | #Constraints: 143725 2377.79/2383.97 c #Conflicts: 1076000 | #Constraints: 144725 2377.79/2383.97 c #Conflicts: 1077000 | #Constraints: 145725 2377.79/2383.97 c #Conflicts: 1078000 | #Constraints: 146725 2377.79/2383.97 c #Conflicts: 1079000 | #Constraints: 147725 2377.79/2383.97 c #Conflicts: 1080000 | #Constraints: 148725 2377.79/2383.97 c #Conflicts: 1081000 | #Constraints: 149725 2377.79/2383.97 c #Conflicts: 1082000 | #Constraints: 150725 2377.79/2383.97 c #Conflicts: 1083000 | #Constraints: 151725 2377.79/2383.97 c #Conflicts: 1084000 | #Constraints: 152725 2377.79/2383.97 c #Conflicts: 1085000 | #Constraints: 153725 2377.79/2383.97 c #Conflicts: 1086000 | #Constraints: 154725 2377.79/2383.97 c #Conflicts: 1087000 | #Constraints: 155725 2377.79/2383.97 c #Conflicts: 1088000 | #Constraints: 156725 2377.79/2383.97 c #Conflicts: 1089000 | #Constraints: 157725 2377.79/2383.97 c #Conflicts: 1090000 | #Constraints: 158725 2377.79/2383.97 c #Conflicts: 1091000 | #Constraints: 159725 2377.79/2383.97 c #Conflicts: 1092000 | #Constraints: 160725 2377.79/2383.97 c #Conflicts: 1093000 | #Constraints: 161725 2377.79/2383.97 c #Conflicts: 1094000 | #Constraints: 162725 2377.79/2383.97 c #Conflicts: 1095000 | #Constraints: 163725 2377.79/2383.97 c #Conflicts: 1096000 | #Constraints: 164725 2377.79/2383.97 c #Conflicts: 1097000 | #Constraints: 165725 2377.79/2383.97 c #Conflicts: 1098000 | #Constraints: 166725 2377.79/2383.97 c INPROCESSING 2377.79/2383.97 c GARBAGE COLLECT 2377.79/2383.97 c rational objective -111 2440.33/2446.69 c #Conflicts: 1099000 | #Constraints: 133618 2440.33/2446.69 c #Conflicts: 1100000 | #Constraints: 134618 2440.33/2446.69 c #Conflicts: 1101000 | #Constraints: 135618 2440.33/2446.69 c #Conflicts: 1102000 | #Constraints: 136618 2440.33/2446.69 c #Conflicts: 1103000 | #Constraints: 137618 2440.33/2446.69 c #Conflicts: 1104000 | #Constraints: 138618 2440.33/2446.69 c #Conflicts: 1105000 | #Constraints: 139618 2440.33/2446.69 c #Conflicts: 1106000 | #Constraints: 140618 2440.33/2446.69 c #Conflicts: 1107000 | #Constraints: 141618 2440.33/2446.69 c #Conflicts: 1108000 | #Constraints: 142618 2440.33/2446.69 c #Conflicts: 1109000 | #Constraints: 143618 2440.33/2446.69 c #Conflicts: 1110000 | #Constraints: 144618 2440.33/2446.69 c #Conflicts: 1111000 | #Constraints: 145618 2440.33/2446.69 c #Conflicts: 1112000 | #Constraints: 146618 2440.33/2446.69 c #Conflicts: 1113000 | #Constraints: 147618 2440.33/2446.69 c #Conflicts: 1114000 | #Constraints: 148618 2440.33/2446.69 c #Conflicts: 1115000 | #Constraints: 149618 2440.33/2446.69 c #Conflicts: 1116000 | #Constraints: 150618 2440.33/2446.69 c #Conflicts: 1117000 | #Constraints: 151618 2440.33/2446.69 c #Conflicts: 1118000 | #Constraints: 152618 2440.33/2446.69 c #Conflicts: 1119000 | #Constraints: 153618 2440.33/2446.69 c #Conflicts: 1120000 | #Constraints: 154618 2440.33/2446.69 c #Conflicts: 1121000 | #Constraints: 155618 2440.33/2446.69 c #Conflicts: 1122000 | #Constraints: 156618 2440.33/2446.69 c #Conflicts: 1123000 | #Constraints: 157618 2440.33/2446.69 c #Conflicts: 1124000 | #Constraints: 158618 2440.33/2446.69 c #Conflicts: 1125000 | #Constraints: 159618 2440.33/2446.69 c #Conflicts: 1126000 | #Constraints: 160618 2440.33/2446.69 c #Conflicts: 1127000 | #Constraints: 161618 2440.33/2446.69 c INPROCESSING 2440.33/2446.69 c GARBAGE COLLECT 2440.33/2446.69 c rational objective -111 2667.42/2674.33 c #Conflicts: 1128000 | #Constraints: 132512 2667.42/2674.33 c #Conflicts: 1129000 | #Constraints: 133512 2667.42/2674.33 c #Conflicts: 1130000 | #Constraints: 134512 2667.42/2674.33 c #Conflicts: 1131000 | #Constraints: 135512 2667.42/2674.33 c #Conflicts: 1132000 | #Constraints: 136512 2667.42/2674.33 c #Conflicts: 1133000 | #Constraints: 137512 2667.42/2674.33 c #Conflicts: 1134000 | #Constraints: 138512 2667.42/2674.33 c #Conflicts: 1135000 | #Constraints: 139512 2667.42/2674.33 c #Conflicts: 1136000 | #Constraints: 140512 2667.42/2674.33 c #Conflicts: 1137000 | #Constraints: 141512 2667.42/2674.33 c #Conflicts: 1138000 | #Constraints: 142512 2667.42/2674.33 c #Conflicts: 1139000 | #Constraints: 143512 2667.42/2674.33 c #Conflicts: 1140000 | #Constraints: 144512 2667.42/2674.33 c #Conflicts: 1141000 | #Constraints: 145512 2667.42/2674.33 c #Conflicts: 1142000 | #Constraints: 146512 2667.42/2674.33 c #Conflicts: 1143000 | #Constraints: 147512 2667.42/2674.33 c #Conflicts: 1144000 | #Constraints: 148512 2667.42/2674.33 c #Conflicts: 1145000 | #Constraints: 149512 2667.42/2674.33 c #Conflicts: 1146000 | #Constraints: 150512 2667.42/2674.33 c #Conflicts: 1147000 | #Constraints: 151512 2667.42/2674.33 c #Conflicts: 1148000 | #Constraints: 152512 2667.42/2674.33 c #Conflicts: 1149000 | #Constraints: 153512 2667.42/2674.33 c #Conflicts: 1150000 | #Constraints: 154512 2667.42/2674.33 c #Conflicts: 1151000 | #Constraints: 155512 2667.42/2674.33 c #Conflicts: 1152000 | #Constraints: 156512 2667.42/2674.33 c #Conflicts: 1153000 | #Constraints: 157512 2667.42/2674.33 c #Conflicts: 1154000 | #Constraints: 158512 2667.42/2674.33 c #Conflicts: 1155000 | #Constraints: 159512 2667.42/2674.33 c #Conflicts: 1156000 | #Constraints: 160512 2667.42/2674.33 c #Conflicts: 1157000 | #Constraints: 161512 2667.42/2674.33 c #Conflicts: 1158000 | #Constraints: 162512 2667.42/2674.33 c #Conflicts: 1159000 | #Constraints: 163512 2667.42/2674.33 c #Conflicts: 1160000 | #Constraints: 164512 2667.42/2674.33 c #Conflicts: 1161000 | #Constraints: 165512 2667.42/2674.33 c #Conflicts: 1162000 | #Constraints: 166512 2667.42/2674.33 c #Conflicts: 1163000 | #Constraints: 167512 2667.42/2674.33 c #Conflicts: 1164000 | #Constraints: 168512 2667.42/2674.33 c #Conflicts: 1165000 | #Constraints: 169512 2667.42/2674.33 c #Conflicts: 1166000 | #Constraints: 170512 2667.42/2674.33 c #Conflicts: 1167000 | #Constraints: 171512 2667.42/2674.33 c #Conflicts: 1168000 | #Constraints: 172512 2667.42/2674.33 c #Conflicts: 1169000 | #Constraints: 173512 2667.42/2674.33 c #Conflicts: 1170000 | #Constraints: 174512 2667.42/2674.33 c #Conflicts: 1171000 | #Constraints: 175512 2667.42/2674.33 c #Conflicts: 1172000 | #Constraints: 176512 2667.42/2674.33 c #Conflicts: 1173000 | #Constraints: 177512 2667.42/2674.33 c #Conflicts: 1174000 | #Constraints: 178512 2667.42/2674.33 c #Conflicts: 1175000 | #Constraints: 179512 2667.42/2674.33 c #Conflicts: 1176000 | #Constraints: 180512 2667.42/2674.33 c #Conflicts: 1177000 | #Constraints: 181512 2667.42/2674.33 c #Conflicts: 1178000 | #Constraints: 182512 2667.42/2674.33 c #Conflicts: 1179000 | #Constraints: 183512 2667.42/2674.33 c #Conflicts: 1180000 | #Constraints: 184512 2667.42/2674.33 c #Conflicts: 1181000 | #Constraints: 185512 2667.42/2674.33 c #Conflicts: 1182000 | #Constraints: 186512 2667.42/2674.33 c #Conflicts: 1183000 | #Constraints: 187512 2667.42/2674.33 c #Conflicts: 1184000 | #Constraints: 188512 2667.42/2674.33 c #Conflicts: 1185000 | #Constraints: 189512 2667.42/2674.33 c #Conflicts: 1186000 | #Constraints: 190512 2667.42/2674.33 c #Conflicts: 1187000 | #Constraints: 191512 2667.42/2674.33 c #Conflicts: 1188000 | #Constraints: 192512 2667.42/2674.33 c #Conflicts: 1189000 | #Constraints: 193512 2667.42/2674.33 c #Conflicts: 1190000 | #Constraints: 194512 2667.42/2674.33 c #Conflicts: 1191000 | #Constraints: 195512 2667.42/2674.33 c #Conflicts: 1192000 | #Constraints: 196512 2667.42/2674.33 c #Conflicts: 1193000 | #Constraints: 197512 2667.42/2674.33 c bounds -42 >= -110 @ 2633.32 2667.42/2674.33 c #Conflicts: 1194000 | #Constraints: 198542 2667.42/2674.33 c #Conflicts: 1195000 | #Constraints: 199542 2667.42/2674.33 c #Conflicts: 1196000 | #Constraints: 200542 2667.42/2674.33 c #Conflicts: 1197000 | #Constraints: 201542 2667.42/2674.33 c #Conflicts: 1198000 | #Constraints: 202542 2667.42/2674.33 c INPROCESSING 2667.42/2674.33 c GARBAGE COLLECT 2667.42/2674.33 c rational objective -110 2741.22/2748.36 c #Conflicts: 1199000 | #Constraints: 151339 2741.22/2748.36 c #Conflicts: 1200000 | #Constraints: 152339 2741.22/2748.36 c #Conflicts: 1201000 | #Constraints: 153339 2741.22/2748.36 c #Conflicts: 1202000 | #Constraints: 154339 2741.22/2748.36 c #Conflicts: 1203000 | #Constraints: 155339 2741.22/2748.36 c #Conflicts: 1204000 | #Constraints: 156339 2741.22/2748.36 c #Conflicts: 1205000 | #Constraints: 157339 2741.22/2748.36 c #Conflicts: 1206000 | #Constraints: 158339 2741.22/2748.36 c #Conflicts: 1207000 | #Constraints: 159339 2741.22/2748.36 c #Conflicts: 1208000 | #Constraints: 160339 2741.22/2748.36 c #Conflicts: 1209000 | #Constraints: 161339 2741.22/2748.36 c #Conflicts: 1210000 | #Constraints: 162339 2741.22/2748.36 c #Conflicts: 1211000 | #Constraints: 163339 2741.22/2748.36 c #Conflicts: 1212000 | #Constraints: 164339 2741.22/2748.36 c #Conflicts: 1213000 | #Constraints: 165339 2741.22/2748.36 c #Conflicts: 1214000 | #Constraints: 166339 2741.22/2748.36 c #Conflicts: 1215000 | #Constraints: 167339 2741.22/2748.36 c #Conflicts: 1216000 | #Constraints: 168339 2741.22/2748.36 c #Conflicts: 1217000 | #Constraints: 169339 2741.22/2748.36 c #Conflicts: 1218000 | #Constraints: 170339 2741.22/2748.36 c #Conflicts: 1219000 | #Constraints: 171339 2741.22/2748.36 c #Conflicts: 1220000 | #Constraints: 172339 2741.22/2748.36 c #Conflicts: 1221000 | #Constraints: 173339 2741.22/2748.36 c #Conflicts: 1222000 | #Constraints: 174339 2741.22/2748.36 c #Conflicts: 1223000 | #Constraints: 175339 2741.22/2748.36 c #Conflicts: 1224000 | #Constraints: 176339 2741.22/2748.36 c #Conflicts: 1225000 | #Constraints: 177339 2741.22/2748.36 c #Conflicts: 1226000 | #Constraints: 178339 2741.22/2748.36 c #Conflicts: 1227000 | #Constraints: 179339 2741.22/2748.36 c #Conflicts: 1228000 | #Constraints: 180339 2741.22/2748.36 c INPROCESSING 2741.22/2748.36 c GARBAGE COLLECT 2741.22/2748.36 c rational objective -110 2816.52/2823.83 c #Conflicts: 1229000 | #Constraints: 140059 2816.52/2823.83 c #Conflicts: 1230000 | #Constraints: 141059 2816.52/2823.83 c #Conflicts: 1231000 | #Constraints: 142059 2816.52/2823.83 c #Conflicts: 1232000 | #Constraints: 143059 2816.52/2823.83 c #Conflicts: 1233000 | #Constraints: 144059 2816.52/2823.83 c #Conflicts: 1234000 | #Constraints: 145059 2816.52/2823.83 c #Conflicts: 1235000 | #Constraints: 146059 2816.52/2823.83 c #Conflicts: 1236000 | #Constraints: 147059 2816.52/2823.83 c #Conflicts: 1237000 | #Constraints: 148059 2816.52/2823.83 c #Conflicts: 1238000 | #Constraints: 149059 2816.52/2823.83 c #Conflicts: 1239000 | #Constraints: 150059 2816.52/2823.83 c #Conflicts: 1240000 | #Constraints: 151059 2816.52/2823.83 c #Conflicts: 1241000 | #Constraints: 152059 2816.52/2823.83 c #Conflicts: 1242000 | #Constraints: 153059 2816.52/2823.83 c #Conflicts: 1243000 | #Constraints: 154059 2816.52/2823.83 c #Conflicts: 1244000 | #Constraints: 155059 2816.52/2823.83 c #Conflicts: 1245000 | #Constraints: 156059 2816.52/2823.83 c #Conflicts: 1246000 | #Constraints: 157059 2816.52/2823.83 c #Conflicts: 1247000 | #Constraints: 158059 2816.52/2823.83 c #Conflicts: 1248000 | #Constraints: 159059 2816.52/2823.83 c #Conflicts: 1249000 | #Constraints: 160059 2816.52/2823.83 c #Conflicts: 1250000 | #Constraints: 161059 2816.52/2823.83 c #Conflicts: 1251000 | #Constraints: 162059 2816.52/2823.83 c #Conflicts: 1252000 | #Constraints: 163059 2816.52/2823.83 c #Conflicts: 1253000 | #Constraints: 164059 2816.52/2823.83 c #Conflicts: 1254000 | #Constraints: 165059 2816.52/2823.83 c #Conflicts: 1255000 | #Constraints: 166059 2816.52/2823.83 c #Conflicts: 1256000 | #Constraints: 167059 2816.52/2823.83 c #Conflicts: 1257000 | #Constraints: 168059 2816.52/2823.83 c #Conflicts: 1258000 | #Constraints: 169059 2816.52/2823.83 c #Conflicts: 1259000 | #Constraints: 170059 2816.52/2823.83 c INPROCESSING 2816.52/2823.83 c GARBAGE COLLECT 2816.52/2823.83 c rational objective -110 3051.31/3059.23 c #Conflicts: 1260000 | #Constraints: 135186 3051.31/3059.23 c #Conflicts: 1261000 | #Constraints: 136186 3051.31/3059.23 c #Conflicts: 1262000 | #Constraints: 137186 3051.31/3059.23 c #Conflicts: 1263000 | #Constraints: 138186 3051.31/3059.23 c #Conflicts: 1264000 | #Constraints: 139186 3051.31/3059.23 c #Conflicts: 1265000 | #Constraints: 140186 3051.31/3059.23 c #Conflicts: 1266000 | #Constraints: 141186 3051.31/3059.23 c #Conflicts: 1267000 | #Constraints: 142186 3051.31/3059.23 c #Conflicts: 1268000 | #Constraints: 143186 3051.31/3059.23 c #Conflicts: 1269000 | #Constraints: 144186 3051.31/3059.23 c #Conflicts: 1270000 | #Constraints: 145186 3051.31/3059.23 c #Conflicts: 1271000 | #Constraints: 146186 3051.31/3059.23 c #Conflicts: 1272000 | #Constraints: 147186 3051.31/3059.23 c #Conflicts: 1273000 | #Constraints: 148186 3051.31/3059.23 c #Conflicts: 1274000 | #Constraints: 149186 3051.31/3059.23 c #Conflicts: 1275000 | #Constraints: 150186 3051.31/3059.23 c #Conflicts: 1276000 | #Constraints: 151186 3051.31/3059.23 c #Conflicts: 1277000 | #Constraints: 152186 3051.31/3059.23 c #Conflicts: 1278000 | #Constraints: 153186 3051.31/3059.23 c #Conflicts: 1279000 | #Constraints: 154186 3051.31/3059.23 c #Conflicts: 1280000 | #Constraints: 155186 3051.31/3059.23 c #Conflicts: 1281000 | #Constraints: 156186 3051.31/3059.23 c #Conflicts: 1282000 | #Constraints: 157186 3051.31/3059.23 c #Conflicts: 1283000 | #Constraints: 158186 3051.31/3059.23 c #Conflicts: 1284000 | #Constraints: 159186 3051.31/3059.23 c #Conflicts: 1285000 | #Constraints: 160186 3051.31/3059.23 c #Conflicts: 1286000 | #Constraints: 161186 3051.31/3059.23 c #Conflicts: 1287000 | #Constraints: 162186 3051.31/3059.23 c #Conflicts: 1288000 | #Constraints: 163186 3051.31/3059.23 c #Conflicts: 1289000 | #Constraints: 164186 3051.31/3059.23 c #Conflicts: 1290000 | #Constraints: 165186 3051.31/3059.23 c #Conflicts: 1291000 | #Constraints: 166186 3051.31/3059.23 c #Conflicts: 1292000 | #Constraints: 167186 3051.31/3059.23 c #Conflicts: 1293000 | #Constraints: 168186 3051.31/3059.23 c #Conflicts: 1294000 | #Constraints: 169186 3051.31/3059.23 c #Conflicts: 1295000 | #Constraints: 170186 3051.31/3059.23 c #Conflicts: 1296000 | #Constraints: 171186 3051.31/3059.23 c #Conflicts: 1297000 | #Constraints: 172186 3051.31/3059.23 c #Conflicts: 1298000 | #Constraints: 173186 3051.31/3059.23 c #Conflicts: 1299000 | #Constraints: 174186 3051.31/3059.23 c #Conflicts: 1300000 | #Constraints: 175186 3051.31/3059.23 c #Conflicts: 1301000 | #Constraints: 176186 3051.31/3059.23 c #Conflicts: 1302000 | #Constraints: 177186 3051.31/3059.23 c #Conflicts: 1303000 | #Constraints: 178186 3051.31/3059.23 c #Conflicts: 1304000 | #Constraints: 179186 3051.31/3059.23 c #Conflicts: 1305000 | #Constraints: 180186 3051.31/3059.23 c #Conflicts: 1306000 | #Constraints: 181186 3051.31/3059.23 c #Conflicts: 1307000 | #Constraints: 182186 3051.31/3059.23 c #Conflicts: 1308000 | #Constraints: 183186 3051.31/3059.23 c #Conflicts: 1309000 | #Constraints: 184186 3051.31/3059.23 c #Conflicts: 1310000 | #Constraints: 185186 3051.31/3059.23 c #Conflicts: 1311000 | #Constraints: 186186 3051.31/3059.23 c #Conflicts: 1312000 | #Constraints: 187186 3051.31/3059.23 c #Conflicts: 1313000 | #Constraints: 188186 3051.31/3059.23 c #Conflicts: 1314000 | #Constraints: 189186 3051.31/3059.23 c #Conflicts: 1315000 | #Constraints: 190186 3051.31/3059.23 c #Conflicts: 1316000 | #Constraints: 191186 3051.31/3059.23 c #Conflicts: 1317000 | #Constraints: 192186 3051.31/3059.23 c #Conflicts: 1318000 | #Constraints: 193186 3051.31/3059.23 c #Conflicts: 1319000 | #Constraints: 194186 3051.31/3059.23 c #Conflicts: 1320000 | #Constraints: 195186 3051.31/3059.23 c #Conflicts: 1321000 | #Constraints: 196186 3051.31/3059.23 c #Conflicts: 1322000 | #Constraints: 197186 3051.31/3059.23 c #Conflicts: 1323000 | #Constraints: 198186 3051.31/3059.23 c #Conflicts: 1324000 | #Constraints: 199186 3051.31/3059.23 c #Conflicts: 1325000 | #Constraints: 200186 3051.31/3059.23 c #Conflicts: 1326000 | #Constraints: 201186 3051.31/3059.23 c #Conflicts: 1327000 | #Constraints: 202186 3051.31/3059.23 c #Conflicts: 1328000 | #Constraints: 203186 3051.31/3059.23 c #Conflicts: 1329000 | #Constraints: 204186 3051.31/3059.23 c #Conflicts: 1330000 | #Constraints: 205186 3051.31/3059.23 c #Conflicts: 1331000 | #Constraints: 206186 3051.31/3059.23 c #Conflicts: 1332000 | #Constraints: 207186 3051.31/3059.23 c #Conflicts: 1333000 | #Constraints: 208186 3051.31/3059.23 c #Conflicts: 1334000 | #Constraints: 209186 3051.31/3059.23 c #Conflicts: 1335000 | #Constraints: 210186 3051.31/3059.23 c INPROCESSING 3051.31/3059.23 c GARBAGE COLLECT 3051.31/3059.23 c rational objective -110 3153.33/3161.54 c #Conflicts: 1336000 | #Constraints: 155424 3153.33/3161.54 c #Conflicts: 1337000 | #Constraints: 156424 3153.33/3161.54 c #Conflicts: 1338000 | #Constraints: 157424 3153.33/3161.54 c #Conflicts: 1339000 | #Constraints: 158424 3153.33/3161.54 c #Conflicts: 1340000 | #Constraints: 159424 3153.33/3161.54 c #Conflicts: 1341000 | #Constraints: 160424 3153.33/3161.54 c #Conflicts: 1342000 | #Constraints: 161424 3153.33/3161.54 c #Conflicts: 1343000 | #Constraints: 162424 3153.33/3161.54 c #Conflicts: 1344000 | #Constraints: 163424 3153.33/3161.54 c #Conflicts: 1345000 | #Constraints: 164424 3153.33/3161.54 c #Conflicts: 1346000 | #Constraints: 165424 3153.33/3161.54 c #Conflicts: 1347000 | #Constraints: 166424 3153.33/3161.54 c #Conflicts: 1348000 | #Constraints: 167424 3153.33/3161.54 c #Conflicts: 1349000 | #Constraints: 168424 3153.33/3161.54 c #Conflicts: 1350000 | #Constraints: 169424 3153.33/3161.54 c #Conflicts: 1351000 | #Constraints: 170424 3153.33/3161.54 c #Conflicts: 1352000 | #Constraints: 171424 3153.33/3161.54 c #Conflicts: 1353000 | #Constraints: 172424 3153.33/3161.54 c #Conflicts: 1354000 | #Constraints: 173424 3153.33/3161.54 c #Conflicts: 1355000 | #Constraints: 174424 3153.33/3161.54 c #Conflicts: 1356000 | #Constraints: 175424 3153.33/3161.54 c #Conflicts: 1357000 | #Constraints: 176424 3153.33/3161.54 c #Conflicts: 1358000 | #Constraints: 177424 3153.33/3161.54 c #Conflicts: 1359000 | #Constraints: 178424 3153.33/3161.54 c #Conflicts: 1360000 | #Constraints: 179424 3153.33/3161.54 c #Conflicts: 1361000 | #Constraints: 180424 3153.33/3161.54 c #Conflicts: 1362000 | #Constraints: 181424 3153.33/3161.54 c #Conflicts: 1363000 | #Constraints: 182424 3153.33/3161.54 c #Conflicts: 1364000 | #Constraints: 183424 3153.33/3161.54 c #Conflicts: 1365000 | #Constraints: 184424 3153.33/3161.54 c #Conflicts: 1366000 | #Constraints: 185424 3153.33/3161.54 c INPROCESSING 3153.33/3161.54 c GARBAGE COLLECT 3153.33/3161.54 c rational objective -110 3242.10/3250.53 c #Conflicts: 1367000 | #Constraints: 142650 3242.10/3250.53 c #Conflicts: 1368000 | #Constraints: 143650 3242.10/3250.53 c #Conflicts: 1369000 | #Constraints: 144650 3242.10/3250.53 c #Conflicts: 1370000 | #Constraints: 145650 3242.10/3250.53 c #Conflicts: 1371000 | #Constraints: 146650 3242.10/3250.53 c #Conflicts: 1372000 | #Constraints: 147650 3242.10/3250.53 c #Conflicts: 1373000 | #Constraints: 148650 3242.10/3250.53 c #Conflicts: 1374000 | #Constraints: 149650 3242.10/3250.53 c #Conflicts: 1375000 | #Constraints: 150650 3242.10/3250.53 c #Conflicts: 1376000 | #Constraints: 151650 3242.10/3250.53 c #Conflicts: 1377000 | #Constraints: 152650 3242.10/3250.53 c #Conflicts: 1378000 | #Constraints: 153650 3242.10/3250.53 c #Conflicts: 1379000 | #Constraints: 154650 3242.10/3250.53 c #Conflicts: 1380000 | #Constraints: 155650 3242.10/3250.53 c #Conflicts: 1381000 | #Constraints: 156650 3242.10/3250.53 c #Conflicts: 1382000 | #Constraints: 157650 3242.10/3250.53 c #Conflicts: 1383000 | #Constraints: 158650 3242.10/3250.53 c #Conflicts: 1384000 | #Constraints: 159650 3242.10/3250.53 c #Conflicts: 1385000 | #Constraints: 160650 3242.10/3250.53 c #Conflicts: 1386000 | #Constraints: 161650 3242.10/3250.53 c #Conflicts: 1387000 | #Constraints: 162650 3242.10/3250.53 c #Conflicts: 1388000 | #Constraints: 163650 3242.10/3250.53 c #Conflicts: 1389000 | #Constraints: 164650 3242.10/3250.53 c #Conflicts: 1390000 | #Constraints: 165650 3242.10/3250.53 c #Conflicts: 1391000 | #Constraints: 166650 3242.10/3250.53 c #Conflicts: 1392000 | #Constraints: 167650 3242.10/3250.53 c #Conflicts: 1393000 | #Constraints: 168650 3242.10/3250.53 c #Conflicts: 1394000 | #Constraints: 169650 3242.10/3250.53 c #Conflicts: 1395000 | #Constraints: 170650 3242.10/3250.53 c #Conflicts: 1396000 | #Constraints: 171650 3242.10/3250.53 c #Conflicts: 1397000 | #Constraints: 172650 3242.10/3250.53 c #Conflicts: 1398000 | #Constraints: 173650 3242.10/3250.53 c INPROCESSING 3242.10/3250.53 c GARBAGE COLLECT 3242.10/3250.53 c rational objective -110 3512.89/3522.03 c #Conflicts: 1399000 | #Constraints: 136754 3512.89/3522.03 c #Conflicts: 1400000 | #Constraints: 137754 3512.89/3522.03 c #Conflicts: 1401000 | #Constraints: 138754 3512.89/3522.03 c #Conflicts: 1402000 | #Constraints: 139754 3512.89/3522.03 c #Conflicts: 1403000 | #Constraints: 140754 3512.89/3522.03 c #Conflicts: 1404000 | #Constraints: 141754 3512.89/3522.03 c #Conflicts: 1405000 | #Constraints: 142754 3512.89/3522.03 c #Conflicts: 1406000 | #Constraints: 143754 3512.89/3522.03 c #Conflicts: 1407000 | #Constraints: 144754 3512.89/3522.03 c #Conflicts: 1408000 | #Constraints: 145754 3512.89/3522.03 c #Conflicts: 1409000 | #Constraints: 146754 3512.89/3522.03 c #Conflicts: 1410000 | #Constraints: 147754 3512.89/3522.03 c #Conflicts: 1411000 | #Constraints: 148754 3512.89/3522.03 c #Conflicts: 1412000 | #Constraints: 149754 3512.89/3522.03 c #Conflicts: 1413000 | #Constraints: 150754 3512.89/3522.03 c #Conflicts: 1414000 | #Constraints: 151754 3512.89/3522.03 c #Conflicts: 1415000 | #Constraints: 152754 3512.89/3522.03 c #Conflicts: 1416000 | #Constraints: 153754 3512.89/3522.03 c #Conflicts: 1417000 | #Constraints: 154754 3512.89/3522.03 c #Conflicts: 1418000 | #Constraints: 155754 3512.89/3522.03 c #Conflicts: 1419000 | #Constraints: 156754 3512.89/3522.03 c #Conflicts: 1420000 | #Constraints: 157754 3512.89/3522.03 c #Conflicts: 1421000 | #Constraints: 158754 3512.89/3522.03 c #Conflicts: 1422000 | #Constraints: 159754 3512.89/3522.03 c #Conflicts: 1423000 | #Constraints: 160754 3512.89/3522.03 c #Conflicts: 1424000 | #Constraints: 161754 3512.89/3522.03 c #Conflicts: 1425000 | #Constraints: 162754 3512.89/3522.03 c #Conflicts: 1426000 | #Constraints: 163754 3512.89/3522.03 c #Conflicts: 1427000 | #Constraints: 164754 3512.89/3522.03 c #Conflicts: 1428000 | #Constraints: 165754 3512.89/3522.03 c #Conflicts: 1429000 | #Constraints: 166754 3512.89/3522.03 c #Conflicts: 1430000 | #Constraints: 167754 3512.89/3522.03 c #Conflicts: 1431000 | #Constraints: 168754 3512.89/3522.03 c #Conflicts: 1432000 | #Constraints: 169754 3512.89/3522.03 c #Conflicts: 1433000 | #Constraints: 170754 3512.89/3522.03 c #Conflicts: 1434000 | #Constraints: 171754 3512.89/3522.03 c #Conflicts: 1435000 | #Constraints: 172754 3512.89/3522.03 c #Conflicts: 1436000 | #Constraints: 173754 3512.89/3522.03 c #Conflicts: 1437000 | #Constraints: 174754 3512.89/3522.03 c #Conflicts: 1438000 | #Constraints: 175754 3512.89/3522.03 c #Conflicts: 1439000 | #Constraints: 176754 3512.89/3522.03 c #Conflicts: 1440000 | #Constraints: 177754 3512.89/3522.03 c #Conflicts: 1441000 | #Constraints: 178754 3512.89/3522.03 c #Conflicts: 1442000 | #Constraints: 179754 3512.89/3522.03 c #Conflicts: 1443000 | #Constraints: 180754 3512.89/3522.03 c #Conflicts: 1444000 | #Constraints: 181754 3512.89/3522.03 c #Conflicts: 1445000 | #Constraints: 182754 3512.89/3522.03 c #Conflicts: 1446000 | #Constraints: 183754 3512.89/3522.03 c #Conflicts: 1447000 | #Constraints: 184754 3512.89/3522.03 c #Conflicts: 1448000 | #Constraints: 185754 3512.89/3522.03 c #Conflicts: 1449000 | #Constraints: 186754 3512.89/3522.03 c #Conflicts: 1450000 | #Constraints: 187754 3512.89/3522.03 c #Conflicts: 1451000 | #Constraints: 188754 3512.89/3522.03 c #Conflicts: 1452000 | #Constraints: 189754 3512.89/3522.03 c #Conflicts: 1453000 | #Constraints: 190754 3512.89/3522.03 c #Conflicts: 1454000 | #Constraints: 191754 3512.89/3522.03 c #Conflicts: 1455000 | #Constraints: 192754 3512.89/3522.03 c #Conflicts: 1456000 | #Constraints: 193754 3512.89/3522.03 c #Conflicts: 1457000 | #Constraints: 194754 3512.89/3522.03 c #Conflicts: 1458000 | #Constraints: 195754 3512.89/3522.03 c #Conflicts: 1459000 | #Constraints: 196754 3512.89/3522.03 c #Conflicts: 1460000 | #Constraints: 197754 3512.89/3522.03 c #Conflicts: 1461000 | #Constraints: 198754 3512.89/3522.03 c #Conflicts: 1462000 | #Constraints: 199754 3512.89/3522.03 c #Conflicts: 1463000 | #Constraints: 200754 3512.89/3522.03 c #Conflicts: 1464000 | #Constraints: 201754 3512.89/3522.03 c #Conflicts: 1465000 | #Constraints: 202754 3512.89/3522.03 c #Conflicts: 1466000 | #Constraints: 203754 3512.89/3522.03 c #Conflicts: 1467000 | #Constraints: 204754 3512.89/3522.03 c #Conflicts: 1468000 | #Constraints: 205754 3512.89/3522.03 c #Conflicts: 1469000 | #Constraints: 206754 3512.89/3522.03 c #Conflicts: 1470000 | #Constraints: 207754 3512.89/3522.03 c #Conflicts: 1471000 | #Constraints: 208754 3512.89/3522.03 c #Conflicts: 1472000 | #Constraints: 209754 3512.89/3522.03 c #Conflicts: 1473000 | #Constraints: 210754 3512.89/3522.03 c #Conflicts: 1474000 | #Constraints: 211754 3512.89/3522.03 c #Conflicts: 1475000 | #Constraints: 212754 3512.89/3522.03 c #Conflicts: 1476000 | #Constraints: 213754 3512.89/3522.03 c #Conflicts: 1477000 | #Constraints: 214754 3520.97/3530.15 c #Conflicts: 1478000 | #Constraints: 215754 3520.97/3530.15 c INPROCESSING 3520.97/3530.15 c GARBAGE COLLECT 3520.97/3530.15 c rational objective -110 3600.05/3609.40 c #Conflicts: 1479000 | #Constraints: 157852 3600.05/3609.40 c #Conflicts: 1480000 | #Constraints: 158852 3600.05/3609.40 c #Conflicts: 1481000 | #Constraints: 159852 3600.05/3609.40 c #Conflicts: 1482000 | #Constraints: 160852 3600.05/3609.40 c #Conflicts: 1483000 | #Constraints: 161852 3600.05/3609.40 c #Conflicts: 1484000 | #Constraints: 162852 3600.05/3609.40 c #Conflicts: 1485000 | #Constraints: 163852 3600.05/3609.40 c #Conflicts: 1486000 | #Constraints: 164852 3600.05/3609.40 c #Conflicts: 1487000 | #Constraints: 165852 3600.05/3609.40 c #Conflicts: 1488000 | #Constraints: 166852 3600.05/3609.40 c #Conflicts: 1489000 | #Constraints: 167852 3600.05/3609.40 c #Conflicts: 1490000 | #Constraints: 168852 3600.05/3609.40 c #Conflicts: 1491000 | #Constraints: 169852 3600.05/3609.40 c #Conflicts: 1492000 | #Constraints: 170852 3600.05/3609.40 c #Conflicts: 1493000 | #Constraints: 171852 3600.05/3609.40 c #Conflicts: 1494000 | #Constraints: 172852 3600.05/3609.40 c #Conflicts: 1495000 | #Constraints: 173852 3600.05/3609.40 c #Conflicts: 1496000 | #Constraints: 174852 3600.05/3609.40 c #Conflicts: 1497000 | #Constraints: 175852 3600.05/3609.40 c #Conflicts: 1498000 | #Constraints: 176852 3600.05/3609.40 c #Conflicts: 1499000 | #Constraints: 177852 3600.05/3609.40 c Program interrupted by user. 3600.05/3609.40 c cpu time 3580.75 s 3600.05/3609.40 c deterministic time 321541277670 3.22e+11 3600.05/3609.40 c optimization time 79.2182 s 3600.05/3609.40 c total solve time 3500.94 s 3600.05/3609.40 c core-guided solve time 2879.08 s 3600.05/3609.40 c propagation time 3323.08 s 3600.05/3609.40 c conflict analysis time 231.05 s 3600.05/3609.40 c propagations 274736004 3600.05/3609.40 c resolve steps 24580959 3600.05/3609.40 c decisions 3982608 3600.05/3609.40 c conflicts 1499065 3600.05/3609.40 c restarts 2938 3600.05/3609.40 c inprocessing phases 53 3600.05/3609.40 c input clauses 95923 3600.05/3609.40 c input cardinalities 2357 3600.05/3609.40 c input general constraints 1154 3600.05/3609.40 c input average constraint length 17.38 3600.05/3609.40 c input average constraint degree 7.84 3600.05/3609.40 c learned clauses 1164955 3600.05/3609.40 c learned cardinalities 48927 3600.05/3609.40 c learned general constraints 292299 3600.05/3609.40 c learned average constraint length 227.80 3600.05/3609.40 c learned average constraint degree 5179252.85 3600.05/3609.40 c watched constraints 286013 3600.05/3609.40 c counting constraints 7440 3600.05/3609.40 c gcd simplifications 44194 3600.05/3609.40 c detected cardinalities 12695 3600.05/3609.40 c weakened non-implied lits 10708230 3600.05/3609.40 c weakened non-implying lits 95259 3600.05/3609.40 c original variables 1272 3600.05/3609.40 c clausal propagations 196992471 3600.05/3609.40 c cardinality propagations 27791715 3600.05/3609.40 c watched propagations 11240984 3600.05/3609.40 c counting propagations 37124261 3600.05/3609.40 c watch lookups 30579763652 3600.05/3609.40 c watch backjump lookups 21580410583 3600.05/3609.40 c watch checks 259655202680 3600.05/3609.40 c propagation checks 8234807015 3600.05/3609.40 c constraint additions 930656973 3600.05/3609.40 c trail pops 280210259 3600.05/3609.40 c formula constraints 94227 3600.05/3609.40 c learned constraints 1491943 3600.05/3609.40 c bound constraints 1197 3600.05/3609.40 c core-guided constraints 4010 3600.05/3609.40 c encountered formula constraints 2618007 3600.05/3609.40 c encountered learned constraints 17782475 3600.05/3609.40 c encountered bound constraints 410 3600.05/3609.40 c encountered core-guided constraints 5598374 3600.05/3609.40 c LP total time 1441.34 s 3600.05/3609.40 c LP solve time 1417.58 s 3600.05/3609.40 c LP constraints added 94227 3600.05/3609.40 c LP constraints removed 0 3600.05/3609.40 c LP pivots internal 1499089 3600.05/3609.40 c LP pivots root 8806 3600.05/3609.40 c LP calls 141392 3600.05/3609.40 c LP optimalities 134272 3600.05/3609.40 c LP no pivot count 103288 3600.05/3609.40 c LP infeasibilities 7119 3600.05/3609.40 c LP valid Farkas constraints 7119 3600.05/3609.40 c LP learned Farkas constraints 7119 3600.05/3609.40 c LP basis resets 0 3600.05/3609.40 c LP cycling count 0 3600.05/3609.40 c LP singular count 0 3600.05/3609.40 c LP no primal count 0 3600.05/3609.40 c LP no farkas count 0 3600.05/3609.40 c LP other issue count 0 3600.05/3609.40 c LP Gomory cuts 0 3600.05/3609.40 c LP learned cuts 0 3600.05/3609.40 c LP deleted cuts 0 3600.05/3609.40 c LP encountered Gomory constraints 0 3600.05/3609.40 c LP encountered Farkas constraints 58868 3600.05/3609.40 c LP encountered learned Farkas constraints 14771 3600.05/3609.40 c CG auxiliary variables introduced 1728 3600.05/3609.40 c CG solutions found 35 3600.05/3609.40 c CG cores constructed 1162 3600.05/3609.40 c CG core cardinality constraints returned 0 3600.05/3609.40 c CG unit cores 0 3600.05/3609.40 c CG single cores 1162 3600.05/3609.40 c CG blocks removed during cardinality reduction 0 3600.05/3609.40 c CG first core best 0 3600.05/3609.40 c CG decision core best 0 3600.05/3609.40 c CG core reduction tie 0 3600.05/3609.40 c CG core degree average 1.00 3600.05/3609.40 c CG core slack average 1.54 3600.05/3609.40 s SATISFIABLE 3600.05/3609.40 v -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
OK -42
runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 64059 MiB (60831 MiB free)
memory of node 1: 64510 MiB (61144 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456659-1721765593/watcher-4456659-1721765593 -o /tmp/evaluation-result-4456659-1721765593/solver-4456659-1721765593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456659-1721765593 --lp-cut-gomory=0 HOME/instance-4456659-1721765593.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=126930, runsolver pid=126915
[startup+0.1002 s]*
/proc/loadavg: 2.09 2.10 2.09 8/256 126935
/proc/meminfo: memFree=124895152/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=38080 memory=6800 CPUtime=0.1 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 552 0 1 0 7 3 0 0 20 0 1 0 12548409 38993920 1700 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 9520 1700 1365 992 0 1378 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38080 KiB
Current children cumulated memory: 6800 KiB
[startup+0.216558 s]*
/proc/loadavg: 2.09 2.10 2.09 7/256 126935
/proc/meminfo: memFree=124888608/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=38608 memory=8120 CPUtime=0.22 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 826 0 1 0 15 7 0 0 20 0 1 0 12548409 39534592 2030 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 9652 2030 1365 992 0 1510 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 38608 KiB
Current children cumulated memory: 8120 KiB
[startup+0.315234 s]*
/proc/loadavg: 2.09 2.10 2.09 8/256 126935
/proc/meminfo: memFree=124885744/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=39132 memory=9068 CPUtime=0.32 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 1095 0 1 0 22 10 0 0 20 0 1 0 12548409 40071168 2267 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 9783 2267 1365 992 0 1641 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 39132 KiB
Current children cumulated memory: 9068 KiB
[startup+0.700263 s]
/proc/loadavg: 2.09 2.10 2.09 8/256 126935
/proc/meminfo: memFree=124862336/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=46792 memory=20164 CPUtime=0.68 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 3134 0 1 0 49 19 0 0 20 0 1 0 12548409 47915008 5041 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 11698 5041 1667 992 0 3556 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 46792 KiB
Current children cumulated memory: 20164 KiB
[startup+1.50029 s]
/proc/loadavg: 2.09 2.10 2.09 8/256 126935
/proc/meminfo: memFree=124731900/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=81660 memory=55228 CPUtime=1.48 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 15251 0 1 0 125 23 0 0 20 0 1 0 12548409 83619840 13807 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 20415 13807 1730 992 0 12273 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 81660 KiB
Current children cumulated memory: 55228 KiB
[startup+3.11458 s]
/proc/loadavg: 2.24 2.13 2.10 8/256 126937
/proc/meminfo: memFree=124610952/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=94512 memory=67656 CPUtime=3.09 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 18838 0 1 0 243 66 0 0 20 0 1 0 12548409 96780288 16914 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 23628 16914 1824 992 0 15486 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94512 KiB
Current children cumulated memory: 67656 KiB
[startup+6.30026 s]
/proc/loadavg: 2.24 2.13 2.10 8/256 126937
/proc/meminfo: memFree=124559048/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=106232 memory=79324 CPUtime=6.27 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 20637 0 1 0 549 78 0 0 20 0 1 0 12548409 108781568 19831 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 26558 19831 1894 992 0 18416 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 106232 KiB
Current children cumulated memory: 79324 KiB
[startup+12.7003 s]
/proc/loadavg: 2.51 2.20 2.13 8/257 126939
/proc/meminfo: memFree=124508664/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=120672 memory=91740 CPUtime=12.65 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 22187 0 1 0 1166 99 0 0 20 0 1 0 12548409 123568128 22935 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 30168 22935 1894 992 0 22026 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 120672 KiB
Current children cumulated memory: 91740 KiB
[startup+25.5003 s]
/proc/loadavg: 2.89 2.29 2.16 8/254 126941
/proc/meminfo: memFree=124417072/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=121036 memory=91996 CPUtime=25.41 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 22293 0 1 0 2434 107 0 0 20 0 1 0 12548409 123940864 22999 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 30259 22999 1894 992 0 22117 0
Current children cumulated CPU time: 25.41 s
Current children cumulated vsize: 121036 KiB
Current children cumulated memory: 91996 KiB
[startup+51.115 s]
/proc/loadavg: 3.81 2.54 2.24 8/254 126944
/proc/meminfo: memFree=124297508/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=121036 memory=91996 CPUtime=50.95 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 22299 0 1 0 4980 115 0 0 20 0 1 0 12548409 123940864 22999 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 30259 22999 1894 992 0 22117 0
Current children cumulated CPU time: 50.95 s
Current children cumulated vsize: 121036 KiB
Current children cumulated memory: 91996 KiB
[startup+102.3 s]
/proc/loadavg: 6.42 3.49 2.59 8/252 126954
/proc/meminfo: memFree=124007880/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=122416 memory=93516 CPUtime=101.99 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 22650 0 1 0 10056 143 0 0 20 0 1 0 12548409 125353984 23379 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 30604 23379 1894 992 0 22462 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 122416 KiB
Current children cumulated memory: 93516 KiB
[startup+162.3 s]
/proc/loadavg: 5.26 3.73 2.73 8/250 126965
/proc/meminfo: memFree=123731804/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=230356 memory=165936 CPUtime=161.81 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 25500 0 1 0 15985 196 0 0 20 0 1 0 12548409 235884544 41484 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 57589 41484 1894 992 0 49447 0
Current children cumulated CPU time: 161.81 s
Current children cumulated vsize: 230356 KiB
Current children cumulated memory: 165936 KiB
[startup+222.3 s]
/proc/loadavg: 4.52 3.80 2.82 8/248 126975
/proc/meminfo: memFree=123462720/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=318228 memory=211760 CPUtime=221.66 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 27920 0 1 0 21921 245 0 0 20 0 1 0 12548409 325865472 52940 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 79557 52940 1894 992 0 71415 0
Current children cumulated CPU time: 221.66 s
Current children cumulated vsize: 318228 KiB
Current children cumulated memory: 211760 KiB
[startup+282.3 s]
/proc/loadavg: 4.33 3.87 2.91 8/248 126985
/proc/meminfo: memFree=123272792/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=319396 memory=212980 CPUtime=281.5 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 28227 0 1 0 27856 294 0 0 20 0 1 0 12548409 327061504 53245 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 79849 53245 1894 992 0 71707 0
Current children cumulated CPU time: 281.5 s
Current children cumulated vsize: 319396 KiB
Current children cumulated memory: 212980 KiB
[startup+342.301 s]
/proc/loadavg: 4.18 3.91 2.98 8/245 126996
/proc/meminfo: memFree=123060400/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=320788 memory=214200 CPUtime=341.34 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 28596 0 1 0 33792 342 0 0 20 0 1 0 12548409 328486912 53550 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 80197 53550 1894 992 0 72055 0
Current children cumulated CPU time: 341.34 s
Current children cumulated vsize: 320788 KiB
Current children cumulated memory: 214200 KiB
[startup+402.3 s]
/proc/loadavg: 4.22 3.98 3.06 8/248 127011
/proc/meminfo: memFree=122893972/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=320788 memory=214368 CPUtime=401.19 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 28621 0 1 0 39731 388 0 0 20 0 1 0 12548409 328486912 53592 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 80197 53592 1894 992 0 72055 0
Current children cumulated CPU time: 401.19 s
Current children cumulated vsize: 320788 KiB
Current children cumulated memory: 214368 KiB
[startup+462.3 s]
/proc/loadavg: 4.12 4.00 3.13 8/248 127023
/proc/meminfo: memFree=122726096/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=321852 memory=215420 CPUtime=461.03 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 28936 0 1 0 45675 428 0 0 20 0 1 0 12548409 329576448 53855 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 80463 53855 1894 992 0 72321 0
Current children cumulated CPU time: 461.03 s
################
# More data... #
################
Current children cumulated memory: 562808 KiB
[startup+2922.3 s]
/proc/loadavg: 4.09 4.10 4.06 8/246 128644
/proc/meminfo: memFree=116850220/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=734808 memory=562808 CPUtime=2914.77 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 50059 0 1 0 289845 1632 0 0 20 0 1 0 12548409 752443392 140702 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183702 140702 1894 992 0 175560 0
Current children cumulated CPU time: 2914.77 s
Current children cumulated vsize: 734808 KiB
Current children cumulated memory: 562808 KiB
[startup+2982.3 s]
/proc/loadavg: 4.08 4.10 4.06 8/246 128654
/proc/meminfo: memFree=116746656/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=734808 memory=562808 CPUtime=2974.61 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 50218 0 1 0 295801 1660 0 0 20 0 1 0 12548409 752443392 140702 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183702 140702 1894 992 0 175560 0
Current children cumulated CPU time: 2974.61 s
Current children cumulated vsize: 734808 KiB
Current children cumulated memory: 562808 KiB
[startup+3042.3 s]
/proc/loadavg: 4.39 4.16 4.08 8/246 128665
/proc/meminfo: memFree=116617544/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=734808 memory=562808 CPUtime=3034.45 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 50324 0 1 0 301764 1681 0 0 20 0 1 0 12548409 752443392 140702 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183702 140702 1894 992 0 175560 0
Current children cumulated CPU time: 3034.45 s
Current children cumulated vsize: 734808 KiB
Current children cumulated memory: 562808 KiB
[startup+3102.3 s]
/proc/loadavg: 4.14 4.13 4.08 8/246 128675
/proc/meminfo: memFree=116521460/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563704 CPUtime=3094.29 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 50707 0 1 0 307721 1708 0 0 20 0 1 0 12548409 753360896 140926 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140926 1894 992 0 175784 0
Current children cumulated CPU time: 3094.29 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563704 KiB
[startup+3162.3 s]
/proc/loadavg: 4.09 4.11 4.08 8/244 128685
/proc/meminfo: memFree=116439804/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563704 CPUtime=3154.13 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 50872 0 1 0 313679 1734 0 0 20 0 1 0 12548409 753360896 140926 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140926 1894 992 0 175784 0
Current children cumulated CPU time: 3154.13 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563704 KiB
[startup+3222.3 s]
/proc/loadavg: 4.20 4.15 4.09 9/244 128696
/proc/meminfo: memFree=116350804/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563728 CPUtime=3213.96 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51031 0 1 0 319629 1767 0 0 20 0 1 0 12548409 753360896 140932 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140932 1894 992 0 175784 0
Current children cumulated CPU time: 3213.96 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563728 KiB
[startup+3282.3 s]
/proc/loadavg: 4.19 4.15 4.09 8/244 128706
/proc/meminfo: memFree=116230124/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563728 CPUtime=3273.81 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51190 0 1 0 325575 1806 0 0 20 0 1 0 12548409 753360896 140932 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140932 1894 992 0 175784 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563728 KiB
[startup+3342.3 s]
/proc/loadavg: 4.29 4.18 4.11 8/244 128717
/proc/meminfo: memFree=116094588/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563728 CPUtime=3333.65 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51349 0 1 0 331531 1834 0 0 20 0 1 0 12548409 753360896 140932 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140932 1894 992 0 175784 0
Current children cumulated CPU time: 3333.65 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563728 KiB
[startup+3402.3 s]
/proc/loadavg: 4.16 4.16 4.10 8/244 128727
/proc/meminfo: memFree=115968048/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563728 CPUtime=3393.5 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51508 0 1 0 337493 1857 0 0 20 0 1 0 12548409 753360896 140932 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140932 1894 992 0 175784 0
Current children cumulated CPU time: 3393.5 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563728 KiB
[startup+3462.3 s]
/proc/loadavg: 4.10 4.15 4.09 8/247 128743
/proc/meminfo: memFree=115842116/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735704 memory=563728 CPUtime=3453.33 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51754 0 1 0 343455 1878 0 0 20 0 1 0 12548409 753360896 140932 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183926 140932 1894 992 0 175784 0
Current children cumulated CPU time: 3453.33 s
Current children cumulated vsize: 735704 KiB
Current children cumulated memory: 563728 KiB
[startup+3522.3 s]
/proc/loadavg: 4.07 4.13 4.09 8/246 128754
/proc/meminfo: memFree=115726232/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=735920 memory=563740 CPUtime=3513.18 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 51927 0 1 0 349420 1898 0 0 20 0 1 0 12548409 753582080 140935 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 183980 140935 1894 992 0 175838 0
Current children cumulated CPU time: 3513.18 s
Current children cumulated vsize: 735920 KiB
Current children cumulated memory: 563740 KiB
[startup+3582.3 s]
/proc/loadavg: 4.20 4.16 4.10 8/247 128765
/proc/meminfo: memFree=115600748/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=737504 memory=565904 CPUtime=3573.01 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 52545 0 1 0 355380 1921 0 0 20 0 1 0 12548409 755204096 141476 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 184376 141476 1894 992 0 176234 0
Current children cumulated CPU time: 3573.01 s
Current children cumulated vsize: 737504 KiB
Current children cumulated memory: 565904 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.4 s]
/proc/loadavg: 4.34 4.20 4.11 8/247 128769
/proc/meminfo: memFree=115555548/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=737504 memory=565904 CPUtime=3600.05 cores=4,6
/proc/126930/stat : 126930 (roundingsat) R 126915 126930 126859 0 -1 4194304 52622 0 1 0 358075 1930 0 0 20 0 1 0 12548409 755204096 141476 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 184376 141476 1894 992 0 176234 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 737504 KiB
Current children cumulated memory: 565904 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+3609.63 s]
# the end of solver process 126930 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3580.75 s, system=19.3109 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.34 4.20 4.11 8/247 128769
/proc/meminfo: memFree=115555548/131655788 swapFree=131071996/131071996
[pid=126930] ppid=126915 vsize=737504 memory=565904 CPUtime=3600.05 cores=4,6
/proc/126930/stat : 126930 (roundingsat) D 126915 126930 126859 0 -1 4194304 52628 0 2 0 358075 1930 0 0 20 0 1 0 12548409 755204096 141476 134679101440 4194304 8254037 140726462304288 0 0 0 0 0 25182210 0 0 0 17 4 0 0 2 0 0 9037040 9046032 34291712 140726462309212 140726462309474 140726462309474 140726462316489 0
/proc/126930/statm: 184376 141476 1894 992 0 176234 0
Current children cumulated CPU time: 3600.05 s
Current children cumulated vsize: 737504 KiB
Current children cumulated memory: 565904 KiB
Child status: 0
Real time (s): 3609.63
CPU time (s): 3600.06
CPU user time (s): 3580.75
CPU system time (s): 19.3109
CPU usage (%): 99.7351
Max. virtual memory (cumulated for all children) (KiB): 737504
Max. memory (cumulated for all children) (KiB): 565904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3580.75
system time used= 19.3109
maximum resident set size= 565904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 52636
page faults= 2
swaps= 0
block input operations= 224
block output operations= 2122304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 387
involuntary context switches= 4821
# summary of solver processes directly reported to runsolver:
# pid: 126930
# total CPU time (s): 3600.06
# total CPU user time (s): 3580.75
# total CPU system time (s): 19.3109
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.6636 second user time and 37.9659 second system time
The end
Begin job on nodeC003 at 2024-07-23 22:13:14 IDJOB=4456659 IDBENCH=146672 IDSOLVER=3085 FILE ID=nodeC003/4456659-1721765593 RUNJOBID= nodeC003-1721765593-126870 SLURM_JOB_ID= 7770666 Free space on /tmp= 723776 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB06/OPT-LIN/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb53-24-opb/normalized-frb53-24-1.opb COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=CERTNAME --lp-cut-gomory=0 BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4456659-1721765593/watcher-4456659-1721765593 -o /tmp/evaluation-result-4456659-1721765593/solver-4456659-1721765593 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC003-1721765593-126870 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4456659-1721765593 --lp-cut-gomory=0 HOME/instance-4456659-1721765593.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9 RANDOM SEED=1240282112 nodeC003.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1244.225 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1204.720 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1239.047 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1201.317 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.955 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1186.422 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1203.227 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6984.09 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1212.282 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.31 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 124905480 kB MemAvailable: 129927896 kB Buffers: 190632 kB Cached: 5619392 kB SwapCached: 0 kB Active: 1269212 kB Inactive: 4864832 kB Active(anon): 1360 kB Inactive(anon): 369200 kB Active(file): 1267852 kB Inactive(file): 4495632 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 29888 kB Writeback: 32 kB AnonPages: 324400 kB Mapped: 106852 kB Shmem: 45896 kB KReclaimable: 197924 kB Slab: 300976 kB SReclaimable: 197924 kB SUnreclaim: 103052 kB KernelStack: 3664 kB PageTables: 10028 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 560176 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 18752 kB HardwareCorrupted: 0 kB AnonHugePages: 202752 kB ShmemHugePages: 0 kB ShmemPmdMapped: 0 kB FileHugePages: 0 kB FilePmdMapped: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB Hugetlb: 0 kB DirectMap4k: 267080 kB DirectMap2M: 27949056 kB DirectMap1G: 108003328 kB Free space on /tmp at the end= 723752 MiB End job on nodeC003 at 2024-07-23 23:13:23