Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
RoundingSat log (2) | SAT (TO) | -42 | 3600.08 | 3609.25 |
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.20/0.28 c #variables 1272 #constraints 94227 0.68/0.77 c bounds - >= -1272 @ 0.21521 0.68/0.77 c bounds 0 >= -1272 @ 0.615331 0.68/0.77 c bounds 0 >= -1271 @ 0.61588 0.68/0.77 c bounds 0 >= -1270 @ 0.616316 0.68/0.77 c bounds 0 >= -1269 @ 0.616762 0.68/0.77 c bounds 0 >= -1268 @ 0.617155 0.68/0.77 c bounds 0 >= -1267 @ 0.61761 0.68/0.77 c bounds 0 >= -1266 @ 0.61803 0.68/0.77 c bounds 0 >= -1265 @ 0.618481 0.68/0.77 c bounds -1 >= -1265 @ 0.619352 0.68/0.77 c bounds -1 >= -1264 @ 0.619792 0.68/0.77 c bounds -1 >= -1263 @ 0.620227 0.68/0.77 c bounds -1 >= -1262 @ 0.620663 0.68/0.77 c bounds -1 >= -1261 @ 0.62108 0.68/0.77 c bounds -1 >= -1260 @ 0.621539 0.68/0.77 c bounds -1 >= -1259 @ 0.621951 0.68/0.77 c bounds -1 >= -1258 @ 0.622386 0.68/0.77 c bounds -1 >= -1257 @ 0.62282 0.68/0.77 c bounds -1 >= -1256 @ 0.623254 0.68/0.77 c bounds -1 >= -1255 @ 0.62369 0.68/0.77 c bounds -1 >= -1254 @ 0.624107 0.68/0.77 c bounds -1 >= -1253 @ 0.624564 0.68/0.77 c bounds -1 >= -1252 @ 0.624982 0.68/0.77 c bounds -1 >= -1251 @ 0.625397 0.68/0.77 c bounds -1 >= -1250 @ 0.625808 0.68/0.77 c bounds -2 >= -1250 @ 0.626122 0.68/0.77 c bounds -2 >= -1249 @ 0.626122 0.68/0.77 c bounds -2 >= -1248 @ 0.626416 0.68/0.77 c bounds -2 >= -1247 @ 0.62678 0.68/0.77 c bounds -2 >= -1246 @ 0.626844 0.68/0.77 c bounds -2 >= -1245 @ 0.626844 0.68/0.77 c bounds -2 >= -1244 @ 0.627008 0.68/0.77 c bounds -2 >= -1243 @ 0.627417 0.68/0.77 c bounds -4 >= -1243 @ 0.628114 0.68/0.77 c bounds -4 >= -1242 @ 0.628114 0.68/0.77 c bounds -4 >= -1241 @ 0.628114 0.68/0.77 c bounds -4 >= -1240 @ 0.628405 0.68/0.77 c bounds -4 >= -1239 @ 0.628774 0.68/0.77 c bounds -4 >= -1238 @ 0.629182 0.68/0.77 c bounds -4 >= -1237 @ 0.629609 0.68/0.77 c bounds -4 >= -1236 @ 0.629998 0.68/0.77 c bounds -5 >= -1236 @ 0.634209 0.68/0.77 c bounds -5 >= -1235 @ 0.634628 0.68/0.77 c bounds -5 >= -1234 @ 0.635051 0.68/0.77 c bounds -5 >= -1233 @ 0.635474 0.68/0.77 c bounds -5 >= -1232 @ 0.63589 0.68/0.77 c bounds -5 >= -1231 @ 0.636311 0.68/0.77 c bounds -5 >= -1230 @ 0.636727 0.68/0.77 c bounds -5 >= -1229 @ 0.637143 0.68/0.77 c bounds -5 >= -1228 @ 0.637565 0.68/0.77 c bounds -5 >= -1227 @ 0.637979 0.68/0.77 c bounds -5 >= -1226 @ 0.638437 0.68/0.77 c bounds -5 >= -1225 @ 0.638857 0.68/0.77 c bounds -5 >= -1224 @ 0.639277 0.68/0.77 c bounds -5 >= -1223 @ 0.639697 0.68/0.77 c bounds -5 >= -1222 @ 0.640115 0.68/0.77 c bounds -5 >= -1221 @ 0.640538 0.68/0.77 c bounds -5 >= -1220 @ 0.640951 0.68/0.77 c bounds -5 >= -1219 @ 0.641372 0.68/0.77 c bounds -5 >= -1218 @ 0.641793 0.68/0.77 c bounds -5 >= -1217 @ 0.642217 0.68/0.77 c bounds -5 >= -1216 @ 0.642636 0.68/0.77 c bounds -5 >= -1215 @ 0.64305 0.68/0.77 c bounds -5 >= -1214 @ 0.643471 0.68/0.77 c bounds -5 >= -1213 @ 0.643889 0.68/0.77 c bounds -5 >= -1212 @ 0.644306 0.68/0.77 c bounds -5 >= -1211 @ 0.644727 0.68/0.77 c bounds -5 >= -1210 @ 0.645149 0.68/0.77 c bounds -5 >= -1209 @ 0.645573 0.68/0.77 c bounds -5 >= -1208 @ 0.645995 0.68/0.77 c bounds -5 >= -1207 @ 0.646416 0.68/0.77 c bounds -5 >= -1206 @ 0.646844 0.68/0.77 c bounds -5 >= -1205 @ 0.647262 0.68/0.77 c bounds -5 >= -1204 @ 0.647682 0.68/0.77 c bounds -5 >= -1203 @ 0.648107 0.68/0.77 c bounds -5 >= -1202 @ 0.648528 0.68/0.77 c bounds -5 >= -1201 @ 0.648992 0.68/0.77 c bounds -5 >= -1200 @ 0.649417 0.68/0.77 c bounds -5 >= -1199 @ 0.649838 0.68/0.77 c bounds -5 >= -1198 @ 0.65028 0.68/0.77 c bounds -5 >= -1197 @ 0.650709 0.68/0.77 c bounds -5 >= -1196 @ 0.651128 0.68/0.77 c bounds -5 >= -1195 @ 0.651551 0.68/0.77 c bounds -5 >= -1194 @ 0.651967 0.68/0.77 c bounds -5 >= -1193 @ 0.652387 0.68/0.77 c bounds -5 >= -1192 @ 0.65285 0.68/0.77 c bounds -5 >= -1191 @ 0.65327 0.68/0.77 c bounds -5 >= -1190 @ 0.653685 0.68/0.77 c bounds -5 >= -1189 @ 0.654111 0.68/0.77 c bounds -5 >= -1188 @ 0.654538 0.68/0.77 c bounds -5 >= -1187 @ 0.654959 0.68/0.77 c bounds -5 >= -1186 @ 0.655385 0.68/0.77 c bounds -5 >= -1185 @ 0.655808 0.68/0.77 c bounds -5 >= -1184 @ 0.656237 0.68/0.77 c bounds -5 >= -1183 @ 0.656659 0.68/0.77 c bounds -5 >= -1182 @ 0.657082 0.68/0.77 c bounds -5 >= -1181 @ 0.657504 0.68/0.77 c bounds -5 >= -1180 @ 0.657927 0.68/0.77 c bounds -5 >= -1179 @ 0.65835 0.68/0.77 c bounds -5 >= -1178 @ 0.658781 0.68/0.77 c bounds -5 >= -1177 @ 0.659203 0.68/0.77 c bounds -5 >= -1176 @ 0.659629 0.68/0.77 c bounds -5 >= -1175 @ 0.660048 0.68/0.77 c bounds -5 >= -1174 @ 0.660475 0.68/0.77 c bounds -5 >= -1173 @ 0.660898 0.68/0.77 c bounds -5 >= -1172 @ 0.661324 0.68/0.77 c bounds -5 >= -1171 @ 0.66175 0.68/0.77 c bounds -5 >= -1170 @ 0.662177 0.68/0.77 c bounds -5 >= -1169 @ 0.6626 0.68/0.77 c bounds -5 >= -1168 @ 0.66302 0.68/0.77 c bounds -5 >= -1167 @ 0.663452 0.68/0.77 c bounds -5 >= -1166 @ 0.663919 0.68/0.77 c bounds -5 >= -1165 @ 0.664346 0.68/0.77 c bounds -5 >= -1164 @ 0.664769 0.68/0.77 c bounds -5 >= -1163 @ 0.665194 0.68/0.77 c bounds -5 >= -1162 @ 0.66562 0.68/0.77 c bounds -5 >= -1161 @ 0.666049 0.68/0.77 c bounds -5 >= -1160 @ 0.666478 0.68/0.77 c bounds -5 >= -1159 @ 0.666952 0.68/0.77 c bounds -5 >= -1158 @ 0.666988 0.68/0.77 c bounds -5 >= -1157 @ 0.666988 0.68/0.77 c bounds -5 >= -1156 @ 0.667338 0.68/0.77 c bounds -5 >= -1155 @ 0.667712 0.68/0.77 c bounds -5 >= -1154 @ 0.668129 0.68/0.77 c bounds -5 >= -1153 @ 0.66856 0.68/0.77 c bounds -5 >= -1152 @ 0.668957 0.68/0.77 c bounds -5 >= -1151 @ 0.669376 0.68/0.77 c bounds -5 >= -1150 @ 0.6698 0.68/0.77 c bounds -5 >= -1149 @ 0.670269 0.79/0.86 c bounds -5 >= -1148 @ 0.670736 0.79/0.86 c bounds -5 >= -1147 @ 0.671183 0.79/0.86 c bounds -5 >= -1146 @ 0.671608 0.79/0.86 c bounds -5 >= -1145 @ 0.672075 0.79/0.86 c bounds -5 >= -1144 @ 0.672512 0.79/0.86 c bounds -5 >= -1143 @ 0.672941 0.79/0.86 c bounds -5 >= -1142 @ 0.67337 0.79/0.86 c bounds -5 >= -1141 @ 0.673795 0.79/0.86 c bounds -5 >= -1140 @ 0.673866 0.79/0.86 c bounds -5 >= -1139 @ 0.673866 0.79/0.86 c bounds -5 >= -1138 @ 0.674204 0.79/0.86 c bounds -5 >= -1137 @ 0.674613 0.79/0.86 c bounds -5 >= -1136 @ 0.674991 0.79/0.86 c bounds -5 >= -1135 @ 0.675423 0.79/0.86 c bounds -5 >= -1134 @ 0.675851 0.79/0.86 c bounds -5 >= -1133 @ 0.676286 0.79/0.86 c bounds -5 >= -1132 @ 0.676711 0.79/0.86 c bounds -5 >= -1131 @ 0.677143 0.79/0.86 c bounds -5 >= -1130 @ 0.677573 0.79/0.86 c bounds -5 >= -1129 @ 0.678005 0.79/0.86 c bounds -5 >= -1128 @ 0.678484 0.79/0.86 c bounds -5 >= -1127 @ 0.678916 0.79/0.86 c bounds -5 >= -1126 @ 0.679348 0.79/0.86 c bounds -5 >= -1125 @ 0.679774 0.79/0.86 c bounds -5 >= -1124 @ 0.680204 0.79/0.86 c bounds -5 >= -1123 @ 0.680629 0.79/0.86 c bounds -5 >= -1122 @ 0.680698 0.79/0.86 c bounds -5 >= -1121 @ 0.680698 0.79/0.86 c bounds -5 >= -1120 @ 0.680929 0.79/0.86 c bounds -5 >= -1119 @ 0.681359 0.79/0.86 c bounds -6 >= -1119 @ 0.711393 0.79/0.86 c bounds -6 >= -1118 @ 0.711832 0.79/0.86 c bounds -6 >= -1117 @ 0.712315 0.79/0.86 c bounds -6 >= -1116 @ 0.712746 0.79/0.86 c bounds -6 >= -1115 @ 0.713221 0.79/0.86 c bounds -6 >= -1114 @ 0.713657 0.79/0.86 c bounds -6 >= -1113 @ 0.714119 0.79/0.86 c bounds -6 >= -1112 @ 0.714567 0.79/0.86 c bounds -6 >= -1111 @ 0.715019 0.79/0.86 c bounds -6 >= -1110 @ 0.715468 0.79/0.86 c bounds -6 >= -1109 @ 0.715919 0.79/0.86 c bounds -6 >= -1108 @ 0.716374 0.79/0.86 c bounds -6 >= -1107 @ 0.716801 0.79/0.86 c bounds -6 >= -1106 @ 0.717241 0.79/0.86 c bounds -6 >= -1105 @ 0.717672 0.79/0.86 c bounds -6 >= -1104 @ 0.718103 0.79/0.86 c bounds -6 >= -1103 @ 0.718528 0.79/0.86 c bounds -6 >= -1102 @ 0.718954 0.79/0.86 c bounds -6 >= -1101 @ 0.719383 0.79/0.86 c bounds -6 >= -1100 @ 0.719818 0.79/0.86 c bounds -6 >= -1099 @ 0.720247 0.79/0.86 c bounds -6 >= -1098 @ 0.720678 0.79/0.86 c bounds -6 >= -1097 @ 0.721106 0.79/0.86 c bounds -6 >= -1096 @ 0.721577 0.79/0.86 c bounds -6 >= -1095 @ 0.722009 0.79/0.86 c bounds -6 >= -1094 @ 0.722441 0.79/0.86 c bounds -6 >= -1093 @ 0.722873 0.79/0.86 c bounds -6 >= -1092 @ 0.723304 0.79/0.86 c bounds -6 >= -1091 @ 0.723738 0.79/0.86 c bounds -6 >= -1090 @ 0.724173 0.79/0.86 c bounds -6 >= -1089 @ 0.724608 0.79/0.86 c bounds -6 >= -1088 @ 0.725036 0.79/0.86 c bounds -6 >= -1087 @ 0.725468 0.79/0.86 c bounds -6 >= -1086 @ 0.725898 0.79/0.86 c bounds -6 >= -1085 @ 0.726331 0.79/0.86 c bounds -6 >= -1084 @ 0.726808 0.79/0.86 c bounds -6 >= -1083 @ 0.727241 0.79/0.86 c bounds -6 >= -1082 @ 0.727667 0.79/0.86 c bounds -6 >= -1081 @ 0.728103 0.79/0.86 c bounds -6 >= -1080 @ 0.72854 0.79/0.86 c bounds -6 >= -1079 @ 0.728971 0.79/0.86 c bounds -6 >= -1078 @ 0.729406 0.79/0.86 c bounds -6 >= -1077 @ 0.729842 0.79/0.86 c bounds -6 >= -1076 @ 0.730275 0.79/0.86 c bounds -6 >= -1075 @ 0.730705 0.79/0.86 c bounds -6 >= -1074 @ 0.731155 0.79/0.86 c bounds -6 >= -1073 @ 0.731591 0.79/0.86 c bounds -6 >= -1072 @ 0.732034 0.79/0.86 c bounds -6 >= -1071 @ 0.73247 0.79/0.86 c bounds -6 >= -1070 @ 0.732913 0.79/0.86 c bounds -6 >= -1069 @ 0.733351 0.79/0.86 c bounds -6 >= -1068 @ 0.733787 0.79/0.86 c bounds -6 >= -1067 @ 0.734226 0.79/0.86 c bounds -6 >= -1066 @ 0.73466 0.79/0.86 c bounds -6 >= -1065 @ 0.735135 0.79/0.86 c bounds -6 >= -1064 @ 0.735572 0.79/0.86 c bounds -6 >= -1063 @ 0.73601 0.79/0.86 c bounds -6 >= -1062 @ 0.736437 0.79/0.86 c bounds -6 >= -1061 @ 0.736879 0.79/0.86 c bounds -6 >= -1060 @ 0.737312 0.79/0.86 c bounds -6 >= -1059 @ 0.737747 0.79/0.86 c bounds -6 >= -1058 @ 0.738205 0.79/0.86 c bounds -6 >= -1057 @ 0.738641 0.79/0.86 c bounds -6 >= -1056 @ 0.739084 0.79/0.86 c bounds -6 >= -1055 @ 0.739517 0.79/0.86 c bounds -6 >= -1054 @ 0.739997 0.79/0.86 c bounds -6 >= -1053 @ 0.740434 0.79/0.86 c bounds -6 >= -1052 @ 0.740869 0.79/0.86 c bounds -6 >= -1051 @ 0.741305 0.79/0.86 c bounds -6 >= -1050 @ 0.741739 0.79/0.86 c bounds -6 >= -1049 @ 0.742175 0.79/0.86 c bounds -6 >= -1048 @ 0.742608 0.79/0.86 c bounds -6 >= -1047 @ 0.74304 0.79/0.86 c bounds -6 >= -1046 @ 0.743475 0.79/0.86 c bounds -6 >= -1045 @ 0.74391 0.79/0.86 c bounds -6 >= -1044 @ 0.744346 0.79/0.86 c bounds -6 >= -1043 @ 0.744788 0.79/0.86 c bounds -6 >= -1042 @ 0.745221 0.79/0.86 c bounds -6 >= -1041 @ 0.745658 0.79/0.86 c bounds -6 >= -1040 @ 0.746102 0.79/0.86 c bounds -6 >= -1039 @ 0.746543 0.79/0.86 c bounds -6 >= -1038 @ 0.746983 0.79/0.86 c bounds -6 >= -1037 @ 0.747423 0.79/0.86 c bounds -6 >= -1036 @ 0.747861 0.79/0.86 c bounds -6 >= -1035 @ 0.748294 0.79/0.86 c bounds -6 >= -1034 @ 0.748733 0.79/0.86 c bounds -6 >= -1033 @ 0.749215 0.79/0.86 c bounds -6 >= -1032 @ 0.749689 0.79/0.86 c bounds -6 >= -1031 @ 0.750129 0.79/0.86 c bounds -6 >= -1030 @ 0.750567 0.79/0.86 c bounds -6 >= -1029 @ 0.751001 0.79/0.86 c bounds -6 >= -1028 @ 0.751432 0.79/0.86 c bounds -6 >= -1027 @ 0.751496 0.79/0.86 c bounds -6 >= -1026 @ 0.751496 0.79/0.86 c bounds -6 >= -1025 @ 0.75175 0.79/0.86 c bounds -6 >= -1024 @ 0.752185 0.79/0.86 c bounds -6 >= -1023 @ 0.752657 0.79/0.86 c bounds -6 >= -1022 @ 0.753099 0.79/0.86 c bounds -6 >= -1021 @ 0.753544 0.89/0.92 c bounds -6 >= -1020 @ 0.754013 0.89/0.92 c bounds -6 >= -1019 @ 0.754471 0.89/0.92 c bounds -6 >= -1018 @ 0.754917 0.89/0.92 c bounds -6 >= -1017 @ 0.755359 0.89/0.92 c bounds -6 >= -1016 @ 0.755808 0.89/0.92 c bounds -6 >= -1015 @ 0.756248 0.89/0.92 c bounds -6 >= -1014 @ 0.756689 0.89/0.92 c bounds -6 >= -1013 @ 0.756739 0.89/0.92 c bounds -6 >= -1012 @ 0.756739 0.89/0.92 c bounds -6 >= -1011 @ 0.757106 0.89/0.92 c bounds -6 >= -1010 @ 0.75749 0.89/0.92 c bounds -6 >= -1009 @ 0.75793 0.89/0.92 c bounds -6 >= -1008 @ 0.758373 0.89/0.92 c bounds -6 >= -1007 @ 0.758814 0.89/0.92 c bounds -6 >= -1006 @ 0.75925 0.89/0.92 c bounds -6 >= -1005 @ 0.759678 0.89/0.92 c bounds -6 >= -1004 @ 0.760114 0.89/0.92 c bounds -6 >= -1003 @ 0.76055 0.89/0.92 c bounds -6 >= -1002 @ 0.760999 0.89/0.92 c bounds -6 >= -1001 @ 0.761443 0.89/0.92 c bounds -6 >= -1000 @ 0.761886 0.89/0.92 c bounds -6 >= -999 @ 0.762329 0.89/0.92 c bounds -6 >= -998 @ 0.762771 0.89/0.92 c bounds -6 >= -997 @ 0.763205 0.89/0.92 c bounds -6 >= -996 @ 0.763644 0.89/0.92 c bounds -6 >= -995 @ 0.764084 0.89/0.92 c bounds -6 >= -994 @ 0.764524 0.89/0.92 c bounds -6 >= -993 @ 0.764965 0.89/0.92 c bounds -6 >= -992 @ 0.765405 0.89/0.92 c bounds -6 >= -991 @ 0.765842 0.89/0.92 c bounds -6 >= -990 @ 0.766286 0.89/0.92 c bounds -6 >= -989 @ 0.766727 0.89/0.92 c bounds -6 >= -988 @ 0.767216 0.89/0.92 c bounds -6 >= -987 @ 0.76766 0.89/0.92 c bounds -6 >= -986 @ 0.7681 0.89/0.92 c bounds -6 >= -985 @ 0.768536 0.89/0.92 c bounds -6 >= -984 @ 0.768982 0.89/0.92 c bounds -6 >= -983 @ 0.769421 0.89/0.92 c bounds -6 >= -982 @ 0.769864 0.89/0.92 c bounds -6 >= -981 @ 0.770304 0.89/0.92 c bounds -6 >= -980 @ 0.770746 0.89/0.92 c bounds -6 >= -979 @ 0.771187 0.89/0.92 c bounds -6 >= -978 @ 0.771624 0.89/0.92 c bounds -6 >= -977 @ 0.772074 0.89/0.92 c bounds -6 >= -976 @ 0.772518 0.89/0.92 c bounds -6 >= -975 @ 0.772963 0.89/0.92 c bounds -6 >= -974 @ 0.773407 0.89/0.92 c bounds -6 >= -973 @ 0.773869 0.89/0.92 c bounds -6 >= -972 @ 0.774306 0.89/0.92 c bounds -6 >= -971 @ 0.774761 0.89/0.92 c bounds -6 >= -970 @ 0.77521 0.89/0.92 c bounds -6 >= -969 @ 0.775656 0.89/0.92 c bounds -6 >= -968 @ 0.776104 0.89/0.92 c bounds -6 >= -967 @ 0.77655 0.89/0.92 c bounds -6 >= -966 @ 0.776991 0.89/0.92 c bounds -6 >= -965 @ 0.777443 0.89/0.92 c bounds -6 >= -964 @ 0.777892 0.89/0.92 c bounds -6 >= -963 @ 0.778334 0.89/0.92 c bounds -6 >= -962 @ 0.778793 0.89/0.92 c bounds -6 >= -961 @ 0.77924 0.89/0.92 c bounds -6 >= -960 @ 0.779686 0.89/0.92 c bounds -6 >= -959 @ 0.780131 0.89/0.92 c bounds -6 >= -958 @ 0.780577 0.89/0.92 c bounds -6 >= -957 @ 0.781021 0.89/0.92 c bounds -6 >= -956 @ 0.781467 0.89/0.92 c bounds -6 >= -955 @ 0.781913 0.89/0.92 c bounds -6 >= -954 @ 0.782355 0.89/0.92 c bounds -6 >= -953 @ 0.782418 0.89/0.92 c bounds -6 >= -952 @ 0.782418 0.89/0.92 c bounds -6 >= -951 @ 0.782687 0.89/0.92 c bounds -6 >= -950 @ 0.783129 0.89/0.92 c bounds -6 >= -949 @ 0.783573 0.89/0.92 c bounds -6 >= -948 @ 0.784013 0.89/0.92 c bounds -6 >= -947 @ 0.784464 0.89/0.92 c bounds -6 >= -946 @ 0.78491 0.89/0.92 c bounds -6 >= -945 @ 0.785355 0.89/0.92 c bounds -6 >= -944 @ 0.785801 0.89/0.92 c bounds -6 >= -943 @ 0.786251 0.89/0.92 c bounds -6 >= -942 @ 0.786716 0.89/0.92 c bounds -6 >= -941 @ 0.787182 0.89/0.92 c bounds -6 >= -940 @ 0.787629 0.89/0.92 c bounds -6 >= -939 @ 0.788083 0.89/0.92 c bounds -6 >= -938 @ 0.788528 0.89/0.92 c bounds -6 >= -937 @ 0.788981 0.89/0.92 c bounds -6 >= -936 @ 0.789423 0.89/0.92 c bounds -6 >= -935 @ 0.789866 0.89/0.92 c bounds -6 >= -934 @ 0.790318 0.89/0.92 c bounds -6 >= -933 @ 0.790761 0.89/0.92 c bounds -6 >= -932 @ 0.79121 0.89/0.92 c bounds -6 >= -931 @ 0.79171 0.89/0.92 c bounds -6 >= -930 @ 0.792182 0.89/0.92 c bounds -6 >= -929 @ 0.792628 0.89/0.92 c bounds -6 >= -928 @ 0.793118 0.89/0.92 c bounds -6 >= -927 @ 0.793567 0.89/0.92 c bounds -6 >= -926 @ 0.79363 0.89/0.92 c bounds -6 >= -925 @ 0.79363 0.89/0.92 c bounds -6 >= -924 @ 0.794048 0.89/0.92 c bounds -6 >= -923 @ 0.794467 0.89/0.92 c bounds -6 >= -922 @ 0.79495 0.89/0.92 c bounds -6 >= -921 @ 0.795404 0.89/0.92 c bounds -6 >= -920 @ 0.795883 0.89/0.92 c bounds -6 >= -919 @ 0.796356 0.89/0.92 c bounds -6 >= -918 @ 0.796826 0.89/0.92 c bounds -6 >= -917 @ 0.797297 0.89/0.92 c bounds -6 >= -916 @ 0.797769 0.89/0.92 c bounds -6 >= -915 @ 0.798244 0.89/0.92 c bounds -6 >= -914 @ 0.798716 0.89/0.92 c bounds -6 >= -913 @ 0.799193 0.89/0.92 c bounds -6 >= -912 @ 0.799647 0.89/0.92 c bounds -6 >= -911 @ 0.800114 0.89/0.92 c bounds -6 >= -910 @ 0.80056 0.89/0.92 c bounds -6 >= -909 @ 0.801048 0.89/0.92 c bounds -6 >= -908 @ 0.801492 0.89/0.92 c bounds -6 >= -907 @ 0.801976 0.89/0.92 c bounds -6 >= -906 @ 0.802416 0.89/0.92 c bounds -6 >= -905 @ 0.802903 0.89/0.92 c bounds -6 >= -904 @ 0.803347 0.89/0.92 c bounds -6 >= -903 @ 0.803816 0.89/0.92 c bounds -6 >= -902 @ 0.804277 0.89/0.92 c bounds -6 >= -901 @ 0.804747 0.89/0.92 c bounds -6 >= -900 @ 0.805209 0.89/0.92 c bounds -6 >= -899 @ 0.805674 0.89/0.92 c bounds -6 >= -898 @ 0.806147 0.89/0.92 c bounds -6 >= -897 @ 0.806594 0.89/0.92 c bounds -6 >= -896 @ 0.807078 0.89/0.92 c bounds -6 >= -895 @ 0.807524 0.89/0.92 c bounds -6 >= -894 @ 0.808017 0.89/0.92 c bounds -6 >= -893 @ 0.808467 0.89/0.92 c bounds -6 >= -892 @ 0.80896 0.89/0.92 c bounds -6 >= -891 @ 0.809409 0.89/0.92 c bounds -6 >= -890 @ 0.809859 0.89/0.92 c bounds -6 >= -889 @ 0.810313 0.89/0.98 c bounds -6 >= -888 @ 0.810791 0.89/0.98 c bounds -6 >= -887 @ 0.811267 0.89/0.98 c bounds -6 >= -886 @ 0.811727 0.89/0.98 c bounds -6 >= -885 @ 0.812184 0.89/0.98 c bounds -6 >= -884 @ 0.81264 0.89/0.98 c bounds -6 >= -883 @ 0.813087 0.89/0.98 c bounds -6 >= -882 @ 0.813545 0.89/0.98 c bounds -6 >= -881 @ 0.813573 0.89/0.98 c bounds -6 >= -880 @ 0.813573 0.89/0.98 c bounds -6 >= -879 @ 0.813964 0.89/0.98 c bounds -6 >= -878 @ 0.8144 0.89/0.98 c bounds -6 >= -877 @ 0.81484 0.89/0.98 c bounds -6 >= -876 @ 0.815293 0.89/0.98 c bounds -6 >= -875 @ 0.81576 0.89/0.98 c bounds -6 >= -874 @ 0.816216 0.89/0.98 c bounds -6 >= -873 @ 0.816282 0.89/0.98 c bounds -6 >= -872 @ 0.816282 0.89/0.98 c bounds -6 >= -871 @ 0.816573 0.89/0.98 c bounds -6 >= -870 @ 0.817033 0.89/0.98 c bounds -6 >= -869 @ 0.817499 0.89/0.98 c bounds -6 >= -868 @ 0.81756 0.89/0.98 c bounds -6 >= -867 @ 0.81756 0.89/0.98 c bounds -6 >= -866 @ 0.81795 0.89/0.98 c bounds -6 >= -865 @ 0.818364 0.89/0.98 c bounds -6 >= -864 @ 0.818819 0.89/0.98 c bounds -6 >= -863 @ 0.819277 0.89/0.98 c bounds -6 >= -862 @ 0.819736 0.89/0.98 c bounds -6 >= -861 @ 0.820194 0.89/0.98 c bounds -6 >= -860 @ 0.820643 0.89/0.98 c bounds -6 >= -859 @ 0.821099 0.89/0.98 c bounds -6 >= -858 @ 0.821545 0.89/0.98 c bounds -6 >= -857 @ 0.822004 0.89/0.98 c bounds -6 >= -856 @ 0.822462 0.89/0.98 c bounds -6 >= -855 @ 0.822926 0.89/0.98 c bounds -6 >= -854 @ 0.823399 0.89/0.98 c bounds -6 >= -853 @ 0.823884 0.89/0.98 c bounds -6 >= -852 @ 0.824348 0.89/0.98 c bounds -6 >= -851 @ 0.824806 0.89/0.98 c bounds -6 >= -850 @ 0.825264 0.89/0.98 c bounds -6 >= -849 @ 0.825715 0.89/0.98 c bounds -6 >= -848 @ 0.82617 0.89/0.98 c bounds -6 >= -847 @ 0.826629 0.89/0.98 c bounds -6 >= -846 @ 0.827084 0.89/0.98 c bounds -6 >= -845 @ 0.827535 0.89/0.98 c bounds -6 >= -844 @ 0.827987 0.89/0.98 c bounds -6 >= -843 @ 0.828438 0.89/0.98 c bounds -6 >= -842 @ 0.828891 0.89/0.98 c bounds -6 >= -841 @ 0.829349 0.89/0.98 c bounds -6 >= -840 @ 0.829802 0.89/0.98 c bounds -6 >= -839 @ 0.830261 0.89/0.98 c bounds -6 >= -838 @ 0.830719 0.89/0.98 c bounds -6 >= -837 @ 0.831174 0.89/0.98 c bounds -6 >= -836 @ 0.83167 0.89/0.98 c bounds -6 >= -835 @ 0.832131 0.89/0.98 c bounds -6 >= -834 @ 0.832585 0.89/0.98 c bounds -6 >= -833 @ 0.833043 0.89/0.98 c bounds -6 >= -832 @ 0.833496 0.89/0.98 c bounds -6 >= -831 @ 0.833952 0.89/0.98 c bounds -6 >= -830 @ 0.834415 0.89/0.98 c bounds -6 >= -829 @ 0.834875 0.89/0.98 c bounds -6 >= -828 @ 0.835332 0.89/0.98 c bounds -6 >= -827 @ 0.835793 0.89/0.98 c bounds -6 >= -826 @ 0.836253 0.89/0.98 c bounds -6 >= -825 @ 0.836712 0.89/0.98 c bounds -6 >= -824 @ 0.837171 0.89/0.98 c bounds -6 >= -823 @ 0.837628 0.89/0.98 c bounds -6 >= -822 @ 0.83809 0.89/0.98 c bounds -6 >= -821 @ 0.838549 0.89/0.98 c bounds -6 >= -820 @ 0.839009 0.89/0.98 c bounds -6 >= -819 @ 0.839474 0.89/0.98 c bounds -6 >= -818 @ 0.839933 0.89/0.98 c bounds -6 >= -817 @ 0.840396 0.89/0.98 c bounds -6 >= -816 @ 0.840858 0.89/0.98 c bounds -6 >= -815 @ 0.841307 0.89/0.98 c bounds -6 >= -814 @ 0.841761 0.89/0.98 c bounds -6 >= -813 @ 0.842221 0.89/0.98 c bounds -6 >= -812 @ 0.842676 0.89/0.98 c bounds -6 >= -811 @ 0.84313 0.89/0.98 c bounds -6 >= -810 @ 0.843619 0.89/0.98 c bounds -6 >= -809 @ 0.84408 0.89/0.98 c bounds -6 >= -808 @ 0.844543 0.89/0.98 c bounds -6 >= -807 @ 0.845002 0.89/0.98 c bounds -6 >= -806 @ 0.845458 0.89/0.98 c bounds -6 >= -805 @ 0.845917 0.89/0.98 c bounds -6 >= -804 @ 0.846366 0.89/0.98 c bounds -6 >= -803 @ 0.846828 0.89/0.98 c bounds -6 >= -802 @ 0.847292 0.89/0.98 c bounds -6 >= -801 @ 0.847352 0.89/0.98 c bounds -6 >= -800 @ 0.847352 0.89/0.98 c bounds -6 >= -799 @ 0.847746 0.89/0.98 c bounds -6 >= -798 @ 0.848183 0.89/0.98 c bounds -6 >= -797 @ 0.848642 0.89/0.98 c bounds -6 >= -796 @ 0.849106 0.89/0.98 c bounds -6 >= -795 @ 0.849567 0.89/0.98 c bounds -6 >= -794 @ 0.850031 0.89/0.98 c bounds -6 >= -793 @ 0.850457 0.89/0.98 c bounds -6 >= -792 @ 0.85092 0.89/0.98 c bounds -6 >= -791 @ 0.851379 0.89/0.98 c bounds -6 >= -790 @ 0.851844 0.89/0.98 c bounds -6 >= -789 @ 0.852302 0.89/0.98 c bounds -6 >= -788 @ 0.852755 0.89/0.98 c bounds -6 >= -787 @ 0.853217 0.89/0.98 c bounds -6 >= -786 @ 0.853275 0.89/0.98 c bounds -6 >= -785 @ 0.853275 0.89/0.98 c bounds -6 >= -784 @ 0.853682 0.89/0.98 c bounds -6 >= -783 @ 0.854103 0.89/0.98 c bounds -6 >= -782 @ 0.854552 0.89/0.98 c bounds -6 >= -781 @ 0.855014 0.89/0.98 c bounds -6 >= -780 @ 0.855437 0.89/0.98 c bounds -6 >= -779 @ 0.85591 0.89/0.98 c bounds -6 >= -778 @ 0.856376 0.89/0.98 c bounds -6 >= -777 @ 0.856837 0.89/0.98 c bounds -6 >= -776 @ 0.857303 0.89/0.98 c bounds -6 >= -775 @ 0.857769 0.89/0.98 c bounds -6 >= -774 @ 0.858233 0.89/0.98 c bounds -6 >= -773 @ 0.858705 0.89/0.98 c bounds -6 >= -772 @ 0.859169 0.89/0.98 c bounds -6 >= -771 @ 0.859634 0.89/0.98 c bounds -6 >= -770 @ 0.860099 0.89/0.98 c bounds -6 >= -769 @ 0.860569 0.89/0.98 c bounds -6 >= -768 @ 0.861037 0.89/0.98 c bounds -6 >= -767 @ 0.861507 0.89/0.98 c bounds -6 >= -766 @ 0.861969 0.89/0.98 c bounds -6 >= -765 @ 0.862436 0.89/0.98 c bounds -6 >= -764 @ 0.862902 0.89/0.98 c bounds -6 >= -763 @ 0.863367 0.89/0.98 c bounds -6 >= -762 @ 0.863424 0.89/0.98 c bounds -6 >= -761 @ 0.863424 0.89/0.98 c bounds -6 >= -760 @ 0.863834 0.89/0.98 c bounds -6 >= -759 @ 0.864256 0.89/0.98 c bounds -6 >= -758 @ 0.864716 0.89/0.98 c bounds -6 >= -757 @ 0.86518 0.99/1.06 c bounds -6 >= -756 @ 0.86568 0.99/1.06 c bounds -6 >= -755 @ 0.866165 0.99/1.06 c bounds -6 >= -754 @ 0.866634 0.99/1.06 c bounds -6 >= -753 @ 0.867102 0.99/1.06 c bounds -6 >= -752 @ 0.867565 0.99/1.06 c bounds -6 >= -751 @ 0.868025 0.99/1.06 c bounds -6 >= -750 @ 0.868493 0.99/1.06 c bounds -6 >= -749 @ 0.868966 0.99/1.06 c bounds -6 >= -748 @ 0.869422 0.99/1.06 c bounds -6 >= -747 @ 0.869881 0.99/1.06 c bounds -6 >= -746 @ 0.870343 0.99/1.06 c bounds -6 >= -745 @ 0.87081 0.99/1.06 c bounds -6 >= -744 @ 0.871281 0.99/1.06 c bounds -6 >= -743 @ 0.871748 0.99/1.06 c bounds -6 >= -742 @ 0.872214 0.99/1.06 c bounds -6 >= -741 @ 0.872679 0.99/1.06 c bounds -6 >= -740 @ 0.873145 0.99/1.06 c bounds -6 >= -739 @ 0.873617 0.99/1.06 c bounds -6 >= -738 @ 0.874079 0.99/1.06 c bounds -6 >= -737 @ 0.874553 0.99/1.06 c bounds -6 >= -736 @ 0.875017 0.99/1.06 c bounds -6 >= -735 @ 0.87549 0.99/1.06 c bounds -6 >= -734 @ 0.87596 0.99/1.06 c bounds -6 >= -733 @ 0.876436 0.99/1.06 c bounds -6 >= -732 @ 0.876905 0.99/1.06 c bounds -6 >= -731 @ 0.877377 0.99/1.06 c bounds -6 >= -730 @ 0.877857 0.99/1.06 c bounds -6 >= -729 @ 0.87833 0.99/1.06 c bounds -6 >= -728 @ 0.878379 0.99/1.06 c bounds -6 >= -727 @ 0.878379 0.99/1.06 c bounds -6 >= -726 @ 0.87883 0.99/1.06 c bounds -6 >= -725 @ 0.879291 0.99/1.06 c bounds -6 >= -724 @ 0.879795 0.99/1.06 c bounds -6 >= -723 @ 0.880266 0.99/1.06 c bounds -6 >= -722 @ 0.880788 0.99/1.06 c bounds -6 >= -721 @ 0.881263 0.99/1.06 c bounds -6 >= -720 @ 0.881786 0.99/1.06 c bounds -6 >= -719 @ 0.882261 0.99/1.06 c bounds -6 >= -718 @ 0.882791 0.99/1.06 c bounds -6 >= -717 @ 0.883263 0.99/1.06 c bounds -6 >= -716 @ 0.883761 0.99/1.06 c bounds -6 >= -715 @ 0.884246 0.99/1.06 c bounds -6 >= -714 @ 0.884729 0.99/1.06 c bounds -6 >= -713 @ 0.885207 0.99/1.06 c bounds -6 >= -712 @ 0.885728 0.99/1.06 c bounds -6 >= -711 @ 0.88621 0.99/1.06 c bounds -6 >= -710 @ 0.886691 0.99/1.06 c bounds -6 >= -709 @ 0.887174 0.99/1.06 c bounds -6 >= -708 @ 0.887658 0.99/1.06 c bounds -6 >= -707 @ 0.888181 0.99/1.06 c bounds -6 >= -706 @ 0.888662 0.99/1.06 c bounds -6 >= -705 @ 0.889151 0.99/1.06 c bounds -6 >= -704 @ 0.889655 0.99/1.06 c bounds -6 >= -703 @ 0.890118 0.99/1.06 c bounds -6 >= -702 @ 0.8906 0.99/1.06 c bounds -6 >= -701 @ 0.891087 0.99/1.06 c bounds -6 >= -700 @ 0.891576 0.99/1.06 c bounds -6 >= -699 @ 0.892058 0.99/1.06 c bounds -6 >= -698 @ 0.892547 0.99/1.06 c bounds -6 >= -697 @ 0.89303 0.99/1.06 c bounds -6 >= -696 @ 0.893523 0.99/1.06 c bounds -6 >= -695 @ 0.894013 0.99/1.06 c bounds -6 >= -694 @ 0.894514 0.99/1.06 c bounds -6 >= -693 @ 0.895007 0.99/1.06 c bounds -6 >= -692 @ 0.895496 0.99/1.06 c bounds -6 >= -691 @ 0.895989 0.99/1.06 c bounds -6 >= -690 @ 0.896487 0.99/1.06 c bounds -6 >= -689 @ 0.896977 0.99/1.06 c bounds -6 >= -688 @ 0.897473 0.99/1.06 c bounds -6 >= -687 @ 0.897966 0.99/1.06 c bounds -6 >= -686 @ 0.898456 0.99/1.06 c bounds -6 >= -685 @ 0.89895 0.99/1.06 c bounds -6 >= -684 @ 0.899443 0.99/1.06 c bounds -6 >= -683 @ 0.899936 0.99/1.06 c bounds -6 >= -682 @ 0.900433 0.99/1.06 c bounds -6 >= -681 @ 0.900931 0.99/1.06 c bounds -6 >= -680 @ 0.901425 0.99/1.06 c bounds -6 >= -679 @ 0.901923 0.99/1.06 c bounds -6 >= -678 @ 0.902412 0.99/1.06 c bounds -6 >= -677 @ 0.902906 0.99/1.06 c bounds -6 >= -676 @ 0.903403 0.99/1.06 c bounds -6 >= -675 @ 0.903899 0.99/1.06 c bounds -6 >= -674 @ 0.904373 0.99/1.06 c bounds -6 >= -673 @ 0.90485 0.99/1.06 c bounds -6 >= -672 @ 0.905338 0.99/1.06 c bounds -6 >= -671 @ 0.905815 0.99/1.06 c bounds -6 >= -670 @ 0.906298 0.99/1.06 c bounds -6 >= -669 @ 0.906776 0.99/1.06 c bounds -6 >= -668 @ 0.907254 0.99/1.06 c bounds -6 >= -667 @ 0.907729 0.99/1.06 c bounds -6 >= -666 @ 0.908208 0.99/1.06 c bounds -6 >= -665 @ 0.908687 0.99/1.06 c bounds -6 >= -664 @ 0.909162 0.99/1.06 c bounds -6 >= -663 @ 0.909641 0.99/1.06 c bounds -6 >= -662 @ 0.910119 0.99/1.06 c bounds -6 >= -661 @ 0.910596 0.99/1.06 c bounds -6 >= -660 @ 0.91107 0.99/1.06 c bounds -6 >= -659 @ 0.911549 0.99/1.06 c bounds -6 >= -658 @ 0.912029 0.99/1.06 c bounds -6 >= -657 @ 0.912507 0.99/1.06 c bounds -6 >= -656 @ 0.912982 0.99/1.06 c bounds -6 >= -655 @ 0.913456 0.99/1.06 c bounds -6 >= -654 @ 0.913938 0.99/1.06 c bounds -6 >= -653 @ 0.91442 0.99/1.06 c bounds -6 >= -652 @ 0.914895 0.99/1.06 c bounds -6 >= -651 @ 0.91537 0.99/1.06 c bounds -6 >= -650 @ 0.915849 0.99/1.06 c bounds -6 >= -649 @ 0.916323 0.99/1.06 c bounds -6 >= -648 @ 0.916802 0.99/1.06 c bounds -6 >= -647 @ 0.917283 0.99/1.06 c bounds -6 >= -646 @ 0.917766 0.99/1.06 c bounds -6 >= -645 @ 0.91825 0.99/1.06 c bounds -6 >= -644 @ 0.918737 0.99/1.06 c bounds -6 >= -643 @ 0.91922 0.99/1.06 c bounds -6 >= -642 @ 0.919701 0.99/1.06 c bounds -6 >= -641 @ 0.920188 0.99/1.06 c bounds -6 >= -640 @ 0.920671 0.99/1.06 c bounds -6 >= -639 @ 0.92116 0.99/1.06 c bounds -6 >= -638 @ 0.921638 0.99/1.06 c bounds -6 >= -637 @ 0.922121 0.99/1.06 c bounds -6 >= -636 @ 0.922601 0.99/1.06 c bounds -6 >= -635 @ 0.923243 0.99/1.06 c bounds -6 >= -634 @ 0.925065 0.99/1.06 c bounds -6 >= -633 @ 0.926235 0.99/1.06 c bounds -6 >= -632 @ 0.926235 0.99/1.06 c bounds -6 >= -631 @ 0.927416 0.99/1.06 c bounds -6 >= -630 @ 0.92939 0.99/1.06 c bounds -6 >= -629 @ 0.930538 0.99/1.06 c bounds -6 >= -628 @ 0.931576 0.99/1.06 c bounds -6 >= -627 @ 0.932626 0.99/1.06 c bounds -6 >= -626 @ 0.933646 0.99/1.06 c bounds -6 >= -625 @ 0.935649 0.99/1.06 c bounds -6 >= -624 @ 0.936208 1.59/1.67 c bounds -6 >= -623 @ 0.936786 1.59/1.67 c bounds -6 >= -622 @ 0.937203 1.59/1.67 c bounds -6 >= -621 @ 0.937203 1.59/1.67 c bounds -6 >= -620 @ 0.937203 1.59/1.67 c bounds -6 >= -619 @ 0.937203 1.59/1.67 c bounds -6 >= -618 @ 0.937203 1.59/1.67 c bounds -6 >= -617 @ 0.937203 1.59/1.67 c bounds -6 >= -616 @ 0.938022 1.59/1.67 c bounds -6 >= -615 @ 0.939187 1.59/1.67 c bounds -6 >= -614 @ 0.939187 1.59/1.67 c bounds -6 >= -613 @ 0.940922 1.59/1.67 c bounds -6 >= -612 @ 0.941181 1.59/1.67 c bounds -6 >= -611 @ 0.941999 1.59/1.67 c bounds -6 >= -610 @ 0.942176 1.59/1.67 c bounds -6 >= -609 @ 0.942176 1.59/1.67 c bounds -6 >= -608 @ 0.942176 1.59/1.67 c bounds -6 >= -607 @ 0.942176 1.59/1.67 c bounds -6 >= -606 @ 0.942176 1.59/1.67 c bounds -6 >= -605 @ 0.942176 1.59/1.67 c bounds -6 >= -604 @ 0.942176 1.59/1.67 c bounds -6 >= -603 @ 0.942752 1.59/1.67 c bounds -6 >= -602 @ 0.944737 1.59/1.67 c bounds -6 >= -601 @ 0.945157 1.59/1.67 c bounds -6 >= -600 @ 0.945157 1.59/1.67 c bounds -6 >= -599 @ 0.946151 1.59/1.67 c bounds -6 >= -598 @ 0.946151 1.59/1.67 c bounds -6 >= -597 @ 0.946151 1.59/1.67 c bounds -6 >= -596 @ 0.947145 1.59/1.67 c bounds -6 >= -595 @ 0.948835 1.59/1.67 c bounds -6 >= -594 @ 0.950139 1.59/1.67 c bounds -6 >= -593 @ 0.950139 1.59/1.67 c bounds -6 >= -592 @ 0.951135 1.59/1.67 c bounds -6 >= -591 @ 0.952132 1.59/1.67 c bounds -6 >= -590 @ 0.952546 1.59/1.67 c bounds -6 >= -589 @ 0.953554 1.59/1.67 c bounds -6 >= -588 @ 0.954523 1.59/1.67 c bounds -6 >= -587 @ 0.955458 1.59/1.67 c bounds -6 >= -586 @ 0.956395 1.59/1.67 c bounds -6 >= -585 @ 0.957349 1.59/1.67 c bounds -6 >= -584 @ 0.959075 1.59/1.67 c bounds -6 >= -583 @ 0.959679 1.59/1.67 c bounds -6 >= -582 @ 0.960536 1.59/1.67 c bounds -6 >= -581 @ 0.961487 1.59/1.67 c bounds -6 >= -580 @ 0.963212 1.59/1.67 c bounds -6 >= -579 @ 0.965044 1.59/1.67 c bounds -6 >= -578 @ 0.966937 1.59/1.67 c bounds -6 >= -577 @ 0.967088 1.59/1.67 c bounds -6 >= -576 @ 0.967674 1.59/1.67 c bounds -6 >= -575 @ 0.969518 1.59/1.67 c bounds -6 >= -574 @ 0.971418 1.59/1.67 c bounds -6 >= -573 @ 0.972409 1.59/1.67 c bounds -6 >= -572 @ 0.973277 1.59/1.67 c bounds -6 >= -571 @ 0.974992 1.59/1.67 c bounds -6 >= -570 @ 1.3134 1.59/1.67 c bounds -6 >= -569 @ 1.31438 1.59/1.67 c bounds -6 >= -568 @ 1.31518 1.59/1.67 c bounds -6 >= -567 @ 1.31618 1.59/1.67 c bounds -6 >= -566 @ 1.31718 1.59/1.67 c bounds -6 >= -565 @ 1.31718 1.59/1.67 c bounds -6 >= -564 @ 1.3174 1.59/1.67 c bounds -6 >= -563 @ 1.31917 1.59/1.67 c bounds -6 >= -562 @ 1.31917 1.59/1.67 c bounds -6 >= -561 @ 1.32061 1.59/1.67 c bounds -6 >= -560 @ 1.32158 1.59/1.67 c bounds -6 >= -559 @ 1.32335 1.59/1.67 c bounds -6 >= -558 @ 1.32418 1.59/1.67 c bounds -6 >= -557 @ 1.32515 1.59/1.67 c bounds -6 >= -556 @ 1.32656 1.59/1.67 c bounds -6 >= -555 @ 1.32715 1.59/1.67 c bounds -6 >= -554 @ 1.32715 1.59/1.67 c bounds -6 >= -553 @ 1.32715 1.59/1.67 c bounds -6 >= -552 @ 1.32853 1.59/1.67 c bounds -6 >= -551 @ 1.33036 1.59/1.67 c bounds -6 >= -550 @ 1.33116 1.59/1.67 c bounds -6 >= -549 @ 1.33213 1.59/1.67 c bounds -6 >= -548 @ 1.33445 1.59/1.67 c bounds -6 >= -547 @ 1.33697 1.59/1.67 c bounds -6 >= -546 @ 1.3384 1.59/1.67 c bounds -6 >= -545 @ 1.34019 1.59/1.67 c bounds -6 >= -544 @ 1.34111 1.59/1.67 c bounds -6 >= -543 @ 1.34111 1.59/1.67 c bounds -6 >= -542 @ 1.34156 1.59/1.67 c bounds -6 >= -541 @ 1.34244 1.59/1.67 c bounds -6 >= -540 @ 1.3431 1.59/1.67 c bounds -6 >= -539 @ 1.3441 1.59/1.67 c bounds -6 >= -538 @ 1.3446 1.59/1.67 c bounds -6 >= -537 @ 1.34546 1.59/1.67 c bounds -6 >= -536 @ 1.34711 1.59/1.67 c bounds -6 >= -535 @ 1.34809 1.59/1.67 c bounds -6 >= -534 @ 1.34858 1.59/1.67 c bounds -6 >= -533 @ 1.34992 1.59/1.67 c bounds -6 >= -532 @ 1.35167 1.59/1.67 c bounds -6 >= -531 @ 1.35248 1.59/1.67 c bounds -6 >= -530 @ 1.35329 1.59/1.67 c bounds -6 >= -529 @ 1.35407 1.59/1.67 c bounds -6 >= -528 @ 1.35407 1.59/1.67 c bounds -6 >= -527 @ 1.35455 1.59/1.67 c bounds -6 >= -526 @ 1.35635 1.59/1.67 c bounds -6 >= -525 @ 1.35823 1.59/1.67 c bounds -6 >= -524 @ 1.35905 1.59/1.67 c bounds -6 >= -523 @ 1.35905 1.59/1.67 c bounds -6 >= -522 @ 1.36005 1.59/1.67 c bounds -6 >= -521 @ 1.36041 1.59/1.67 c bounds -6 >= -520 @ 1.36199 1.59/1.67 c bounds -6 >= -519 @ 1.36323 1.59/1.67 c bounds -6 >= -518 @ 1.36404 1.59/1.67 c bounds -6 >= -517 @ 1.36504 1.59/1.67 c bounds -6 >= -516 @ 1.36535 1.59/1.67 c bounds -6 >= -515 @ 1.36691 1.59/1.67 c bounds -6 >= -514 @ 1.36758 1.59/1.67 c bounds -6 >= -513 @ 1.36836 1.59/1.67 c bounds -6 >= -512 @ 1.36902 1.59/1.67 c bounds -6 >= -511 @ 1.3706 1.59/1.67 c bounds -6 >= -510 @ 1.37166 1.59/1.67 c bounds -6 >= -509 @ 1.37201 1.59/1.67 c bounds -6 >= -508 @ 1.37345 1.59/1.67 c bounds -6 >= -507 @ 1.37473 1.59/1.67 c bounds -6 >= -506 @ 1.37577 1.59/1.67 c bounds -6 >= -505 @ 1.3774 1.59/1.67 c bounds -6 >= -504 @ 1.37826 1.59/1.67 c bounds -6 >= -503 @ 1.37899 1.59/1.67 c bounds -6 >= -502 @ 1.37899 1.59/1.67 c bounds -6 >= -501 @ 1.3801 1.59/1.67 c bounds -6 >= -500 @ 1.38173 1.59/1.67 c bounds -6 >= -499 @ 1.38338 1.59/1.67 c bounds -6 >= -498 @ 1.38499 1.59/1.67 c bounds -6 >= -497 @ 1.38597 1.59/1.67 c bounds -6 >= -496 @ 1.38634 1.59/1.67 c bounds -6 >= -495 @ 1.38697 1.59/1.67 c bounds -6 >= -494 @ 1.38697 1.59/1.67 c bounds -6 >= -493 @ 1.38719 1.59/1.67 c bounds -6 >= -492 @ 1.38797 1.59/1.67 c bounds -6 >= -491 @ 1.38833 1.59/1.67 c bounds -6 >= -490 @ 1.38896 1.59/1.67 c bounds -6 >= -489 @ 1.38945 1.79/1.87 c bounds -6 >= -488 @ 1.39022 1.79/1.87 c bounds -6 >= -487 @ 1.39096 1.79/1.87 c bounds -6 >= -486 @ 1.39221 1.79/1.87 c bounds -6 >= -485 @ 1.39295 1.79/1.87 c bounds -6 >= -484 @ 1.39338 1.79/1.87 c bounds -6 >= -483 @ 1.39495 1.79/1.87 c bounds -6 >= -482 @ 1.39594 1.79/1.87 c bounds -6 >= -481 @ 1.39623 1.79/1.87 c bounds -6 >= -480 @ 1.39694 1.79/1.87 c bounds -6 >= -479 @ 1.39732 1.79/1.87 c bounds -6 >= -478 @ 1.39794 1.79/1.87 c bounds -6 >= -477 @ 1.39831 1.79/1.87 c bounds -6 >= -476 @ 1.39989 1.79/1.87 c bounds -6 >= -475 @ 1.40042 1.79/1.87 c bounds -6 >= -474 @ 1.40114 1.79/1.87 c bounds -6 >= -473 @ 1.40193 1.79/1.87 c bounds -6 >= -472 @ 1.4031 1.79/1.87 c bounds -6 >= -471 @ 1.40392 1.79/1.87 c bounds -6 >= -470 @ 1.40434 1.79/1.87 c bounds -6 >= -469 @ 1.40491 1.79/1.87 c bounds -6 >= -468 @ 1.40545 1.79/1.87 c bounds -6 >= -467 @ 1.40616 1.79/1.87 c bounds -6 >= -466 @ 1.40755 1.79/1.87 c bounds -6 >= -465 @ 1.40827 1.79/1.87 c bounds -6 >= -464 @ 1.4089 1.79/1.87 c bounds -6 >= -463 @ 1.41031 1.79/1.87 c bounds -6 >= -462 @ 1.4109 1.79/1.87 c bounds -6 >= -461 @ 1.41148 1.79/1.87 c bounds -6 >= -460 @ 1.41218 1.79/1.87 c bounds -6 >= -459 @ 1.41289 1.79/1.87 c bounds -6 >= -458 @ 1.41404 1.79/1.87 c bounds -6 >= -457 @ 1.41488 1.79/1.87 c bounds -6 >= -456 @ 1.41516 1.79/1.87 c bounds -6 >= -455 @ 1.41646 1.79/1.87 c bounds -6 >= -454 @ 1.41714 1.79/1.87 c bounds -6 >= -453 @ 1.41898 1.79/1.87 c bounds -6 >= -452 @ 1.41987 1.79/1.87 c bounds -6 >= -451 @ 1.42009 1.79/1.87 c bounds -6 >= -450 @ 1.42087 1.79/1.87 c bounds -6 >= -449 @ 1.4219 1.79/1.87 c bounds -6 >= -448 @ 1.42286 1.79/1.87 c bounds -6 >= -447 @ 1.42337 1.79/1.87 c bounds -6 >= -446 @ 1.42432 1.79/1.87 c bounds -6 >= -445 @ 1.42485 1.79/1.87 c bounds -6 >= -444 @ 1.4262 1.79/1.87 c bounds -6 >= -443 @ 1.42814 1.79/1.87 c bounds -6 >= -442 @ 1.42921 1.79/1.87 c bounds -6 >= -441 @ 1.42984 1.79/1.87 c bounds -6 >= -440 @ 1.43005 1.79/1.87 c bounds -6 >= -439 @ 1.43084 1.79/1.87 c bounds -6 >= -438 @ 1.43084 1.79/1.87 c bounds -6 >= -437 @ 1.43084 1.79/1.87 c bounds -6 >= -436 @ 1.43084 1.79/1.87 c bounds -6 >= -435 @ 1.43193 1.79/1.87 c bounds -6 >= -434 @ 1.43283 1.79/1.87 c bounds -6 >= -433 @ 1.43373 1.79/1.87 c bounds -6 >= -432 @ 1.43513 1.79/1.87 c bounds -6 >= -431 @ 1.43652 1.79/1.87 c bounds -6 >= -430 @ 1.4371 1.79/1.87 c bounds -6 >= -429 @ 1.43782 1.79/1.87 c bounds -6 >= -428 @ 1.43869 1.79/1.87 c bounds -6 >= -427 @ 1.43918 1.79/1.87 c bounds -6 >= -426 @ 1.4401 1.79/1.87 c bounds -6 >= -425 @ 1.44081 1.79/1.87 c bounds -6 >= -424 @ 1.4418 1.79/1.87 c bounds -6 >= -423 @ 1.44216 1.79/1.87 c bounds -6 >= -422 @ 1.4428 1.79/1.87 c bounds -6 >= -421 @ 1.44282 1.79/1.87 c bounds -6 >= -420 @ 1.44379 1.79/1.87 c bounds -6 >= -419 @ 1.44415 1.79/1.87 c bounds -6 >= -418 @ 1.44479 1.79/1.87 c bounds -6 >= -417 @ 1.44571 1.79/1.87 c bounds -6 >= -416 @ 1.44614 1.79/1.87 c bounds -6 >= -415 @ 1.44678 1.79/1.87 c bounds -6 >= -414 @ 1.44678 1.79/1.87 c bounds -6 >= -413 @ 1.447 1.79/1.87 c bounds -6 >= -412 @ 1.44807 1.79/1.87 c bounds -6 >= -411 @ 1.44928 1.79/1.87 c bounds -6 >= -410 @ 1.44978 1.79/1.87 c bounds -6 >= -409 @ 1.45088 1.79/1.87 c bounds -6 >= -408 @ 1.4522 1.79/1.87 c bounds -6 >= -407 @ 1.45306 1.79/1.87 c bounds -6 >= -406 @ 1.45429 1.79/1.87 c bounds -6 >= -405 @ 1.45563 1.79/1.87 c bounds -6 >= -404 @ 1.45613 1.79/1.87 c bounds -6 >= -403 @ 1.45676 1.79/1.87 c bounds -6 >= -402 @ 1.45767 1.79/1.87 c bounds -6 >= -401 @ 1.45812 1.79/1.87 c bounds -6 >= -400 @ 1.45875 1.79/1.87 c bounds -6 >= -399 @ 1.45975 1.79/1.87 c bounds -6 >= -398 @ 1.45975 1.79/1.87 c bounds -6 >= -397 @ 1.46002 1.79/1.87 c bounds -6 >= -396 @ 1.46164 1.79/1.87 c bounds -6 >= -395 @ 1.46245 1.79/1.87 c bounds -6 >= -394 @ 1.46373 1.79/1.87 c bounds -6 >= -393 @ 1.46406 1.79/1.87 c bounds -6 >= -392 @ 1.46473 1.79/1.87 c bounds -6 >= -391 @ 1.46575 1.79/1.87 c bounds -14 >= -391 @ 1.46721 1.79/1.87 c bounds -14 >= -390 @ 1.46808 1.79/1.87 c bounds -14 >= -389 @ 1.4692 1.79/1.87 c bounds -14 >= -388 @ 1.46971 1.79/1.87 c bounds -14 >= -387 @ 1.46974 1.79/1.87 c bounds -14 >= -386 @ 1.47096 1.79/1.87 c bounds -14 >= -385 @ 1.47171 1.79/1.87 c bounds -14 >= -384 @ 1.47171 1.79/1.87 c bounds -14 >= -383 @ 1.47263 1.79/1.87 c bounds -14 >= -382 @ 1.4727 1.79/1.87 c bounds -14 >= -381 @ 1.47354 1.79/1.87 c bounds -14 >= -380 @ 1.47416 1.79/1.87 c bounds -14 >= -379 @ 1.47539 1.79/1.87 c bounds -14 >= -378 @ 1.4766 1.79/1.87 c #Conflicts: 1000 | #Constraints: 98009 1.79/1.87 c bounds -14 >= -377 @ 1.47698 1.79/1.87 c bounds -14 >= -376 @ 1.47769 1.79/1.87 c bounds -14 >= -375 @ 1.47769 1.79/1.87 c bounds -15 >= -375 @ 1.47798 1.79/1.87 c bounds -15 >= -374 @ 1.47869 1.79/1.87 c bounds -15 >= -373 @ 1.47869 1.79/1.87 c bounds -16 >= -373 @ 1.47969 1.79/1.87 c bounds -16 >= -372 @ 1.48094 1.79/1.87 c bounds -16 >= -371 @ 1.48168 1.79/1.87 c bounds -16 >= -370 @ 1.48168 1.79/1.87 c bounds -17 >= -370 @ 1.48168 1.79/1.87 c bounds -17 >= -369 @ 1.48203 1.79/1.87 c bounds -17 >= -368 @ 1.48267 1.79/1.87 c bounds -17 >= -367 @ 1.48367 1.79/1.87 c bounds -18 >= -367 @ 1.48448 1.79/1.87 c bounds -18 >= -366 @ 1.48567 1.79/1.87 c bounds -18 >= -365 @ 1.48593 1.79/1.87 c bounds -19 >= -365 @ 1.48666 1.79/1.87 c bounds -19 >= -364 @ 1.48666 1.79/1.87 c bounds -19 >= -363 @ 1.48766 1.79/1.87 c bounds -20 >= -363 @ 1.48766 1.79/1.87 c bounds -20 >= -362 @ 1.48766 2.18/2.29 c bounds -20 >= -361 @ 1.488 2.18/2.29 c bounds -21 >= -361 @ 1.48948 2.18/2.29 c bounds -21 >= -360 @ 1.48965 2.18/2.29 c bounds -21 >= -359 @ 1.49 2.18/2.29 c bounds -21 >= -358 @ 1.49065 2.18/2.29 c bounds -21 >= -357 @ 1.49128 2.18/2.29 c bounds -22 >= -357 @ 1.49257 2.18/2.29 c bounds -22 >= -356 @ 1.49292 2.18/2.29 c bounds -22 >= -355 @ 1.4939 2.18/2.29 c bounds -22 >= -354 @ 1.4952 2.18/2.29 c bounds -22 >= -353 @ 1.49638 2.18/2.29 c bounds -23 >= -353 @ 1.49663 2.18/2.29 c bounds -23 >= -352 @ 1.49686 2.18/2.29 c bounds -23 >= -351 @ 1.49787 2.18/2.29 c bounds -23 >= -350 @ 1.49904 2.18/2.29 c bounds -24 >= -350 @ 1.50011 2.18/2.29 c bounds -24 >= -349 @ 1.50094 2.18/2.29 c bounds -24 >= -348 @ 1.50162 2.18/2.29 c bounds -25 >= -348 @ 1.52873 2.18/2.29 c bounds -25 >= -347 @ 1.52954 2.18/2.29 c bounds -25 >= -346 @ 1.52954 2.18/2.29 c bounds -25 >= -345 @ 1.53054 2.18/2.29 c bounds -25 >= -344 @ 1.53169 2.18/2.29 c bounds -25 >= -343 @ 1.53283 2.18/2.29 c bounds -25 >= -342 @ 1.53352 2.18/2.29 c bounds -25 >= -341 @ 1.53352 2.18/2.29 c bounds -25 >= -340 @ 1.53352 2.18/2.29 c bounds -25 >= -339 @ 1.53352 2.18/2.29 c bounds -25 >= -338 @ 1.53355 2.18/2.29 c bounds -25 >= -337 @ 1.53503 2.18/2.29 c bounds -25 >= -336 @ 1.53639 2.18/2.29 c bounds -25 >= -335 @ 1.53683 2.18/2.29 c bounds -25 >= -334 @ 1.53822 2.18/2.29 c bounds -25 >= -333 @ 1.53974 2.18/2.29 c bounds -25 >= -332 @ 1.54149 2.18/2.29 c bounds -25 >= -331 @ 1.54149 2.18/2.29 c bounds -25 >= -330 @ 1.54267 2.18/2.29 c bounds -25 >= -329 @ 1.54349 2.18/2.29 c bounds -25 >= -328 @ 1.54383 2.18/2.29 c bounds -25 >= -327 @ 1.54565 2.18/2.29 c bounds -25 >= -326 @ 1.54648 2.18/2.29 c bounds -25 >= -325 @ 1.54687 2.18/2.29 c bounds -25 >= -324 @ 1.54747 2.18/2.29 c bounds -25 >= -323 @ 1.54847 2.18/2.29 c bounds -25 >= -322 @ 1.54937 2.18/2.29 c bounds -25 >= -321 @ 1.55015 2.18/2.29 c bounds -25 >= -320 @ 1.5508 2.18/2.29 c bounds -25 >= -319 @ 1.55176 2.18/2.29 c bounds -25 >= -318 @ 1.55338 2.18/2.29 c bounds -25 >= -317 @ 1.55481 2.18/2.29 c bounds -25 >= -316 @ 1.55578 2.18/2.29 c bounds -25 >= -315 @ 1.55645 2.18/2.29 c bounds -25 >= -314 @ 1.55749 2.18/2.29 c bounds -25 >= -313 @ 1.55844 2.18/2.29 c bounds -25 >= -312 @ 1.55844 2.18/2.29 c bounds -25 >= -311 @ 1.55882 2.18/2.29 c bounds -25 >= -310 @ 1.55976 2.18/2.29 c bounds -25 >= -309 @ 1.56144 2.18/2.29 c bounds -25 >= -308 @ 1.56243 2.18/2.29 c bounds -25 >= -307 @ 1.56243 2.18/2.29 c bounds -25 >= -306 @ 1.56453 2.18/2.29 c bounds -25 >= -305 @ 1.5657 2.18/2.29 c bounds -25 >= -304 @ 1.56642 2.18/2.29 c bounds -25 >= -303 @ 1.56687 2.18/2.29 c bounds -25 >= -302 @ 1.56785 2.18/2.29 c bounds -25 >= -301 @ 1.56927 2.18/2.29 c bounds -25 >= -300 @ 1.5704 2.18/2.29 c bounds -25 >= -299 @ 1.57186 2.18/2.29 c bounds -25 >= -298 @ 1.5734 2.18/2.29 c bounds -25 >= -297 @ 1.5734 2.18/2.29 c bounds -25 >= -296 @ 1.57374 2.18/2.29 c bounds -25 >= -295 @ 1.57466 2.18/2.29 c bounds -25 >= -294 @ 1.57558 2.18/2.29 c bounds -25 >= -293 @ 1.57638 2.18/2.29 c bounds -25 >= -292 @ 1.57638 2.18/2.29 c bounds -25 >= -291 @ 1.57771 2.18/2.29 c bounds -25 >= -290 @ 1.57975 2.18/2.29 c bounds -25 >= -289 @ 1.58037 2.18/2.29 c bounds -25 >= -288 @ 1.58174 2.18/2.29 c bounds -25 >= -287 @ 1.58359 2.18/2.29 c bounds -25 >= -286 @ 1.58474 2.18/2.29 c bounds -25 >= -285 @ 1.58632 2.18/2.29 c bounds -25 >= -284 @ 1.58741 2.18/2.29 c bounds -25 >= -283 @ 1.58849 2.18/2.29 c bounds -25 >= -282 @ 1.58964 2.18/2.29 c bounds -25 >= -281 @ 1.59034 2.18/2.29 c bounds -25 >= -280 @ 1.59065 2.18/2.29 c bounds -25 >= -279 @ 1.59161 2.18/2.29 c bounds -25 >= -278 @ 1.59233 2.18/2.29 c bounds -25 >= -277 @ 1.59329 2.18/2.29 c bounds -25 >= -276 @ 1.59432 2.18/2.29 c bounds -25 >= -275 @ 1.59432 2.18/2.29 c bounds -25 >= -274 @ 1.59514 2.18/2.29 c bounds -25 >= -273 @ 1.59532 2.18/2.29 c bounds -25 >= -272 @ 1.59597 2.18/2.29 c bounds -25 >= -271 @ 1.59632 2.18/2.29 c bounds -25 >= -270 @ 1.59762 2.18/2.29 c bounds -25 >= -269 @ 1.59831 2.18/2.29 c bounds -25 >= -268 @ 1.59861 2.18/2.29 c bounds -25 >= -267 @ 1.59943 2.18/2.29 c bounds -25 >= -266 @ 1.6003 2.18/2.29 c bounds -25 >= -265 @ 1.6013 2.18/2.29 c bounds -25 >= -264 @ 1.60248 2.18/2.29 c bounds -25 >= -263 @ 1.60329 2.18/2.29 c bounds -25 >= -262 @ 1.60421 2.18/2.29 c bounds -25 >= -261 @ 1.60467 2.18/2.29 c #Conflicts: 2000 | #Constraints: 99600 2.18/2.29 c INPROCESSING 2.18/2.29 c GARBAGE COLLECT 2.18/2.29 c rational objective -261 3.38/3.42 c bounds -25 >= -260 @ 1.82733 3.38/3.42 c bounds -25 >= -259 @ 1.82804 3.38/3.42 c bounds -25 >= -258 @ 1.82884 3.38/3.42 c bounds -25 >= -257 @ 1.82969 3.38/3.42 c bounds -25 >= -256 @ 1.82969 3.38/3.42 c bounds -25 >= -255 @ 1.83033 3.38/3.42 c bounds -25 >= -254 @ 1.83178 3.38/3.42 c bounds -25 >= -253 @ 1.83282 3.38/3.42 c bounds -25 >= -252 @ 1.83412 3.38/3.42 c bounds -25 >= -251 @ 1.83552 3.38/3.42 c bounds -25 >= -250 @ 1.83693 3.38/3.42 c bounds -25 >= -249 @ 1.83767 3.38/3.42 c bounds -25 >= -248 @ 1.83771 3.38/3.42 c bounds -25 >= -247 @ 1.83866 3.38/3.42 c bounds -25 >= -246 @ 1.83937 3.38/3.42 c bounds -25 >= -245 @ 1.8403 3.38/3.42 c bounds -25 >= -244 @ 1.84066 3.38/3.42 c bounds -25 >= -243 @ 1.84066 3.38/3.42 c bounds -25 >= -242 @ 1.84066 3.38/3.42 c bounds -25 >= -241 @ 1.84165 3.38/3.42 c bounds -25 >= -240 @ 1.84165 3.38/3.42 c bounds -25 >= -239 @ 1.84213 3.38/3.42 c bounds -25 >= -238 @ 1.84319 3.38/3.42 c bounds -25 >= -237 @ 2.03727 3.38/3.42 c bounds -25 >= -236 @ 2.03903 3.38/3.42 c bounds -25 >= -235 @ 2.04065 3.38/3.42 c bounds -25 >= -234 @ 2.04112 3.38/3.42 c bounds -26 >= -234 @ 2.04399 3.38/3.42 c bounds -26 >= -233 @ 2.04412 3.38/3.42 c bounds -26 >= -232 @ 2.04508 3.38/3.42 c bounds -26 >= -231 @ 2.04544 3.38/3.42 c bounds -26 >= -230 @ 2.04852 3.38/3.42 c bounds -27 >= -230 @ 2.05534 3.38/3.42 c bounds -27 >= -229 @ 2.05728 3.38/3.42 c bounds -27 >= -228 @ 2.0582 3.38/3.42 c bounds -27 >= -227 @ 2.0594 3.38/3.42 c bounds -27 >= -226 @ 2.06109 3.38/3.42 c bounds -27 >= -225 @ 2.06215 3.38/3.42 c bounds -27 >= -224 @ 2.06329 3.38/3.42 c bounds -27 >= -223 @ 2.06533 3.38/3.42 c bounds -27 >= -222 @ 2.06693 3.38/3.42 c bounds -27 >= -221 @ 2.06902 3.38/3.42 c bounds -28 >= -221 @ 2.07145 3.38/3.42 c bounds -28 >= -220 @ 2.07232 3.38/3.42 c bounds -28 >= -219 @ 2.07421 3.38/3.42 c bounds -28 >= -218 @ 2.07643 3.38/3.42 c bounds -29 >= -218 @ 2.08103 3.38/3.42 c bounds -29 >= -217 @ 2.08198 3.38/3.42 c bounds -29 >= -216 @ 2.08298 3.38/3.42 c bounds -29 >= -215 @ 2.08298 3.38/3.42 c bounds -29 >= -214 @ 2.08358 3.38/3.42 c #Conflicts: 3000 | #Constraints: 99476 3.38/3.42 c bounds -29 >= -213 @ 2.08533 3.38/3.42 c bounds -29 >= -212 @ 2.08788 3.38/3.42 c bounds -29 >= -211 @ 2.09174 3.38/3.42 c bounds -30 >= -211 @ 2.0941 3.38/3.42 c bounds -31 >= -211 @ 2.10039 3.38/3.42 c bounds -31 >= -210 @ 2.10201 3.38/3.42 c bounds -31 >= -209 @ 2.10386 3.38/3.42 c bounds -31 >= -208 @ 2.10492 3.38/3.42 c bounds -31 >= -207 @ 2.10614 3.38/3.42 c bounds -31 >= -206 @ 2.10964 3.38/3.42 c bounds -32 >= -206 @ 2.1099 3.38/3.42 c bounds -33 >= -206 @ 2.11075 3.38/3.42 c bounds -34 >= -206 @ 2.11235 3.38/3.42 c bounds -34 >= -205 @ 2.11366 3.38/3.42 c bounds -35 >= -205 @ 2.12069 3.38/3.42 c bounds -35 >= -204 @ 2.12262 3.38/3.42 c bounds -35 >= -203 @ 2.12617 3.38/3.42 c bounds -35 >= -202 @ 2.12785 3.38/3.42 c bounds -35 >= -201 @ 2.12903 3.38/3.42 c bounds -36 >= -201 @ 2.13948 3.38/3.42 c bounds -36 >= -200 @ 2.14168 3.38/3.42 c bounds -36 >= -199 @ 2.14219 3.38/3.42 c bounds -36 >= -198 @ 2.3333 3.38/3.42 c bounds -36 >= -197 @ 2.33671 3.38/3.42 c #Conflicts: 4000 | #Constraints: 100672 3.38/3.42 c bounds -36 >= -196 @ 2.34227 3.38/3.42 c bounds -37 >= -196 @ 2.43629 3.38/3.42 c bounds -37 >= -195 @ 2.43884 3.38/3.42 c bounds -37 >= -194 @ 2.44032 3.38/3.42 c bounds -37 >= -193 @ 2.44472 3.38/3.42 c bounds -37 >= -192 @ 2.44677 3.38/3.42 c bounds -37 >= -191 @ 2.4508 3.38/3.42 c bounds -37 >= -190 @ 2.4568 3.38/3.42 c #Conflicts: 5000 | #Constraints: 101742 3.38/3.42 c bounds -37 >= -189 @ 2.46714 3.38/3.42 c bounds -37 >= -188 @ 2.47093 3.38/3.42 c bounds -37 >= -187 @ 2.47364 3.38/3.42 c bounds -37 >= -186 @ 2.47791 3.38/3.42 c bounds -37 >= -185 @ 2.66274 3.38/3.42 c bounds -37 >= -184 @ 2.66877 3.38/3.42 c bounds -37 >= -183 @ 2.67372 3.38/3.42 c bounds -37 >= -182 @ 2.6791 3.38/3.42 c bounds -37 >= -181 @ 2.68302 3.38/3.42 c bounds -37 >= -180 @ 2.69194 3.38/3.42 c #Conflicts: 6000 | #Constraints: 102841 3.38/3.42 c INPROCESSING 3.38/3.42 c GARBAGE COLLECT 3.38/3.42 c rational objective -180 6.67/6.74 c bounds -37 >= -179 @ 2.89573 6.67/6.74 c bounds -37 >= -178 @ 2.89936 6.67/6.74 c bounds -37 >= -177 @ 2.90198 6.67/6.74 c bounds -37 >= -176 @ 2.90712 6.67/6.74 c bounds -37 >= -175 @ 2.91437 6.67/6.74 c bounds -37 >= -174 @ 2.91651 6.67/6.74 c #Conflicts: 7000 | #Constraints: 101783 6.67/6.74 c bounds -37 >= -173 @ 3.11385 6.67/6.74 c bounds -37 >= -172 @ 3.12188 6.67/6.74 c bounds -37 >= -171 @ 3.12706 6.67/6.74 c bounds -37 >= -170 @ 3.13069 6.67/6.74 c bounds -37 >= -169 @ 3.13596 6.67/6.74 c bounds -37 >= -168 @ 3.14897 6.67/6.74 c #Conflicts: 8000 | #Constraints: 102867 6.67/6.74 c bounds -38 >= -168 @ 3.16272 6.67/6.74 c bounds -38 >= -167 @ 3.35603 6.67/6.74 c #Conflicts: 9000 | #Constraints: 103886 6.67/6.74 c #Conflicts: 10000 | #Constraints: 104892 6.67/6.74 c #Conflicts: 11000 | #Constraints: 105918 6.67/6.74 c #Conflicts: 12000 | #Constraints: 106963 6.67/6.74 c INPROCESSING 6.67/6.74 c GARBAGE COLLECT 6.67/6.74 c rational objective -167 7.77/7.84 c bounds -38 >= -166 @ 6.28996 7.77/7.84 c bounds -38 >= -165 @ 6.47944 7.77/7.84 c #Conflicts: 13000 | #Constraints: 103143 7.77/7.84 c bounds -38 >= -164 @ 6.49844 7.77/7.84 c bounds -38 >= -163 @ 6.51808 7.77/7.84 c #Conflicts: 14000 | #Constraints: 104173 7.77/7.84 c bounds -38 >= -162 @ 6.54086 7.77/7.84 c bounds -38 >= -161 @ 6.73456 7.77/7.84 c bounds -38 >= -160 @ 6.7633 7.77/7.84 c #Conflicts: 15000 | #Constraints: 105215 7.77/7.84 c bounds -38 >= -159 @ 6.9554 7.77/7.84 c bounds -38 >= -158 @ 6.97172 7.77/7.84 c #Conflicts: 16000 | #Constraints: 106245 7.77/7.84 c bounds -38 >= -157 @ 6.99403 7.77/7.84 c INPROCESSING 7.77/7.84 c rational objective -157 9.86/9.93 c bounds -38 >= -156 @ 7.39371 9.86/9.93 c #Conflicts: 17000 | #Constraints: 103934 9.86/9.93 c bounds -38 >= -155 @ 7.60662 9.86/9.93 c #Conflicts: 18000 | #Constraints: 104958 9.86/9.93 c bounds -38 >= -154 @ 7.63812 9.86/9.93 c bounds -38 >= -153 @ 7.80208 9.86/9.93 c #Conflicts: 19000 | #Constraints: 105979 9.86/9.93 c bounds -38 >= -152 @ 7.81718 9.86/9.93 c bounds -38 >= -151 @ 7.96675 9.86/9.93 c #Conflicts: 20000 | #Constraints: 107000 9.86/9.93 c bounds -38 >= -150 @ 7.99414 9.86/9.93 c bounds -38 >= -149 @ 8.17723 9.86/9.93 c #Conflicts: 21000 | #Constraints: 108021 9.86/9.93 c bounds -38 >= -148 @ 8.22315 9.86/9.93 c #Conflicts: 22000 | #Constraints: 109036 9.86/9.93 c bounds -38 >= -147 @ 8.46708 9.86/9.93 c #Conflicts: 23000 | #Constraints: 110045 9.86/9.93 c bounds -38 >= -146 @ 8.50694 9.86/9.93 c bounds -38 >= -145 @ 8.72488 9.86/9.93 c #Conflicts: 24000 | #Constraints: 111072 9.86/9.93 c bounds -38 >= -144 @ 8.94498 9.86/9.93 c #Conflicts: 25000 | #Constraints: 112087 9.86/9.93 c INPROCESSING 9.86/9.93 c GARBAGE COLLECT 9.86/9.93 c rational objective -144 13.65/13.72 c #Conflicts: 26000 | #Constraints: 105885 13.65/13.72 c bounds -38 >= -143 @ 9.44843 13.65/13.72 c bounds -38 >= -142 @ 9.60604 13.65/13.72 c #Conflicts: 27000 | #Constraints: 106915 13.65/13.72 c bounds -38 >= -141 @ 9.76022 13.65/13.72 c bounds -38 >= -140 @ 9.76359 13.65/13.72 c #Conflicts: 28000 | #Constraints: 107927 13.65/13.72 c bounds -38 >= -139 @ 9.76665 13.65/13.72 c bounds -38 >= -138 @ 9.92833 13.65/13.72 c bounds -38 >= -137 @ 9.93038 13.65/13.72 c #Conflicts: 29000 | #Constraints: 108948 13.65/13.72 c bounds -38 >= -136 @ 10.0107 13.65/13.72 c bounds -38 >= -135 @ 10.1119 13.65/13.72 c #Conflicts: 30000 | #Constraints: 109987 13.65/13.72 c bounds -38 >= -134 @ 10.1262 13.65/13.72 c bounds -38 >= -133 @ 10.2149 13.65/13.72 c bounds -38 >= -132 @ 10.2205 13.65/13.72 c bounds -38 >= -131 @ 10.2432 13.65/13.72 c #Conflicts: 31000 | #Constraints: 111038 13.65/13.72 c bounds -38 >= -130 @ 10.4668 13.65/13.72 c #Conflicts: 32000 | #Constraints: 112053 13.65/13.72 c #Conflicts: 33000 | #Constraints: 113053 13.65/13.72 c bounds -38 >= -129 @ 10.7422 13.65/13.72 c #Conflicts: 34000 | #Constraints: 114071 13.65/13.72 c #Conflicts: 35000 | #Constraints: 115071 13.65/13.72 c bounds -38 >= -128 @ 12.4696 13.65/13.72 c #Conflicts: 36000 | #Constraints: 116083 13.65/13.72 c INPROCESSING 13.65/13.72 c GARBAGE COLLECT 13.65/13.72 c rational objective -128 57.31/57.56 c #Conflicts: 37000 | #Constraints: 107829 57.31/57.56 c #Conflicts: 38000 | #Constraints: 108829 57.31/57.56 c #Conflicts: 39000 | #Constraints: 109829 57.31/57.56 c bounds -38 >= -127 @ 19.7092 57.31/57.56 c #Conflicts: 40000 | #Constraints: 110844 57.31/57.56 c #Conflicts: 41000 | #Constraints: 111844 57.31/57.56 c #Conflicts: 42000 | #Constraints: 112844 57.31/57.56 c #Conflicts: 43000 | #Constraints: 113844 57.31/57.56 c bounds -38 >= -126 @ 28.6064 57.31/57.56 c #Conflicts: 44000 | #Constraints: 114868 57.31/57.56 c #Conflicts: 45000 | #Constraints: 115868 57.31/57.56 c #Conflicts: 46000 | #Constraints: 116868 57.31/57.56 c #Conflicts: 47000 | #Constraints: 117868 57.31/57.56 c #Conflicts: 48000 | #Constraints: 118868 57.31/57.56 c #Conflicts: 49000 | #Constraints: 119868 57.31/57.56 c INPROCESSING 57.31/57.56 c GARBAGE COLLECT 57.31/57.56 c rational objective -126 87.91/88.23 c #Conflicts: 50000 | #Constraints: 109607 87.91/88.23 c #Conflicts: 51000 | #Constraints: 110607 87.91/88.23 c #Conflicts: 52000 | #Constraints: 111607 87.91/88.23 c #Conflicts: 53000 | #Constraints: 112607 87.91/88.23 c #Conflicts: 54000 | #Constraints: 113607 87.91/88.23 c #Conflicts: 55000 | #Constraints: 114607 87.91/88.23 c bounds -38 >= -125 @ 83.0259 87.91/88.23 c #Conflicts: 56000 | #Constraints: 115625 87.91/88.23 c #Conflicts: 57000 | #Constraints: 116625 87.91/88.23 c INPROCESSING 87.91/88.23 c GARBAGE COLLECT 87.91/88.23 c rational objective -125 102.87/103.20 c #Conflicts: 58000 | #Constraints: 109120 102.87/103.20 c bounds -38 >= -124 @ 88.4082 102.87/103.20 c #Conflicts: 59000 | #Constraints: 110129 102.87/103.20 c #Conflicts: 60000 | #Constraints: 111129 102.87/103.20 c #Conflicts: 61000 | #Constraints: 112129 102.87/103.20 c #Conflicts: 62000 | #Constraints: 113129 102.87/103.20 c #Conflicts: 63000 | #Constraints: 114129 102.87/103.20 c bounds -38 >= -123 @ 90.6929 102.87/103.20 c #Conflicts: 64000 | #Constraints: 115156 102.87/103.20 c bounds -38 >= -122 @ 90.9275 102.87/103.20 c bounds -38 >= -121 @ 91.1315 102.87/103.20 c #Conflicts: 65000 | #Constraints: 116183 102.87/103.20 c #Conflicts: 66000 | #Constraints: 117183 102.87/103.20 c #Conflicts: 67000 | #Constraints: 118183 102.87/103.20 c #Conflicts: 68000 | #Constraints: 119183 102.87/103.20 c bounds -38 >= -120 @ 93.7076 102.87/103.20 c #Conflicts: 69000 | #Constraints: 120201 102.87/103.20 c #Conflicts: 70000 | #Constraints: 121201 102.87/103.20 c #Conflicts: 71000 | #Constraints: 122201 102.87/103.20 c #Conflicts: 72000 | #Constraints: 123201 102.87/103.20 c #Conflicts: 73000 | #Constraints: 124201 102.87/103.20 c INPROCESSING 102.87/103.20 c GARBAGE COLLECT 102.87/103.20 c rational objective -120 120.31/120.70 c #Conflicts: 74000 | #Constraints: 111735 120.31/120.70 c bounds -39 >= -120 @ 101.882 120.31/120.70 c #Conflicts: 75000 | #Constraints: 112759 120.31/120.70 c #Conflicts: 76000 | #Constraints: 113790 120.31/120.70 c #Conflicts: 77000 | #Constraints: 114821 120.31/120.70 c bounds -40 >= -120 @ 105.157 120.31/120.70 c #Conflicts: 78000 | #Constraints: 115853 120.31/120.70 c #Conflicts: 79000 | #Constraints: 116853 120.31/120.70 c #Conflicts: 80000 | #Constraints: 117853 120.31/120.70 c #Conflicts: 81000 | #Constraints: 118853 120.31/120.70 c bounds -40 >= -119 @ 108.824 120.31/120.70 c #Conflicts: 82000 | #Constraints: 119871 120.31/120.70 c #Conflicts: 83000 | #Constraints: 120871 120.31/120.70 c #Conflicts: 84000 | #Constraints: 121871 120.31/120.70 c #Conflicts: 85000 | #Constraints: 122871 120.31/120.70 c #Conflicts: 86000 | #Constraints: 123871 120.31/120.70 c #Conflicts: 87000 | #Constraints: 124871 120.31/120.70 c bounds -40 >= -118 @ 115.259 120.31/120.70 c #Conflicts: 88000 | #Constraints: 125892 120.31/120.70 c #Conflicts: 89000 | #Constraints: 126892 120.31/120.70 c #Conflicts: 90000 | #Constraints: 127892 120.31/120.70 c #Conflicts: 91000 | #Constraints: 128892 120.31/120.70 c bounds -40 >= -117 @ 118.631 120.31/120.70 c #Conflicts: 92000 | #Constraints: 129919 120.31/120.70 c INPROCESSING 120.31/120.70 c GARBAGE COLLECT 120.31/120.70 c rational objective -117 132.17/132.64 c #Conflicts: 93000 | #Constraints: 114750 132.17/132.64 c #Conflicts: 94000 | #Constraints: 115750 132.17/132.64 c #Conflicts: 95000 | #Constraints: 116750 132.17/132.64 c #Conflicts: 96000 | #Constraints: 117750 132.17/132.64 c #Conflicts: 97000 | #Constraints: 118750 132.17/132.64 c #Conflicts: 98000 | #Constraints: 119750 132.17/132.64 c #Conflicts: 99000 | #Constraints: 120750 132.17/132.64 c bounds -40 >= -116 @ 128.583 132.17/132.64 c #Conflicts: 100000 | #Constraints: 121780 132.17/132.64 c #Conflicts: 101000 | #Constraints: 122780 132.17/132.64 c #Conflicts: 102000 | #Constraints: 123780 132.17/132.64 c INPROCESSING 132.17/132.64 c GARBAGE COLLECT 132.17/132.64 c rational objective -116 168.57/169.14 c #Conflicts: 103000 | #Constraints: 113025 168.57/169.14 c #Conflicts: 104000 | #Constraints: 114063 168.57/169.14 c #Conflicts: 105000 | #Constraints: 115114 168.57/169.14 c #Conflicts: 106000 | #Constraints: 116132 168.57/169.14 c #Conflicts: 107000 | #Constraints: 117168 168.57/169.14 c #Conflicts: 108000 | #Constraints: 118217 168.57/169.14 c #Conflicts: 109000 | #Constraints: 119254 168.57/169.14 c #Conflicts: 110000 | #Constraints: 120298 168.57/169.14 c #Conflicts: 111000 | #Constraints: 121326 168.57/169.14 c #Conflicts: 112000 | #Constraints: 122365 168.57/169.14 c #Conflicts: 113000 | #Constraints: 123399 168.57/169.14 c #Conflicts: 114000 | #Constraints: 124459 168.57/169.14 c #Conflicts: 115000 | #Constraints: 125496 168.57/169.14 c #Conflicts: 116000 | #Constraints: 126549 168.57/169.14 c #Conflicts: 117000 | #Constraints: 127601 168.57/169.14 c #Conflicts: 118000 | #Constraints: 128651 168.57/169.14 c #Conflicts: 119000 | #Constraints: 129681 168.57/169.14 c #Conflicts: 120000 | #Constraints: 130722 168.57/169.14 c #Conflicts: 121000 | #Constraints: 131761 168.57/169.14 c #Conflicts: 122000 | #Constraints: 132806 168.57/169.14 c #Conflicts: 123000 | #Constraints: 133847 168.57/169.14 c INPROCESSING 168.57/169.14 c GARBAGE COLLECT 168.57/169.14 c rational objective -116 178.64/179.21 c #Conflicts: 124000 | #Constraints: 116701 178.64/179.21 c #Conflicts: 125000 | #Constraints: 117701 178.64/179.21 c #Conflicts: 126000 | #Constraints: 118701 178.64/179.21 c #Conflicts: 127000 | #Constraints: 119701 178.64/179.21 c #Conflicts: 128000 | #Constraints: 120701 178.64/179.21 c #Conflicts: 129000 | #Constraints: 121701 178.64/179.21 c #Conflicts: 130000 | #Constraints: 122701 178.64/179.21 c #Conflicts: 131000 | #Constraints: 123701 178.64/179.21 c #Conflicts: 132000 | #Constraints: 124701 178.64/179.21 c #Conflicts: 133000 | #Constraints: 125701 178.64/179.21 c #Conflicts: 134000 | #Constraints: 126701 178.64/179.21 c #Conflicts: 135000 | #Constraints: 127701 178.64/179.21 c INPROCESSING 178.64/179.21 c GARBAGE COLLECT 178.64/179.21 c rational objective -116 207.15/207.83 c #Conflicts: 136000 | #Constraints: 113868 207.15/207.83 c #Conflicts: 137000 | #Constraints: 114868 207.15/207.83 c #Conflicts: 138000 | #Constraints: 115868 207.15/207.83 c #Conflicts: 139000 | #Constraints: 116868 207.15/207.83 c #Conflicts: 140000 | #Constraints: 117868 207.15/207.83 c #Conflicts: 141000 | #Constraints: 118868 207.15/207.83 c #Conflicts: 142000 | #Constraints: 119868 207.15/207.83 c bounds -40 >= -115 @ 185.11 207.15/207.83 c #Conflicts: 143000 | #Constraints: 120895 207.15/207.83 c #Conflicts: 144000 | #Constraints: 121895 207.15/207.83 c #Conflicts: 145000 | #Constraints: 122895 207.15/207.83 c #Conflicts: 146000 | #Constraints: 123895 207.15/207.83 c #Conflicts: 147000 | #Constraints: 124895 207.15/207.83 c #Conflicts: 148000 | #Constraints: 125895 207.15/207.83 c #Conflicts: 149000 | #Constraints: 126895 207.15/207.83 c #Conflicts: 150000 | #Constraints: 127895 207.15/207.83 c #Conflicts: 151000 | #Constraints: 128895 207.15/207.83 c #Conflicts: 152000 | #Constraints: 129895 207.15/207.83 c #Conflicts: 153000 | #Constraints: 130895 207.15/207.83 c #Conflicts: 154000 | #Constraints: 131895 207.15/207.83 c #Conflicts: 155000 | #Constraints: 132895 207.15/207.83 c #Conflicts: 156000 | #Constraints: 133895 207.15/207.83 c #Conflicts: 157000 | #Constraints: 134895 207.15/207.83 c #Conflicts: 158000 | #Constraints: 135895 207.15/207.83 c #Conflicts: 159000 | #Constraints: 136895 207.15/207.83 c INPROCESSING 207.15/207.83 c GARBAGE COLLECT 207.15/207.83 c rational objective -115 224.78/225.58 c #Conflicts: 160000 | #Constraints: 118331 224.78/225.58 c #Conflicts: 161000 | #Constraints: 119331 224.78/225.58 c #Conflicts: 162000 | #Constraints: 120331 224.78/225.58 c #Conflicts: 163000 | #Constraints: 121331 224.78/225.58 c #Conflicts: 164000 | #Constraints: 122331 224.78/225.58 c #Conflicts: 165000 | #Constraints: 123331 224.78/225.58 c #Conflicts: 166000 | #Constraints: 124331 224.78/225.58 c #Conflicts: 167000 | #Constraints: 125331 224.78/225.58 c #Conflicts: 168000 | #Constraints: 126331 224.78/225.58 c #Conflicts: 169000 | #Constraints: 127331 224.78/225.58 c #Conflicts: 170000 | #Constraints: 128331 224.78/225.58 c #Conflicts: 171000 | #Constraints: 129331 224.78/225.58 c #Conflicts: 172000 | #Constraints: 130331 224.78/225.58 c INPROCESSING 224.78/225.58 c GARBAGE COLLECT 224.78/225.58 c rational objective -115 263.18/264.06 c #Conflicts: 173000 | #Constraints: 115245 263.18/264.06 c #Conflicts: 174000 | #Constraints: 116245 263.18/264.06 c #Conflicts: 175000 | #Constraints: 117245 263.18/264.06 c #Conflicts: 176000 | #Constraints: 118245 263.18/264.06 c #Conflicts: 177000 | #Constraints: 119245 263.18/264.06 c #Conflicts: 178000 | #Constraints: 120245 263.18/264.06 c #Conflicts: 179000 | #Constraints: 121245 263.18/264.06 c #Conflicts: 180000 | #Constraints: 122245 263.18/264.06 c bounds -40 >= -114 @ 230.252 263.18/264.06 c #Conflicts: 181000 | #Constraints: 123284 263.18/264.06 c #Conflicts: 182000 | #Constraints: 124284 263.18/264.06 c #Conflicts: 183000 | #Constraints: 125284 263.18/264.06 c #Conflicts: 184000 | #Constraints: 126284 263.18/264.06 c #Conflicts: 185000 | #Constraints: 127284 263.18/264.06 c #Conflicts: 186000 | #Constraints: 128284 263.18/264.06 c #Conflicts: 187000 | #Constraints: 129284 263.18/264.06 c #Conflicts: 188000 | #Constraints: 130284 263.18/264.06 c #Conflicts: 189000 | #Constraints: 131284 263.18/264.06 c #Conflicts: 190000 | #Constraints: 132284 263.18/264.06 c #Conflicts: 191000 | #Constraints: 133284 263.18/264.06 c #Conflicts: 192000 | #Constraints: 134284 263.18/264.06 c #Conflicts: 193000 | #Constraints: 135284 263.18/264.06 c #Conflicts: 194000 | #Constraints: 136284 263.18/264.06 c #Conflicts: 195000 | #Constraints: 137284 263.18/264.06 c #Conflicts: 196000 | #Constraints: 138284 263.18/264.06 c #Conflicts: 197000 | #Constraints: 139284 263.18/264.06 c #Conflicts: 198000 | #Constraints: 140284 263.18/264.06 c #Conflicts: 199000 | #Constraints: 141284 263.18/264.06 c #Conflicts: 200000 | #Constraints: 142284 263.18/264.06 c INPROCESSING 263.18/264.06 c GARBAGE COLLECT 263.18/264.06 c rational objective -114 280.23/281.16 c #Conflicts: 201000 | #Constraints: 121331 280.23/281.16 c #Conflicts: 202000 | #Constraints: 122331 280.23/281.16 c #Conflicts: 203000 | #Constraints: 123331 280.23/281.16 c #Conflicts: 204000 | #Constraints: 124331 280.23/281.16 c #Conflicts: 205000 | #Constraints: 125331 280.23/281.16 c #Conflicts: 206000 | #Constraints: 126331 280.23/281.16 c #Conflicts: 207000 | #Constraints: 127331 280.23/281.16 c #Conflicts: 208000 | #Constraints: 128331 280.23/281.16 c #Conflicts: 209000 | #Constraints: 129331 280.23/281.16 c #Conflicts: 210000 | #Constraints: 130331 280.23/281.16 c bounds -40 >= -113 @ 274.617 280.23/281.16 c #Conflicts: 211000 | #Constraints: 131355 280.23/281.16 c #Conflicts: 212000 | #Constraints: 132355 280.23/281.16 c #Conflicts: 213000 | #Constraints: 133355 280.23/281.16 c #Conflicts: 214000 | #Constraints: 134355 280.23/281.16 c INPROCESSING 280.23/281.16 c GARBAGE COLLECT 280.23/281.16 c rational objective -113 318.64/319.67 c #Conflicts: 215000 | #Constraints: 117257 318.64/319.67 c #Conflicts: 216000 | #Constraints: 118257 318.64/319.67 c #Conflicts: 217000 | #Constraints: 119257 318.64/319.67 c #Conflicts: 218000 | #Constraints: 120257 318.64/319.67 c #Conflicts: 219000 | #Constraints: 121257 318.64/319.67 c #Conflicts: 220000 | #Constraints: 122257 318.64/319.67 c #Conflicts: 221000 | #Constraints: 123257 318.64/319.67 c #Conflicts: 222000 | #Constraints: 124257 318.64/319.67 c #Conflicts: 223000 | #Constraints: 125257 318.64/319.67 c #Conflicts: 224000 | #Constraints: 126257 318.64/319.67 c #Conflicts: 225000 | #Constraints: 127257 318.64/319.67 c #Conflicts: 226000 | #Constraints: 128257 318.64/319.67 c #Conflicts: 227000 | #Constraints: 129257 318.64/319.67 c #Conflicts: 228000 | #Constraints: 130257 318.64/319.67 c #Conflicts: 229000 | #Constraints: 131257 318.64/319.67 c #Conflicts: 230000 | #Constraints: 132257 318.64/319.67 c #Conflicts: 231000 | #Constraints: 133257 318.64/319.67 c #Conflicts: 232000 | #Constraints: 134257 318.64/319.67 c #Conflicts: 233000 | #Constraints: 135257 318.64/319.67 c #Conflicts: 234000 | #Constraints: 136257 318.64/319.67 c #Conflicts: 235000 | #Constraints: 137257 318.64/319.67 c #Conflicts: 236000 | #Constraints: 138257 318.64/319.67 c #Conflicts: 237000 | #Constraints: 139257 318.64/319.67 c #Conflicts: 238000 | #Constraints: 140257 318.64/319.67 c #Conflicts: 239000 | #Constraints: 141257 318.64/319.67 c #Conflicts: 240000 | #Constraints: 142257 318.64/319.67 c #Conflicts: 241000 | #Constraints: 143257 318.64/319.67 c #Conflicts: 242000 | #Constraints: 144257 318.64/319.67 c #Conflicts: 243000 | #Constraints: 145257 318.64/319.67 c #Conflicts: 244000 | #Constraints: 146257 318.64/319.67 c INPROCESSING 318.64/319.67 c GARBAGE COLLECT 318.64/319.67 c rational objective -113 338.29/339.30 c #Conflicts: 245000 | #Constraints: 122945 338.29/339.30 c #Conflicts: 246000 | #Constraints: 123945 338.29/339.30 c #Conflicts: 247000 | #Constraints: 124945 338.29/339.30 c #Conflicts: 248000 | #Constraints: 125945 338.29/339.30 c #Conflicts: 249000 | #Constraints: 126945 338.29/339.30 c #Conflicts: 250000 | #Constraints: 127945 338.29/339.30 c #Conflicts: 251000 | #Constraints: 128945 338.29/339.30 c #Conflicts: 252000 | #Constraints: 129945 338.29/339.30 c #Conflicts: 253000 | #Constraints: 130945 338.29/339.30 c #Conflicts: 254000 | #Constraints: 131945 338.29/339.30 c #Conflicts: 255000 | #Constraints: 132945 338.29/339.30 c #Conflicts: 256000 | #Constraints: 133945 338.29/339.30 c #Conflicts: 257000 | #Constraints: 134945 338.29/339.30 c #Conflicts: 258000 | #Constraints: 135945 338.29/339.30 c #Conflicts: 259000 | #Constraints: 136945 338.29/339.30 c #Conflicts: 260000 | #Constraints: 137945 338.29/339.30 c INPROCESSING 338.29/339.30 c GARBAGE COLLECT 338.29/339.30 c rational objective -113 390.17/391.35 c #Conflicts: 261000 | #Constraints: 119048 390.17/391.35 c #Conflicts: 262000 | #Constraints: 120048 390.17/391.35 c #Conflicts: 263000 | #Constraints: 121048 390.17/391.35 c #Conflicts: 264000 | #Constraints: 122048 390.17/391.35 c #Conflicts: 265000 | #Constraints: 123048 390.17/391.35 c #Conflicts: 266000 | #Constraints: 124048 390.17/391.35 c #Conflicts: 267000 | #Constraints: 125048 390.17/391.35 c #Conflicts: 268000 | #Constraints: 126048 390.17/391.35 c #Conflicts: 269000 | #Constraints: 127048 390.17/391.35 c #Conflicts: 270000 | #Constraints: 128048 390.17/391.35 c #Conflicts: 271000 | #Constraints: 129048 390.17/391.35 c #Conflicts: 272000 | #Constraints: 130048 390.17/391.35 c #Conflicts: 273000 | #Constraints: 131048 390.17/391.35 c #Conflicts: 274000 | #Constraints: 132048 390.17/391.35 c #Conflicts: 275000 | #Constraints: 133048 390.17/391.35 c #Conflicts: 276000 | #Constraints: 134048 390.17/391.35 c #Conflicts: 277000 | #Constraints: 135048 390.17/391.35 c #Conflicts: 278000 | #Constraints: 136048 390.17/391.35 c #Conflicts: 279000 | #Constraints: 137048 390.17/391.35 c #Conflicts: 280000 | #Constraints: 138048 390.17/391.35 c #Conflicts: 281000 | #Constraints: 139048 390.17/391.35 c #Conflicts: 282000 | #Constraints: 140048 390.17/391.35 c #Conflicts: 283000 | #Constraints: 141048 390.17/391.35 c #Conflicts: 284000 | #Constraints: 142048 390.17/391.35 c #Conflicts: 285000 | #Constraints: 143048 390.17/391.35 c #Conflicts: 286000 | #Constraints: 144048 390.17/391.35 c #Conflicts: 287000 | #Constraints: 145048 390.17/391.35 c #Conflicts: 288000 | #Constraints: 146048 390.17/391.35 c #Conflicts: 289000 | #Constraints: 147048 390.17/391.35 c #Conflicts: 290000 | #Constraints: 148048 390.17/391.35 c #Conflicts: 291000 | #Constraints: 149048 390.17/391.35 c #Conflicts: 292000 | #Constraints: 150048 390.17/391.35 c #Conflicts: 293000 | #Constraints: 151048 390.17/391.35 c #Conflicts: 294000 | #Constraints: 152048 390.17/391.35 c INPROCESSING 390.17/391.35 c GARBAGE COLLECT 390.17/391.35 c rational objective -113 419.30/420.57 c #Conflicts: 295000 | #Constraints: 126239 419.30/420.57 c #Conflicts: 296000 | #Constraints: 127239 419.30/420.57 c #Conflicts: 297000 | #Constraints: 128239 419.30/420.57 c #Conflicts: 298000 | #Constraints: 129239 419.30/420.57 c #Conflicts: 299000 | #Constraints: 130239 419.30/420.57 c #Conflicts: 300000 | #Constraints: 131239 419.30/420.57 c #Conflicts: 301000 | #Constraints: 132239 419.30/420.57 c #Conflicts: 302000 | #Constraints: 133239 419.30/420.57 c #Conflicts: 303000 | #Constraints: 134239 419.30/420.57 c #Conflicts: 304000 | #Constraints: 135239 419.30/420.57 c #Conflicts: 305000 | #Constraints: 136239 419.30/420.57 c #Conflicts: 306000 | #Constraints: 137239 419.30/420.57 c #Conflicts: 307000 | #Constraints: 138239 419.30/420.57 c #Conflicts: 308000 | #Constraints: 139239 419.30/420.57 c #Conflicts: 309000 | #Constraints: 140239 419.30/420.57 c #Conflicts: 310000 | #Constraints: 141239 419.30/420.57 c INPROCESSING 419.30/420.57 c GARBAGE COLLECT 419.30/420.57 c rational objective -113 488.73/490.19 c #Conflicts: 311000 | #Constraints: 120443 488.73/490.19 c #Conflicts: 312000 | #Constraints: 121443 488.73/490.19 c #Conflicts: 313000 | #Constraints: 122443 488.73/490.19 c #Conflicts: 314000 | #Constraints: 123443 488.73/490.19 c #Conflicts: 315000 | #Constraints: 124443 488.73/490.19 c #Conflicts: 316000 | #Constraints: 125443 488.73/490.19 c #Conflicts: 317000 | #Constraints: 126443 488.73/490.19 c #Conflicts: 318000 | #Constraints: 127443 488.73/490.19 c #Conflicts: 319000 | #Constraints: 128443 488.73/490.19 c #Conflicts: 320000 | #Constraints: 129443 488.73/490.19 c #Conflicts: 321000 | #Constraints: 130443 488.73/490.19 c #Conflicts: 322000 | #Constraints: 131443 488.73/490.19 c #Conflicts: 323000 | #Constraints: 132443 488.73/490.19 c #Conflicts: 324000 | #Constraints: 133443 488.73/490.19 c #Conflicts: 325000 | #Constraints: 134443 488.73/490.19 c #Conflicts: 326000 | #Constraints: 135443 488.73/490.19 c #Conflicts: 327000 | #Constraints: 136443 488.73/490.19 c #Conflicts: 328000 | #Constraints: 137443 488.73/490.19 c #Conflicts: 329000 | #Constraints: 138443 488.73/490.19 c #Conflicts: 330000 | #Constraints: 139443 488.73/490.19 c #Conflicts: 331000 | #Constraints: 140443 488.73/490.19 c #Conflicts: 332000 | #Constraints: 141443 488.73/490.19 c #Conflicts: 333000 | #Constraints: 142443 488.73/490.19 c #Conflicts: 334000 | #Constraints: 143443 488.73/490.19 c #Conflicts: 335000 | #Constraints: 144443 488.73/490.19 c #Conflicts: 336000 | #Constraints: 145443 488.73/490.19 c #Conflicts: 337000 | #Constraints: 146443 488.73/490.19 c #Conflicts: 338000 | #Constraints: 147443 488.73/490.19 c #Conflicts: 339000 | #Constraints: 148443 488.73/490.19 c #Conflicts: 340000 | #Constraints: 149443 488.73/490.19 c #Conflicts: 341000 | #Constraints: 150443 488.73/490.19 c #Conflicts: 342000 | #Constraints: 151443 488.73/490.19 c #Conflicts: 343000 | #Constraints: 152443 488.73/490.19 c #Conflicts: 344000 | #Constraints: 153443 488.73/490.19 c #Conflicts: 345000 | #Constraints: 154443 488.73/490.19 c #Conflicts: 346000 | #Constraints: 155443 488.73/490.19 c #Conflicts: 347000 | #Constraints: 156443 488.73/490.19 c INPROCESSING 488.73/490.19 c GARBAGE COLLECT 488.73/490.19 c rational objective -113 517.67/519.16 c #Conflicts: 348000 | #Constraints: 128154 517.67/519.16 c bounds -41 >= -113 @ 485.663 517.67/519.16 c #Conflicts: 349000 | #Constraints: 129164 517.67/519.16 c #Conflicts: 350000 | #Constraints: 130213 517.67/519.16 c #Conflicts: 351000 | #Constraints: 131243 517.67/519.16 c #Conflicts: 352000 | #Constraints: 132266 517.67/519.16 c #Conflicts: 353000 | #Constraints: 133294 517.67/519.16 c #Conflicts: 354000 | #Constraints: 134342 517.67/519.16 c #Conflicts: 355000 | #Constraints: 135391 517.67/519.16 c #Conflicts: 356000 | #Constraints: 136458 517.67/519.16 c #Conflicts: 357000 | #Constraints: 137507 517.67/519.16 c #Conflicts: 358000 | #Constraints: 138562 517.67/519.16 c #Conflicts: 359000 | #Constraints: 139605 517.67/519.16 c #Conflicts: 360000 | #Constraints: 140657 517.67/519.16 c #Conflicts: 361000 | #Constraints: 141703 517.67/519.16 c #Conflicts: 362000 | #Constraints: 142760 517.67/519.16 c #Conflicts: 363000 | #Constraints: 143813 517.67/519.16 c #Conflicts: 364000 | #Constraints: 144849 517.67/519.16 c #Conflicts: 365000 | #Constraints: 145898 517.67/519.16 c INPROCESSING 517.67/519.16 c GARBAGE COLLECT 517.67/519.16 c rational objective -113 545.60/547.18 c #Conflicts: 366000 | #Constraints: 122725 545.60/547.18 c #Conflicts: 367000 | #Constraints: 123725 545.60/547.18 c #Conflicts: 368000 | #Constraints: 124725 545.60/547.18 c #Conflicts: 369000 | #Constraints: 125725 545.60/547.18 c #Conflicts: 370000 | #Constraints: 126725 545.60/547.18 c #Conflicts: 371000 | #Constraints: 127725 545.60/547.18 c #Conflicts: 372000 | #Constraints: 128725 545.60/547.18 c #Conflicts: 373000 | #Constraints: 129725 545.60/547.18 c #Conflicts: 374000 | #Constraints: 130725 545.60/547.18 c #Conflicts: 375000 | #Constraints: 131725 545.60/547.18 c #Conflicts: 376000 | #Constraints: 132725 545.60/547.18 c #Conflicts: 377000 | #Constraints: 133725 545.60/547.18 c #Conflicts: 378000 | #Constraints: 134725 545.60/547.18 c #Conflicts: 379000 | #Constraints: 135725 545.60/547.18 c #Conflicts: 380000 | #Constraints: 136725 545.60/547.18 c #Conflicts: 381000 | #Constraints: 137725 545.60/547.18 c #Conflicts: 382000 | #Constraints: 138725 545.60/547.18 c #Conflicts: 383000 | #Constraints: 139725 545.60/547.18 c #Conflicts: 384000 | #Constraints: 140725 545.60/547.18 c INPROCESSING 545.60/547.18 c GARBAGE COLLECT 545.60/547.18 c rational objective -113 609.14/610.89 c #Conflicts: 385000 | #Constraints: 120834 609.14/610.89 c #Conflicts: 386000 | #Constraints: 121834 609.14/610.89 c #Conflicts: 387000 | #Constraints: 122834 609.14/610.89 c #Conflicts: 388000 | #Constraints: 123834 609.14/610.89 c #Conflicts: 389000 | #Constraints: 124834 609.14/610.89 c #Conflicts: 390000 | #Constraints: 125834 609.14/610.89 c #Conflicts: 391000 | #Constraints: 126834 609.14/610.89 c #Conflicts: 392000 | #Constraints: 127834 609.14/610.89 c #Conflicts: 393000 | #Constraints: 128834 609.14/610.89 c #Conflicts: 394000 | #Constraints: 129834 609.14/610.89 c #Conflicts: 395000 | #Constraints: 130834 609.14/610.89 c #Conflicts: 396000 | #Constraints: 131834 609.14/610.89 c #Conflicts: 397000 | #Constraints: 132834 609.14/610.89 c #Conflicts: 398000 | #Constraints: 133834 609.14/610.89 c #Conflicts: 399000 | #Constraints: 134834 609.14/610.89 c #Conflicts: 400000 | #Constraints: 135834 609.14/610.89 c #Conflicts: 401000 | #Constraints: 136834 609.14/610.89 c #Conflicts: 402000 | #Constraints: 137834 609.14/610.89 c #Conflicts: 403000 | #Constraints: 138834 609.14/610.89 c #Conflicts: 404000 | #Constraints: 139834 609.14/610.89 c #Conflicts: 405000 | #Constraints: 140834 609.14/610.89 c #Conflicts: 406000 | #Constraints: 141834 609.14/610.89 c #Conflicts: 407000 | #Constraints: 142834 609.14/610.89 c #Conflicts: 408000 | #Constraints: 143834 609.14/610.89 c #Conflicts: 409000 | #Constraints: 144834 609.14/610.89 c #Conflicts: 410000 | #Constraints: 145834 609.14/610.89 c #Conflicts: 411000 | #Constraints: 146834 609.14/610.89 c #Conflicts: 412000 | #Constraints: 147834 609.14/610.89 c #Conflicts: 413000 | #Constraints: 148834 609.14/610.89 c #Conflicts: 414000 | #Constraints: 149834 609.14/610.89 c #Conflicts: 415000 | #Constraints: 150834 609.14/610.89 c #Conflicts: 416000 | #Constraints: 151834 609.14/610.89 c #Conflicts: 417000 | #Constraints: 152834 609.14/610.89 c #Conflicts: 418000 | #Constraints: 153834 609.14/610.89 c #Conflicts: 419000 | #Constraints: 154834 609.14/610.89 c #Conflicts: 420000 | #Constraints: 155834 609.14/610.89 c #Conflicts: 421000 | #Constraints: 156834 609.14/610.89 c #Conflicts: 422000 | #Constraints: 157834 609.14/610.89 c #Conflicts: 423000 | #Constraints: 158834 609.14/610.89 c #Conflicts: 424000 | #Constraints: 159834 609.14/610.89 c #Conflicts: 425000 | #Constraints: 160834 609.14/610.89 c INPROCESSING 609.14/610.89 c GARBAGE COLLECT 609.14/610.89 c rational objective -113 648.84/650.63 c #Conflicts: 426000 | #Constraints: 130648 648.84/650.63 c #Conflicts: 427000 | #Constraints: 131648 648.84/650.63 c #Conflicts: 428000 | #Constraints: 132648 648.84/650.63 c #Conflicts: 429000 | #Constraints: 133648 648.84/650.63 c #Conflicts: 430000 | #Constraints: 134648 648.84/650.63 c #Conflicts: 431000 | #Constraints: 135648 648.84/650.63 c #Conflicts: 432000 | #Constraints: 136648 648.84/650.63 c #Conflicts: 433000 | #Constraints: 137648 648.84/650.63 c #Conflicts: 434000 | #Constraints: 138648 648.84/650.63 c #Conflicts: 435000 | #Constraints: 139648 648.84/650.63 c #Conflicts: 436000 | #Constraints: 140648 648.84/650.63 c #Conflicts: 437000 | #Constraints: 141648 648.84/650.63 c #Conflicts: 438000 | #Constraints: 142648 648.84/650.63 c #Conflicts: 439000 | #Constraints: 143648 648.84/650.63 c #Conflicts: 440000 | #Constraints: 144648 648.84/650.63 c #Conflicts: 441000 | #Constraints: 145648 648.84/650.63 c #Conflicts: 442000 | #Constraints: 146648 648.84/650.63 c #Conflicts: 443000 | #Constraints: 147648 648.84/650.63 c #Conflicts: 444000 | #Constraints: 148648 648.84/650.63 c INPROCESSING 648.84/650.63 c GARBAGE COLLECT 648.84/650.63 c rational objective -113 694.30/696.26 c #Conflicts: 445000 | #Constraints: 124255 694.30/696.26 c #Conflicts: 446000 | #Constraints: 125273 694.30/696.26 c #Conflicts: 447000 | #Constraints: 126281 694.30/696.26 c #Conflicts: 448000 | #Constraints: 127303 694.30/696.26 c #Conflicts: 449000 | #Constraints: 128331 694.30/696.26 c #Conflicts: 450000 | #Constraints: 129348 694.30/696.26 c #Conflicts: 451000 | #Constraints: 130361 694.30/696.26 c #Conflicts: 452000 | #Constraints: 131384 694.30/696.26 c #Conflicts: 453000 | #Constraints: 132396 694.30/696.26 c #Conflicts: 454000 | #Constraints: 133425 694.30/696.26 c #Conflicts: 455000 | #Constraints: 134454 694.30/696.26 c #Conflicts: 456000 | #Constraints: 135484 694.30/696.26 c #Conflicts: 457000 | #Constraints: 136515 694.30/696.26 c #Conflicts: 458000 | #Constraints: 137548 694.30/696.26 c #Conflicts: 459000 | #Constraints: 138584 694.30/696.26 c #Conflicts: 460000 | #Constraints: 139638 694.30/696.26 c #Conflicts: 461000 | #Constraints: 140659 694.30/696.26 c #Conflicts: 462000 | #Constraints: 141683 694.30/696.26 c #Conflicts: 463000 | #Constraints: 142711 694.30/696.26 c #Conflicts: 464000 | #Constraints: 143728 694.30/696.26 c INPROCESSING 694.30/696.26 c GARBAGE COLLECT 694.30/696.26 c rational objective -113 787.63/789.88 c #Conflicts: 465000 | #Constraints: 121807 787.63/789.88 c #Conflicts: 466000 | #Constraints: 122807 787.63/789.88 c #Conflicts: 467000 | #Constraints: 123807 787.63/789.88 c #Conflicts: 468000 | #Constraints: 124807 787.63/789.88 c #Conflicts: 469000 | #Constraints: 125807 787.63/789.88 c #Conflicts: 470000 | #Constraints: 126807 787.63/789.88 c #Conflicts: 471000 | #Constraints: 127807 787.63/789.88 c #Conflicts: 472000 | #Constraints: 128807 787.63/789.88 c #Conflicts: 473000 | #Constraints: 129807 787.63/789.88 c #Conflicts: 474000 | #Constraints: 130807 787.63/789.88 c #Conflicts: 475000 | #Constraints: 131807 787.63/789.88 c #Conflicts: 476000 | #Constraints: 132807 787.63/789.88 c #Conflicts: 477000 | #Constraints: 133807 787.63/789.88 c #Conflicts: 478000 | #Constraints: 134807 787.63/789.88 c #Conflicts: 479000 | #Constraints: 135807 787.63/789.88 c #Conflicts: 480000 | #Constraints: 136807 787.63/789.88 c #Conflicts: 481000 | #Constraints: 137807 787.63/789.88 c #Conflicts: 482000 | #Constraints: 138807 787.63/789.88 c #Conflicts: 483000 | #Constraints: 139807 787.63/789.88 c #Conflicts: 484000 | #Constraints: 140807 787.63/789.88 c #Conflicts: 485000 | #Constraints: 141807 787.63/789.88 c #Conflicts: 486000 | #Constraints: 142807 787.63/789.88 c #Conflicts: 487000 | #Constraints: 143807 787.63/789.88 c #Conflicts: 488000 | #Constraints: 144807 787.63/789.88 c #Conflicts: 489000 | #Constraints: 145807 787.63/789.88 c #Conflicts: 490000 | #Constraints: 146807 787.63/789.88 c #Conflicts: 491000 | #Constraints: 147807 787.63/789.88 c #Conflicts: 492000 | #Constraints: 148807 787.63/789.88 c #Conflicts: 493000 | #Constraints: 149807 787.63/789.88 c #Conflicts: 494000 | #Constraints: 150807 787.63/789.88 c #Conflicts: 495000 | #Constraints: 151807 787.63/789.88 c #Conflicts: 496000 | #Constraints: 152807 787.63/789.88 c #Conflicts: 497000 | #Constraints: 153807 787.63/789.88 c #Conflicts: 498000 | #Constraints: 154807 787.63/789.88 c #Conflicts: 499000 | #Constraints: 155807 787.63/789.88 c #Conflicts: 500000 | #Constraints: 156807 787.63/789.88 c #Conflicts: 501000 | #Constraints: 157807 787.63/789.88 c #Conflicts: 502000 | #Constraints: 158807 787.63/789.88 c #Conflicts: 503000 | #Constraints: 159807 787.63/789.88 c #Conflicts: 504000 | #Constraints: 160807 787.63/789.88 c #Conflicts: 505000 | #Constraints: 161807 787.63/789.88 c #Conflicts: 506000 | #Constraints: 162807 787.63/789.88 c #Conflicts: 507000 | #Constraints: 163807 787.63/789.88 c #Conflicts: 508000 | #Constraints: 164807 787.63/789.88 c bounds -41 >= -112 @ 780.208 787.63/789.88 c #Conflicts: 509000 | #Constraints: 165840 787.63/789.88 c INPROCESSING 787.63/789.88 c GARBAGE COLLECT 787.63/789.88 c rational objective -112 823.84/826.13 c #Conflicts: 510000 | #Constraints: 132848 823.84/826.13 c #Conflicts: 511000 | #Constraints: 133848 823.84/826.13 c #Conflicts: 512000 | #Constraints: 134848 823.84/826.13 c #Conflicts: 513000 | #Constraints: 135848 823.84/826.13 c #Conflicts: 514000 | #Constraints: 136848 823.84/826.13 c #Conflicts: 515000 | #Constraints: 137848 823.84/826.13 c #Conflicts: 516000 | #Constraints: 138848 823.84/826.13 c #Conflicts: 517000 | #Constraints: 139848 823.84/826.13 c #Conflicts: 518000 | #Constraints: 140848 823.84/826.13 c #Conflicts: 519000 | #Constraints: 141848 823.84/826.13 c #Conflicts: 520000 | #Constraints: 142848 823.84/826.13 c #Conflicts: 521000 | #Constraints: 143848 823.84/826.13 c #Conflicts: 522000 | #Constraints: 144848 823.84/826.13 c #Conflicts: 523000 | #Constraints: 145848 823.84/826.13 c #Conflicts: 524000 | #Constraints: 146848 823.84/826.13 c #Conflicts: 525000 | #Constraints: 147848 823.84/826.13 c #Conflicts: 526000 | #Constraints: 148848 823.84/826.13 c #Conflicts: 527000 | #Constraints: 149848 823.84/826.13 c #Conflicts: 528000 | #Constraints: 150848 823.84/826.13 c #Conflicts: 529000 | #Constraints: 151848 823.84/826.13 c #Conflicts: 530000 | #Constraints: 152848 823.84/826.13 c INPROCESSING 823.84/826.13 c GARBAGE COLLECT 823.84/826.13 c rational objective -112 861.02/863.41 c #Conflicts: 531000 | #Constraints: 126309 861.02/863.41 c #Conflicts: 532000 | #Constraints: 127309 861.02/863.41 c #Conflicts: 533000 | #Constraints: 128309 861.02/863.41 c #Conflicts: 534000 | #Constraints: 129309 861.02/863.41 c #Conflicts: 535000 | #Constraints: 130309 861.02/863.41 c #Conflicts: 536000 | #Constraints: 131309 861.02/863.41 c #Conflicts: 537000 | #Constraints: 132309 861.02/863.41 c #Conflicts: 538000 | #Constraints: 133309 861.02/863.41 c #Conflicts: 539000 | #Constraints: 134309 861.02/863.41 c #Conflicts: 540000 | #Constraints: 135309 861.02/863.41 c #Conflicts: 541000 | #Constraints: 136309 861.02/863.41 c #Conflicts: 542000 | #Constraints: 137309 861.02/863.41 c #Conflicts: 543000 | #Constraints: 138309 861.02/863.41 c #Conflicts: 544000 | #Constraints: 139309 861.02/863.41 c #Conflicts: 545000 | #Constraints: 140309 861.02/863.41 c #Conflicts: 546000 | #Constraints: 141309 861.02/863.41 c #Conflicts: 547000 | #Constraints: 142309 861.02/863.41 c #Conflicts: 548000 | #Constraints: 143309 861.02/863.41 c #Conflicts: 549000 | #Constraints: 144309 861.02/863.41 c #Conflicts: 550000 | #Constraints: 145309 861.02/863.41 c #Conflicts: 551000 | #Constraints: 146309 861.02/863.41 c #Conflicts: 552000 | #Constraints: 147309 861.02/863.41 c INPROCESSING 861.02/863.41 c GARBAGE COLLECT 861.02/863.41 c rational objective -112 955.36/958.09 c #Conflicts: 553000 | #Constraints: 123926 955.36/958.09 c #Conflicts: 554000 | #Constraints: 124926 955.36/958.09 c #Conflicts: 555000 | #Constraints: 125926 955.36/958.09 c #Conflicts: 556000 | #Constraints: 126926 955.36/958.09 c #Conflicts: 557000 | #Constraints: 127926 955.36/958.09 c #Conflicts: 558000 | #Constraints: 128926 955.36/958.09 c #Conflicts: 559000 | #Constraints: 129926 955.36/958.09 c #Conflicts: 560000 | #Constraints: 130926 955.36/958.09 c #Conflicts: 561000 | #Constraints: 131926 955.36/958.09 c #Conflicts: 562000 | #Constraints: 132926 955.36/958.09 c #Conflicts: 563000 | #Constraints: 133926 955.36/958.09 c #Conflicts: 564000 | #Constraints: 134926 955.36/958.09 c #Conflicts: 565000 | #Constraints: 135926 955.36/958.09 c #Conflicts: 566000 | #Constraints: 136926 955.36/958.09 c #Conflicts: 567000 | #Constraints: 137926 955.36/958.09 c #Conflicts: 568000 | #Constraints: 138926 955.36/958.09 c #Conflicts: 569000 | #Constraints: 139926 955.36/958.09 c #Conflicts: 570000 | #Constraints: 140926 955.36/958.09 c #Conflicts: 571000 | #Constraints: 141926 955.36/958.09 c #Conflicts: 572000 | #Constraints: 142926 955.36/958.09 c #Conflicts: 573000 | #Constraints: 143926 955.36/958.09 c #Conflicts: 574000 | #Constraints: 144926 955.36/958.09 c #Conflicts: 575000 | #Constraints: 145926 955.36/958.09 c #Conflicts: 576000 | #Constraints: 146926 955.36/958.09 c #Conflicts: 577000 | #Constraints: 147926 955.36/958.09 c #Conflicts: 578000 | #Constraints: 148926 955.36/958.09 c #Conflicts: 579000 | #Constraints: 149926 955.36/958.09 c #Conflicts: 580000 | #Constraints: 150926 955.36/958.09 c #Conflicts: 581000 | #Constraints: 151926 955.36/958.09 c #Conflicts: 582000 | #Constraints: 152926 955.36/958.09 c #Conflicts: 583000 | #Constraints: 153926 955.36/958.09 c #Conflicts: 584000 | #Constraints: 154926 955.36/958.09 c #Conflicts: 585000 | #Constraints: 155926 955.36/958.09 c #Conflicts: 586000 | #Constraints: 156926 955.36/958.09 c #Conflicts: 587000 | #Constraints: 157926 955.36/958.09 c #Conflicts: 588000 | #Constraints: 158926 955.36/958.09 c #Conflicts: 589000 | #Constraints: 159926 955.36/958.09 c #Conflicts: 590000 | #Constraints: 160926 955.36/958.09 c #Conflicts: 591000 | #Constraints: 161926 955.36/958.09 c #Conflicts: 592000 | #Constraints: 162926 955.36/958.09 c #Conflicts: 593000 | #Constraints: 163926 955.36/958.09 c #Conflicts: 594000 | #Constraints: 164926 955.36/958.09 c #Conflicts: 595000 | #Constraints: 165926 955.36/958.09 c #Conflicts: 596000 | #Constraints: 166926 955.36/958.09 c #Conflicts: 597000 | #Constraints: 167926 955.36/958.09 c #Conflicts: 598000 | #Constraints: 168926 955.36/958.09 c #Conflicts: 599000 | #Constraints: 169926 955.36/958.09 c #Conflicts: 600000 | #Constraints: 170926 955.36/958.09 c #Conflicts: 601000 | #Constraints: 171926 955.36/958.09 c INPROCESSING 955.36/958.09 c GARBAGE COLLECT 955.36/958.09 c rational objective -112 996.33/999.12 c #Conflicts: 602000 | #Constraints: 136033 996.33/999.12 c #Conflicts: 603000 | #Constraints: 137033 996.33/999.12 c #Conflicts: 604000 | #Constraints: 138033 996.33/999.12 c #Conflicts: 605000 | #Constraints: 139033 996.33/999.12 c #Conflicts: 606000 | #Constraints: 140033 996.33/999.12 c #Conflicts: 607000 | #Constraints: 141033 996.33/999.12 c #Conflicts: 608000 | #Constraints: 142033 996.33/999.12 c #Conflicts: 609000 | #Constraints: 143033 996.33/999.12 c #Conflicts: 610000 | #Constraints: 144033 996.33/999.12 c #Conflicts: 611000 | #Constraints: 145033 996.33/999.12 c #Conflicts: 612000 | #Constraints: 146033 996.33/999.12 c #Conflicts: 613000 | #Constraints: 147033 996.33/999.12 c #Conflicts: 614000 | #Constraints: 148033 996.33/999.12 c #Conflicts: 615000 | #Constraints: 149033 996.33/999.12 c #Conflicts: 616000 | #Constraints: 150033 996.33/999.12 c #Conflicts: 617000 | #Constraints: 151033 996.33/999.12 c #Conflicts: 618000 | #Constraints: 152033 996.33/999.12 c #Conflicts: 619000 | #Constraints: 153033 996.33/999.12 c #Conflicts: 620000 | #Constraints: 154033 996.33/999.12 c #Conflicts: 621000 | #Constraints: 155033 996.33/999.12 c #Conflicts: 622000 | #Constraints: 156033 996.33/999.12 c #Conflicts: 623000 | #Constraints: 157033 996.33/999.12 c #Conflicts: 624000 | #Constraints: 158033 996.33/999.12 c INPROCESSING 996.33/999.12 c GARBAGE COLLECT 996.33/999.12 c rational objective -112 1036.91/1039.89 c #Conflicts: 625000 | #Constraints: 129265 1036.91/1039.89 c #Conflicts: 626000 | #Constraints: 130283 1036.91/1039.89 c #Conflicts: 627000 | #Constraints: 131303 1036.91/1039.89 c #Conflicts: 628000 | #Constraints: 132310 1036.91/1039.89 c #Conflicts: 629000 | #Constraints: 133332 1036.91/1039.89 c #Conflicts: 630000 | #Constraints: 134351 1036.91/1039.89 c #Conflicts: 631000 | #Constraints: 135379 1036.91/1039.89 c #Conflicts: 632000 | #Constraints: 136406 1036.91/1039.89 c #Conflicts: 633000 | #Constraints: 137443 1036.91/1039.89 c #Conflicts: 634000 | #Constraints: 138469 1036.91/1039.89 c #Conflicts: 635000 | #Constraints: 139500 1036.91/1039.89 c #Conflicts: 636000 | #Constraints: 140518 1036.91/1039.89 c #Conflicts: 637000 | #Constraints: 141536 1036.91/1039.89 c #Conflicts: 638000 | #Constraints: 142569 1036.91/1039.89 c #Conflicts: 639000 | #Constraints: 143601 1036.91/1039.89 c #Conflicts: 640000 | #Constraints: 144620 1036.91/1039.89 c #Conflicts: 641000 | #Constraints: 145652 1036.91/1039.89 c #Conflicts: 642000 | #Constraints: 146684 1036.91/1039.89 c #Conflicts: 643000 | #Constraints: 147709 1036.91/1039.89 c #Conflicts: 644000 | #Constraints: 148727 1036.91/1039.89 c #Conflicts: 645000 | #Constraints: 149738 1036.91/1039.89 c #Conflicts: 646000 | #Constraints: 150758 1036.91/1039.89 c INPROCESSING 1036.91/1039.89 c GARBAGE COLLECT 1036.91/1039.89 c rational objective -112 1147.83/1151.10 c #Conflicts: 647000 | #Constraints: 125123 1147.83/1151.10 c #Conflicts: 648000 | #Constraints: 126123 1147.83/1151.10 c #Conflicts: 649000 | #Constraints: 127123 1147.83/1151.10 c #Conflicts: 650000 | #Constraints: 128123 1147.83/1151.10 c #Conflicts: 651000 | #Constraints: 129123 1147.83/1151.10 c #Conflicts: 652000 | #Constraints: 130123 1147.83/1151.10 c #Conflicts: 653000 | #Constraints: 131123 1147.83/1151.10 c #Conflicts: 654000 | #Constraints: 132123 1147.83/1151.10 c #Conflicts: 655000 | #Constraints: 133123 1147.83/1151.10 c #Conflicts: 656000 | #Constraints: 134123 1147.83/1151.10 c #Conflicts: 657000 | #Constraints: 135123 1147.83/1151.10 c #Conflicts: 658000 | #Constraints: 136123 1147.83/1151.10 c #Conflicts: 659000 | #Constraints: 137123 1147.83/1151.10 c #Conflicts: 660000 | #Constraints: 138123 1147.83/1151.10 c #Conflicts: 661000 | #Constraints: 139123 1147.83/1151.10 c #Conflicts: 662000 | #Constraints: 140123 1147.83/1151.10 c #Conflicts: 663000 | #Constraints: 141123 1147.83/1151.10 c #Conflicts: 664000 | #Constraints: 142123 1147.83/1151.10 c #Conflicts: 665000 | #Constraints: 143123 1147.83/1151.10 c #Conflicts: 666000 | #Constraints: 144123 1147.83/1151.10 c #Conflicts: 667000 | #Constraints: 145123 1147.83/1151.10 c #Conflicts: 668000 | #Constraints: 146123 1147.83/1151.10 c #Conflicts: 669000 | #Constraints: 147123 1147.83/1151.10 c #Conflicts: 670000 | #Constraints: 148123 1147.83/1151.10 c #Conflicts: 671000 | #Constraints: 149123 1147.83/1151.10 c #Conflicts: 672000 | #Constraints: 150123 1147.83/1151.10 c #Conflicts: 673000 | #Constraints: 151123 1147.83/1151.10 c #Conflicts: 674000 | #Constraints: 152123 1147.83/1151.10 c #Conflicts: 675000 | #Constraints: 153123 1147.83/1151.10 c #Conflicts: 676000 | #Constraints: 154123 1147.83/1151.10 c #Conflicts: 677000 | #Constraints: 155123 1147.83/1151.10 c #Conflicts: 678000 | #Constraints: 156123 1147.83/1151.10 c #Conflicts: 679000 | #Constraints: 157123 1147.83/1151.10 c #Conflicts: 680000 | #Constraints: 158123 1147.83/1151.10 c #Conflicts: 681000 | #Constraints: 159123 1147.83/1151.10 c #Conflicts: 682000 | #Constraints: 160123 1147.83/1151.10 c #Conflicts: 683000 | #Constraints: 161123 1147.83/1151.10 c #Conflicts: 684000 | #Constraints: 162123 1147.83/1151.10 c #Conflicts: 685000 | #Constraints: 163123 1147.83/1151.10 c #Conflicts: 686000 | #Constraints: 164123 1147.83/1151.10 c #Conflicts: 687000 | #Constraints: 165123 1147.83/1151.10 c #Conflicts: 688000 | #Constraints: 166123 1147.83/1151.10 c #Conflicts: 689000 | #Constraints: 167123 1147.83/1151.10 c #Conflicts: 690000 | #Constraints: 168123 1147.83/1151.10 c #Conflicts: 691000 | #Constraints: 169123 1147.83/1151.10 c #Conflicts: 692000 | #Constraints: 170123 1147.83/1151.10 c #Conflicts: 693000 | #Constraints: 171123 1147.83/1151.10 c #Conflicts: 694000 | #Constraints: 172123 1147.83/1151.10 c #Conflicts: 695000 | #Constraints: 173123 1147.83/1151.10 c #Conflicts: 696000 | #Constraints: 174123 1147.83/1151.10 c #Conflicts: 697000 | #Constraints: 175123 1147.83/1151.10 c #Conflicts: 698000 | #Constraints: 176123 1147.83/1151.10 c #Conflicts: 699000 | #Constraints: 177123 1147.83/1151.10 c #Conflicts: 700000 | #Constraints: 178123 1147.83/1151.10 c INPROCESSING 1147.83/1151.10 c GARBAGE COLLECT 1147.83/1151.10 c rational objective -112 1207.68/1211.01 c #Conflicts: 701000 | #Constraints: 139127 1207.68/1211.01 c #Conflicts: 702000 | #Constraints: 140127 1207.68/1211.01 c #Conflicts: 703000 | #Constraints: 141127 1207.68/1211.01 c #Conflicts: 704000 | #Constraints: 142127 1207.68/1211.01 c #Conflicts: 705000 | #Constraints: 143127 1207.68/1211.01 c #Conflicts: 706000 | #Constraints: 144127 1207.68/1211.01 c #Conflicts: 707000 | #Constraints: 145127 1207.68/1211.01 c #Conflicts: 708000 | #Constraints: 146127 1207.68/1211.01 c #Conflicts: 709000 | #Constraints: 147127 1207.68/1211.01 c #Conflicts: 710000 | #Constraints: 148127 1207.68/1211.01 c #Conflicts: 711000 | #Constraints: 149127 1207.68/1211.01 c #Conflicts: 712000 | #Constraints: 150127 1207.68/1211.01 c #Conflicts: 713000 | #Constraints: 151127 1207.68/1211.01 c #Conflicts: 714000 | #Constraints: 152127 1207.68/1211.01 c #Conflicts: 715000 | #Constraints: 153127 1207.68/1211.01 c #Conflicts: 716000 | #Constraints: 154127 1207.68/1211.01 c #Conflicts: 717000 | #Constraints: 155127 1207.68/1211.01 c #Conflicts: 718000 | #Constraints: 156127 1207.68/1211.01 c #Conflicts: 719000 | #Constraints: 157127 1207.68/1211.01 c #Conflicts: 720000 | #Constraints: 158127 1207.68/1211.01 c #Conflicts: 721000 | #Constraints: 159127 1207.68/1211.01 c #Conflicts: 722000 | #Constraints: 160127 1207.68/1211.01 c #Conflicts: 723000 | #Constraints: 161127 1207.68/1211.01 c #Conflicts: 724000 | #Constraints: 162127 1207.68/1211.01 c INPROCESSING 1207.68/1211.01 c GARBAGE COLLECT 1207.68/1211.01 c rational objective -112 1245.69/1249.19 c #Conflicts: 725000 | #Constraints: 131057 1245.69/1249.19 c #Conflicts: 726000 | #Constraints: 132057 1245.69/1249.19 c #Conflicts: 727000 | #Constraints: 133057 1245.69/1249.19 c #Conflicts: 728000 | #Constraints: 134057 1245.69/1249.19 c #Conflicts: 729000 | #Constraints: 135057 1245.69/1249.19 c #Conflicts: 730000 | #Constraints: 136057 1245.69/1249.19 c #Conflicts: 731000 | #Constraints: 137057 1245.69/1249.19 c #Conflicts: 732000 | #Constraints: 138078 1245.69/1249.19 c #Conflicts: 733000 | #Constraints: 139123 1245.69/1249.19 c #Conflicts: 734000 | #Constraints: 140165 1245.69/1249.19 c #Conflicts: 735000 | #Constraints: 141213 1245.69/1249.19 c #Conflicts: 736000 | #Constraints: 142257 1245.69/1249.19 c #Conflicts: 737000 | #Constraints: 143303 1245.69/1249.19 c #Conflicts: 738000 | #Constraints: 144347 1245.69/1249.19 c #Conflicts: 739000 | #Constraints: 145399 1245.69/1249.19 c #Conflicts: 740000 | #Constraints: 146445 1245.69/1249.19 c #Conflicts: 741000 | #Constraints: 147491 1245.69/1249.19 c #Conflicts: 742000 | #Constraints: 148521 1245.69/1249.19 c #Conflicts: 743000 | #Constraints: 149574 1245.69/1249.19 c #Conflicts: 744000 | #Constraints: 150631 1245.69/1249.19 c #Conflicts: 745000 | #Constraints: 151698 1245.69/1249.19 c #Conflicts: 746000 | #Constraints: 152755 1245.69/1249.19 c #Conflicts: 747000 | #Constraints: 153789 1245.69/1249.19 c #Conflicts: 748000 | #Constraints: 154836 1245.69/1249.19 c INPROCESSING 1245.69/1249.19 c GARBAGE COLLECT 1245.69/1249.19 c rational objective -112 1392.53/1396.36 c #Conflicts: 749000 | #Constraints: 127175 1392.53/1396.36 c #Conflicts: 750000 | #Constraints: 128175 1392.53/1396.36 c #Conflicts: 751000 | #Constraints: 129175 1392.53/1396.36 c #Conflicts: 752000 | #Constraints: 130175 1392.53/1396.36 c #Conflicts: 753000 | #Constraints: 131175 1392.53/1396.36 c #Conflicts: 754000 | #Constraints: 132175 1392.53/1396.36 c #Conflicts: 755000 | #Constraints: 133175 1392.53/1396.36 c #Conflicts: 756000 | #Constraints: 134175 1392.53/1396.36 c #Conflicts: 757000 | #Constraints: 135175 1392.53/1396.36 c #Conflicts: 758000 | #Constraints: 136175 1392.53/1396.36 c #Conflicts: 759000 | #Constraints: 137175 1392.53/1396.36 c #Conflicts: 760000 | #Constraints: 138175 1392.53/1396.36 c #Conflicts: 761000 | #Constraints: 139175 1392.53/1396.36 c #Conflicts: 762000 | #Constraints: 140175 1392.53/1396.36 c #Conflicts: 763000 | #Constraints: 141175 1392.53/1396.36 c #Conflicts: 764000 | #Constraints: 142175 1392.53/1396.36 c #Conflicts: 765000 | #Constraints: 143175 1392.53/1396.36 c #Conflicts: 766000 | #Constraints: 144175 1392.53/1396.36 c #Conflicts: 767000 | #Constraints: 145175 1392.53/1396.36 c #Conflicts: 768000 | #Constraints: 146175 1392.53/1396.36 c #Conflicts: 769000 | #Constraints: 147175 1392.53/1396.36 c #Conflicts: 770000 | #Constraints: 148175 1392.53/1396.36 c #Conflicts: 771000 | #Constraints: 149175 1392.53/1396.36 c #Conflicts: 772000 | #Constraints: 150175 1392.53/1396.36 c #Conflicts: 773000 | #Constraints: 151175 1392.53/1396.36 c #Conflicts: 774000 | #Constraints: 152175 1392.53/1396.36 c #Conflicts: 775000 | #Constraints: 153175 1392.53/1396.36 c #Conflicts: 776000 | #Constraints: 154175 1392.53/1396.36 c #Conflicts: 777000 | #Constraints: 155175 1392.53/1396.36 c #Conflicts: 778000 | #Constraints: 156175 1392.53/1396.36 c #Conflicts: 779000 | #Constraints: 157175 1392.53/1396.36 c #Conflicts: 780000 | #Constraints: 158175 1392.53/1396.36 c #Conflicts: 781000 | #Constraints: 159175 1392.53/1396.36 c #Conflicts: 782000 | #Constraints: 160175 1392.53/1396.36 c #Conflicts: 783000 | #Constraints: 161175 1392.53/1396.36 c #Conflicts: 784000 | #Constraints: 162175 1392.53/1396.36 c #Conflicts: 785000 | #Constraints: 163175 1392.53/1396.36 c #Conflicts: 786000 | #Constraints: 164175 1392.53/1396.36 c #Conflicts: 787000 | #Constraints: 165175 1392.53/1396.36 c #Conflicts: 788000 | #Constraints: 166175 1392.53/1396.36 c #Conflicts: 789000 | #Constraints: 167175 1392.53/1396.36 c #Conflicts: 790000 | #Constraints: 168175 1392.53/1396.36 c #Conflicts: 791000 | #Constraints: 169175 1392.53/1396.36 c #Conflicts: 792000 | #Constraints: 170175 1392.53/1396.36 c #Conflicts: 793000 | #Constraints: 171175 1392.53/1396.36 c #Conflicts: 794000 | #Constraints: 172175 1392.53/1396.36 c #Conflicts: 795000 | #Constraints: 173175 1392.53/1396.36 c #Conflicts: 796000 | #Constraints: 174175 1392.53/1396.36 c #Conflicts: 797000 | #Constraints: 175175 1392.53/1396.36 c #Conflicts: 798000 | #Constraints: 176175 1392.53/1396.36 c #Conflicts: 799000 | #Constraints: 177175 1392.53/1396.36 c #Conflicts: 800000 | #Constraints: 178175 1392.53/1396.36 c #Conflicts: 801000 | #Constraints: 179175 1392.53/1396.36 c #Conflicts: 802000 | #Constraints: 180175 1392.53/1396.36 c #Conflicts: 803000 | #Constraints: 181175 1392.53/1396.36 c #Conflicts: 804000 | #Constraints: 182175 1392.53/1396.36 c #Conflicts: 805000 | #Constraints: 183175 1392.53/1396.36 c #Conflicts: 806000 | #Constraints: 184175 1392.53/1396.36 c INPROCESSING 1392.53/1396.36 c GARBAGE COLLECT 1392.53/1396.36 c rational objective -112 1454.49/1458.48 c #Conflicts: 807000 | #Constraints: 142057 1454.49/1458.48 c #Conflicts: 808000 | #Constraints: 143089 1454.49/1458.48 c #Conflicts: 809000 | #Constraints: 144134 1454.49/1458.48 c #Conflicts: 810000 | #Constraints: 145185 1454.49/1458.48 c #Conflicts: 811000 | #Constraints: 146223 1454.49/1458.48 c #Conflicts: 812000 | #Constraints: 147273 1454.49/1458.48 c #Conflicts: 813000 | #Constraints: 148323 1454.49/1458.48 c #Conflicts: 814000 | #Constraints: 149384 1454.49/1458.48 c #Conflicts: 815000 | #Constraints: 150434 1454.49/1458.48 c #Conflicts: 816000 | #Constraints: 151476 1454.49/1458.48 c #Conflicts: 817000 | #Constraints: 152516 1454.49/1458.48 c #Conflicts: 818000 | #Constraints: 153568 1454.49/1458.48 c #Conflicts: 819000 | #Constraints: 154618 1454.49/1458.48 c #Conflicts: 820000 | #Constraints: 155670 1454.49/1458.48 c #Conflicts: 821000 | #Constraints: 156722 1454.49/1458.48 c #Conflicts: 822000 | #Constraints: 157765 1454.49/1458.48 c #Conflicts: 823000 | #Constraints: 158816 1454.49/1458.48 c #Conflicts: 824000 | #Constraints: 159850 1454.49/1458.48 c #Conflicts: 825000 | #Constraints: 160878 1454.49/1458.48 c #Conflicts: 826000 | #Constraints: 161910 1454.49/1458.48 c #Conflicts: 827000 | #Constraints: 162940 1454.49/1458.48 c #Conflicts: 828000 | #Constraints: 163978 1454.49/1458.48 c #Conflicts: 829000 | #Constraints: 165010 1454.49/1458.48 c #Conflicts: 830000 | #Constraints: 166040 1454.49/1458.48 c #Conflicts: 831000 | #Constraints: 167069 1454.49/1458.48 c #Conflicts: 832000 | #Constraints: 168098 1454.49/1458.48 c INPROCESSING 1454.49/1458.48 c GARBAGE COLLECT 1454.49/1458.48 c rational objective -112 1513.94/1518.05 c #Conflicts: 833000 | #Constraints: 134087 1513.94/1518.05 c #Conflicts: 834000 | #Constraints: 135087 1513.94/1518.05 c #Conflicts: 835000 | #Constraints: 136087 1513.94/1518.05 c #Conflicts: 836000 | #Constraints: 137087 1513.94/1518.05 c #Conflicts: 837000 | #Constraints: 138087 1513.94/1518.05 c #Conflicts: 838000 | #Constraints: 139087 1513.94/1518.05 c #Conflicts: 839000 | #Constraints: 140087 1513.94/1518.05 c #Conflicts: 840000 | #Constraints: 141087 1513.94/1518.05 c #Conflicts: 841000 | #Constraints: 142087 1513.94/1518.05 c #Conflicts: 842000 | #Constraints: 143087 1513.94/1518.05 c #Conflicts: 843000 | #Constraints: 144087 1513.94/1518.05 c #Conflicts: 844000 | #Constraints: 145087 1513.94/1518.05 c #Conflicts: 845000 | #Constraints: 146087 1513.94/1518.05 c #Conflicts: 846000 | #Constraints: 147087 1513.94/1518.05 c #Conflicts: 847000 | #Constraints: 148087 1513.94/1518.05 c #Conflicts: 848000 | #Constraints: 149087 1513.94/1518.05 c #Conflicts: 849000 | #Constraints: 150087 1513.94/1518.05 c #Conflicts: 850000 | #Constraints: 151087 1513.94/1518.05 c #Conflicts: 851000 | #Constraints: 152087 1513.94/1518.05 c #Conflicts: 852000 | #Constraints: 153087 1513.94/1518.05 c #Conflicts: 853000 | #Constraints: 154087 1513.94/1518.05 c #Conflicts: 854000 | #Constraints: 155087 1513.94/1518.05 c #Conflicts: 855000 | #Constraints: 156087 1513.94/1518.05 c #Conflicts: 856000 | #Constraints: 157087 1513.94/1518.05 c #Conflicts: 857000 | #Constraints: 158087 1513.94/1518.05 c #Conflicts: 858000 | #Constraints: 159087 1513.94/1518.05 c INPROCESSING 1513.94/1518.05 c GARBAGE COLLECT 1513.94/1518.05 c rational objective -112 1676.14/1680.66 c #Conflicts: 859000 | #Constraints: 129792 1676.14/1680.66 c #Conflicts: 860000 | #Constraints: 130792 1676.14/1680.66 c #Conflicts: 861000 | #Constraints: 131792 1676.14/1680.66 c #Conflicts: 862000 | #Constraints: 132792 1676.14/1680.66 c #Conflicts: 863000 | #Constraints: 133792 1676.14/1680.66 c #Conflicts: 864000 | #Constraints: 134792 1676.14/1680.66 c #Conflicts: 865000 | #Constraints: 135792 1676.14/1680.66 c #Conflicts: 866000 | #Constraints: 136792 1676.14/1680.66 c #Conflicts: 867000 | #Constraints: 137792 1676.14/1680.66 c #Conflicts: 868000 | #Constraints: 138792 1676.14/1680.66 c #Conflicts: 869000 | #Constraints: 139792 1676.14/1680.66 c #Conflicts: 870000 | #Constraints: 140792 1676.14/1680.66 c #Conflicts: 871000 | #Constraints: 141792 1676.14/1680.66 c #Conflicts: 872000 | #Constraints: 142792 1676.14/1680.66 c #Conflicts: 873000 | #Constraints: 143792 1676.14/1680.66 c #Conflicts: 874000 | #Constraints: 144792 1676.14/1680.66 c #Conflicts: 875000 | #Constraints: 145792 1676.14/1680.66 c #Conflicts: 876000 | #Constraints: 146792 1676.14/1680.66 c #Conflicts: 877000 | #Constraints: 147792 1676.14/1680.66 c #Conflicts: 878000 | #Constraints: 148792 1676.14/1680.66 c #Conflicts: 879000 | #Constraints: 149792 1676.14/1680.66 c #Conflicts: 880000 | #Constraints: 150792 1676.14/1680.66 c #Conflicts: 881000 | #Constraints: 151792 1676.14/1680.66 c #Conflicts: 882000 | #Constraints: 152792 1676.14/1680.66 c #Conflicts: 883000 | #Constraints: 153792 1676.14/1680.66 c #Conflicts: 884000 | #Constraints: 154792 1676.14/1680.66 c #Conflicts: 885000 | #Constraints: 155792 1676.14/1680.66 c #Conflicts: 886000 | #Constraints: 156792 1676.14/1680.66 c #Conflicts: 887000 | #Constraints: 157792 1676.14/1680.66 c #Conflicts: 888000 | #Constraints: 158792 1676.14/1680.66 c #Conflicts: 889000 | #Constraints: 159792 1676.14/1680.66 c #Conflicts: 890000 | #Constraints: 160792 1676.14/1680.66 c #Conflicts: 891000 | #Constraints: 161792 1676.14/1680.66 c bounds -41 >= -111 @ 1593.05 1676.14/1680.66 c #Conflicts: 892000 | #Constraints: 162831 1676.14/1680.66 c #Conflicts: 893000 | #Constraints: 163831 1676.14/1680.66 c #Conflicts: 894000 | #Constraints: 164831 1676.14/1680.66 c #Conflicts: 895000 | #Constraints: 165831 1676.14/1680.66 c #Conflicts: 896000 | #Constraints: 166831 1676.14/1680.66 c #Conflicts: 897000 | #Constraints: 167831 1676.14/1680.66 c #Conflicts: 898000 | #Constraints: 168831 1676.14/1680.66 c #Conflicts: 899000 | #Constraints: 169831 1676.14/1680.66 c #Conflicts: 900000 | #Constraints: 170831 1676.14/1680.66 c #Conflicts: 901000 | #Constraints: 171831 1676.14/1680.66 c #Conflicts: 902000 | #Constraints: 172831 1676.14/1680.66 c #Conflicts: 903000 | #Constraints: 173831 1676.14/1680.66 c #Conflicts: 904000 | #Constraints: 174831 1676.14/1680.66 c #Conflicts: 905000 | #Constraints: 175831 1676.14/1680.66 c #Conflicts: 906000 | #Constraints: 176831 1676.14/1680.66 c #Conflicts: 907000 | #Constraints: 177831 1676.14/1680.66 c #Conflicts: 908000 | #Constraints: 178831 1676.14/1680.66 c #Conflicts: 909000 | #Constraints: 179831 1676.14/1680.66 c #Conflicts: 910000 | #Constraints: 180831 1676.14/1680.66 c #Conflicts: 911000 | #Constraints: 181831 1676.14/1680.66 c #Conflicts: 912000 | #Constraints: 182831 1676.14/1680.66 c #Conflicts: 913000 | #Constraints: 183831 1676.14/1680.66 c #Conflicts: 914000 | #Constraints: 184831 1676.14/1680.66 c #Conflicts: 915000 | #Constraints: 185831 1676.14/1680.66 c #Conflicts: 916000 | #Constraints: 186831 1676.14/1680.66 c #Conflicts: 917000 | #Constraints: 187831 1676.14/1680.66 c #Conflicts: 918000 | #Constraints: 188831 1676.14/1680.66 c #Conflicts: 919000 | #Constraints: 189831 1676.14/1680.66 c #Conflicts: 920000 | #Constraints: 190831 1676.14/1680.66 c INPROCESSING 1676.14/1680.66 c GARBAGE COLLECT 1676.14/1680.66 c rational objective -111 1755.26/1759.92 c #Conflicts: 921000 | #Constraints: 145718 1755.26/1759.92 c #Conflicts: 922000 | #Constraints: 146718 1755.26/1759.92 c #Conflicts: 923000 | #Constraints: 147718 1755.26/1759.92 c #Conflicts: 924000 | #Constraints: 148718 1755.26/1759.92 c #Conflicts: 925000 | #Constraints: 149718 1755.26/1759.92 c #Conflicts: 926000 | #Constraints: 150718 1755.26/1759.92 c #Conflicts: 927000 | #Constraints: 151718 1755.26/1759.92 c #Conflicts: 928000 | #Constraints: 152718 1755.26/1759.92 c #Conflicts: 929000 | #Constraints: 153718 1755.26/1759.92 c #Conflicts: 930000 | #Constraints: 154718 1755.26/1759.92 c #Conflicts: 931000 | #Constraints: 155718 1755.26/1759.92 c #Conflicts: 932000 | #Constraints: 156718 1755.26/1759.92 c #Conflicts: 933000 | #Constraints: 157718 1755.26/1759.92 c #Conflicts: 934000 | #Constraints: 158718 1755.26/1759.92 c #Conflicts: 935000 | #Constraints: 159718 1755.26/1759.92 c #Conflicts: 936000 | #Constraints: 160718 1755.26/1759.92 c #Conflicts: 937000 | #Constraints: 161718 1755.26/1759.92 c #Conflicts: 938000 | #Constraints: 162718 1755.26/1759.92 c #Conflicts: 939000 | #Constraints: 163718 1755.26/1759.92 c #Conflicts: 940000 | #Constraints: 164718 1755.26/1759.92 c #Conflicts: 941000 | #Constraints: 165718 1755.26/1759.92 c #Conflicts: 942000 | #Constraints: 166718 1755.26/1759.92 c #Conflicts: 943000 | #Constraints: 167718 1755.26/1759.92 c #Conflicts: 944000 | #Constraints: 168718 1755.26/1759.92 c #Conflicts: 945000 | #Constraints: 169718 1755.26/1759.92 c #Conflicts: 946000 | #Constraints: 170718 1755.26/1759.92 c #Conflicts: 947000 | #Constraints: 171718 1755.26/1759.92 c INPROCESSING 1755.26/1759.92 c GARBAGE COLLECT 1755.26/1759.92 c rational objective -111 1808.34/1813.14 c #Conflicts: 948000 | #Constraints: 136056 1808.34/1813.14 c #Conflicts: 949000 | #Constraints: 137081 1808.34/1813.14 c #Conflicts: 950000 | #Constraints: 138119 1808.34/1813.14 c #Conflicts: 951000 | #Constraints: 139147 1808.34/1813.14 c #Conflicts: 952000 | #Constraints: 140179 1808.34/1813.14 c #Conflicts: 953000 | #Constraints: 141213 1808.34/1813.14 c #Conflicts: 954000 | #Constraints: 142240 1808.34/1813.14 c #Conflicts: 955000 | #Constraints: 143272 1808.34/1813.14 c bounds -42 >= -111 @ 1754.86 1808.34/1813.14 c #Conflicts: 956000 | #Constraints: 144311 1808.34/1813.14 c #Conflicts: 957000 | #Constraints: 145311 1808.34/1813.14 c #Conflicts: 958000 | #Constraints: 146311 1808.34/1813.14 c #Conflicts: 959000 | #Constraints: 147311 1808.34/1813.14 c #Conflicts: 960000 | #Constraints: 148311 1808.34/1813.14 c #Conflicts: 961000 | #Constraints: 149311 1808.34/1813.14 c #Conflicts: 962000 | #Constraints: 150311 1808.34/1813.14 c #Conflicts: 963000 | #Constraints: 151311 1808.34/1813.14 c #Conflicts: 964000 | #Constraints: 152311 1808.34/1813.14 c #Conflicts: 965000 | #Constraints: 153311 1808.34/1813.14 c #Conflicts: 966000 | #Constraints: 154311 1808.34/1813.14 c #Conflicts: 967000 | #Constraints: 155311 1808.34/1813.14 c #Conflicts: 968000 | #Constraints: 156311 1808.34/1813.14 c #Conflicts: 969000 | #Constraints: 157311 1808.34/1813.14 c #Conflicts: 970000 | #Constraints: 158311 1808.34/1813.14 c #Conflicts: 971000 | #Constraints: 159311 1808.34/1813.14 c #Conflicts: 972000 | #Constraints: 160311 1808.34/1813.14 c #Conflicts: 973000 | #Constraints: 161311 1808.34/1813.14 c #Conflicts: 974000 | #Constraints: 162311 1808.34/1813.14 c INPROCESSING 1808.34/1813.14 c GARBAGE COLLECT 1808.34/1813.14 c rational objective -111 2130.25/2135.82 c #Conflicts: 975000 | #Constraints: 131231 2130.25/2135.82 c #Conflicts: 976000 | #Constraints: 132271 2130.25/2135.82 c #Conflicts: 977000 | #Constraints: 133293 2130.25/2135.82 c #Conflicts: 978000 | #Constraints: 134330 2130.25/2135.82 c #Conflicts: 979000 | #Constraints: 135350 2130.25/2135.82 c #Conflicts: 980000 | #Constraints: 136376 2130.25/2135.82 c #Conflicts: 981000 | #Constraints: 137407 2130.25/2135.82 c #Conflicts: 982000 | #Constraints: 138446 2130.25/2135.82 c #Conflicts: 983000 | #Constraints: 139476 2130.25/2135.82 c #Conflicts: 984000 | #Constraints: 140503 2130.25/2135.82 c #Conflicts: 985000 | #Constraints: 141522 2130.25/2135.82 c #Conflicts: 986000 | #Constraints: 142565 2130.25/2135.82 c #Conflicts: 987000 | #Constraints: 143593 2130.25/2135.82 c #Conflicts: 988000 | #Constraints: 144622 2130.25/2135.82 c #Conflicts: 989000 | #Constraints: 145657 2130.25/2135.82 c #Conflicts: 990000 | #Constraints: 146691 2130.25/2135.82 c #Conflicts: 991000 | #Constraints: 147730 2130.25/2135.82 c #Conflicts: 992000 | #Constraints: 148768 2130.25/2135.82 c #Conflicts: 993000 | #Constraints: 149804 2130.25/2135.82 c #Conflicts: 994000 | #Constraints: 150836 2130.25/2135.82 c #Conflicts: 995000 | #Constraints: 151880 2130.25/2135.82 c #Conflicts: 996000 | #Constraints: 152918 2130.25/2135.82 c #Conflicts: 997000 | #Constraints: 153961 2130.25/2135.82 c #Conflicts: 998000 | #Constraints: 154999 2130.25/2135.82 c #Conflicts: 999000 | #Constraints: 156033 2130.25/2135.82 c #Conflicts: 1000000 | #Constraints: 157074 2130.25/2135.82 c #Conflicts: 1001000 | #Constraints: 158104 2130.25/2135.82 c #Conflicts: 1002000 | #Constraints: 159145 2130.25/2135.82 c #Conflicts: 1003000 | #Constraints: 160185 2130.25/2135.82 c #Conflicts: 1004000 | #Constraints: 161225 2130.25/2135.82 c #Conflicts: 1005000 | #Constraints: 162270 2130.25/2135.82 c #Conflicts: 1006000 | #Constraints: 163310 2130.25/2135.82 c #Conflicts: 1007000 | #Constraints: 164346 2130.25/2135.82 c #Conflicts: 1008000 | #Constraints: 165386 2130.25/2135.82 c #Conflicts: 1009000 | #Constraints: 166426 2130.25/2135.82 c #Conflicts: 1010000 | #Constraints: 167470 2130.25/2135.82 c #Conflicts: 1011000 | #Constraints: 168510 2130.25/2135.82 c #Conflicts: 1012000 | #Constraints: 169550 2130.25/2135.82 c #Conflicts: 1013000 | #Constraints: 170596 2130.25/2135.82 c #Conflicts: 1014000 | #Constraints: 171644 2130.25/2135.82 c #Conflicts: 1015000 | #Constraints: 172677 2130.25/2135.82 c #Conflicts: 1016000 | #Constraints: 173709 2130.25/2135.82 c #Conflicts: 1017000 | #Constraints: 174747 2130.25/2135.82 c #Conflicts: 1018000 | #Constraints: 175788 2130.25/2135.82 c #Conflicts: 1019000 | #Constraints: 176818 2130.25/2135.82 c #Conflicts: 1020000 | #Constraints: 177859 2130.25/2135.82 c #Conflicts: 1021000 | #Constraints: 178888 2130.25/2135.82 c #Conflicts: 1022000 | #Constraints: 179912 2130.25/2135.82 c #Conflicts: 1023000 | #Constraints: 180942 2130.25/2135.82 c #Conflicts: 1024000 | #Constraints: 181977 2130.25/2135.82 c #Conflicts: 1025000 | #Constraints: 183009 2130.25/2135.82 c #Conflicts: 1026000 | #Constraints: 184040 2130.25/2135.82 c #Conflicts: 1027000 | #Constraints: 185067 2130.25/2135.82 c #Conflicts: 1028000 | #Constraints: 186094 2130.25/2135.82 c #Conflicts: 1029000 | #Constraints: 187125 2130.25/2135.82 c #Conflicts: 1030000 | #Constraints: 188146 2130.25/2135.82 c #Conflicts: 1031000 | #Constraints: 189167 2130.25/2135.82 c #Conflicts: 1032000 | #Constraints: 190189 2130.25/2135.82 c #Conflicts: 1033000 | #Constraints: 191221 2130.25/2135.82 c #Conflicts: 1034000 | #Constraints: 192250 2130.25/2135.82 c #Conflicts: 1035000 | #Constraints: 193269 2130.25/2135.82 c #Conflicts: 1036000 | #Constraints: 194294 2130.25/2135.82 c #Conflicts: 1037000 | #Constraints: 195322 2130.25/2135.82 c #Conflicts: 1038000 | #Constraints: 196343 2130.25/2135.82 c #Conflicts: 1039000 | #Constraints: 197354 2130.25/2135.82 c #Conflicts: 1040000 | #Constraints: 198374 2130.25/2135.82 c INPROCESSING 2130.25/2135.82 c GARBAGE COLLECT 2130.25/2135.82 c rational objective -111 2198.17/2203.99 c #Conflicts: 1041000 | #Constraints: 149055 2198.17/2203.99 c #Conflicts: 1042000 | #Constraints: 150055 2198.17/2203.99 c #Conflicts: 1043000 | #Constraints: 151055 2198.17/2203.99 c #Conflicts: 1044000 | #Constraints: 152055 2198.17/2203.99 c #Conflicts: 1045000 | #Constraints: 153055 2198.17/2203.99 c #Conflicts: 1046000 | #Constraints: 154055 2198.17/2203.99 c #Conflicts: 1047000 | #Constraints: 155055 2198.17/2203.99 c #Conflicts: 1048000 | #Constraints: 156055 2198.17/2203.99 c #Conflicts: 1049000 | #Constraints: 157055 2198.17/2203.99 c #Conflicts: 1050000 | #Constraints: 158055 2198.17/2203.99 c #Conflicts: 1051000 | #Constraints: 159055 2198.17/2203.99 c #Conflicts: 1052000 | #Constraints: 160055 2198.17/2203.99 c #Conflicts: 1053000 | #Constraints: 161055 2198.17/2203.99 c #Conflicts: 1054000 | #Constraints: 162055 2198.17/2203.99 c #Conflicts: 1055000 | #Constraints: 163055 2198.17/2203.99 c #Conflicts: 1056000 | #Constraints: 164055 2198.17/2203.99 c #Conflicts: 1057000 | #Constraints: 165055 2198.17/2203.99 c #Conflicts: 1058000 | #Constraints: 166055 2198.17/2203.99 c #Conflicts: 1059000 | #Constraints: 167055 2198.17/2203.99 c #Conflicts: 1060000 | #Constraints: 168055 2198.17/2203.99 c #Conflicts: 1061000 | #Constraints: 169055 2198.17/2203.99 c #Conflicts: 1062000 | #Constraints: 170055 2198.17/2203.99 c #Conflicts: 1063000 | #Constraints: 171055 2198.17/2203.99 c #Conflicts: 1064000 | #Constraints: 172055 2198.17/2203.99 c #Conflicts: 1065000 | #Constraints: 173055 2198.17/2203.99 c #Conflicts: 1066000 | #Constraints: 174055 2198.17/2203.99 c #Conflicts: 1067000 | #Constraints: 175055 2198.17/2203.99 c #Conflicts: 1068000 | #Constraints: 176055 2198.17/2203.99 c #Conflicts: 1069000 | #Constraints: 177055 2198.17/2203.99 c INPROCESSING 2198.17/2203.99 c GARBAGE COLLECT 2198.17/2203.99 c rational objective -111 2260.01/2265.96 c #Conflicts: 1070000 | #Constraints: 138725 2260.01/2265.96 c #Conflicts: 1071000 | #Constraints: 139725 2260.01/2265.96 c #Conflicts: 1072000 | #Constraints: 140725 2260.01/2265.96 c #Conflicts: 1073000 | #Constraints: 141725 2260.01/2265.96 c #Conflicts: 1074000 | #Constraints: 142725 2260.01/2265.96 c #Conflicts: 1075000 | #Constraints: 143725 2260.01/2265.96 c #Conflicts: 1076000 | #Constraints: 144725 2260.01/2265.96 c #Conflicts: 1077000 | #Constraints: 145725 2260.01/2265.96 c #Conflicts: 1078000 | #Constraints: 146725 2260.01/2265.96 c #Conflicts: 1079000 | #Constraints: 147725 2260.01/2265.96 c #Conflicts: 1080000 | #Constraints: 148725 2260.01/2265.96 c #Conflicts: 1081000 | #Constraints: 149725 2260.01/2265.96 c #Conflicts: 1082000 | #Constraints: 150725 2260.01/2265.96 c #Conflicts: 1083000 | #Constraints: 151725 2260.01/2265.96 c #Conflicts: 1084000 | #Constraints: 152725 2260.01/2265.96 c #Conflicts: 1085000 | #Constraints: 153725 2260.01/2265.96 c #Conflicts: 1086000 | #Constraints: 154725 2260.01/2265.96 c #Conflicts: 1087000 | #Constraints: 155725 2260.01/2265.96 c #Conflicts: 1088000 | #Constraints: 156725 2260.01/2265.96 c #Conflicts: 1089000 | #Constraints: 157725 2260.01/2265.96 c #Conflicts: 1090000 | #Constraints: 158725 2260.01/2265.96 c #Conflicts: 1091000 | #Constraints: 159725 2260.01/2265.96 c #Conflicts: 1092000 | #Constraints: 160725 2260.01/2265.96 c #Conflicts: 1093000 | #Constraints: 161725 2260.01/2265.96 c #Conflicts: 1094000 | #Constraints: 162725 2260.01/2265.96 c #Conflicts: 1095000 | #Constraints: 163725 2260.01/2265.96 c #Conflicts: 1096000 | #Constraints: 164725 2260.01/2265.96 c #Conflicts: 1097000 | #Constraints: 165725 2260.01/2265.96 c #Conflicts: 1098000 | #Constraints: 166725 2260.01/2265.96 c INPROCESSING 2260.01/2265.96 c GARBAGE COLLECT 2260.01/2265.96 c rational objective -111 2318.18/2324.24 c #Conflicts: 1099000 | #Constraints: 133618 2318.18/2324.24 c #Conflicts: 1100000 | #Constraints: 134618 2318.18/2324.24 c #Conflicts: 1101000 | #Constraints: 135618 2318.18/2324.24 c #Conflicts: 1102000 | #Constraints: 136618 2318.18/2324.24 c #Conflicts: 1103000 | #Constraints: 137618 2318.18/2324.24 c #Conflicts: 1104000 | #Constraints: 138618 2318.18/2324.24 c #Conflicts: 1105000 | #Constraints: 139618 2318.18/2324.24 c #Conflicts: 1106000 | #Constraints: 140618 2318.18/2324.24 c #Conflicts: 1107000 | #Constraints: 141618 2318.18/2324.24 c #Conflicts: 1108000 | #Constraints: 142618 2318.18/2324.24 c #Conflicts: 1109000 | #Constraints: 143618 2318.18/2324.24 c #Conflicts: 1110000 | #Constraints: 144618 2318.18/2324.24 c #Conflicts: 1111000 | #Constraints: 145618 2318.18/2324.24 c #Conflicts: 1112000 | #Constraints: 146618 2318.18/2324.24 c #Conflicts: 1113000 | #Constraints: 147618 2318.18/2324.24 c #Conflicts: 1114000 | #Constraints: 148618 2318.18/2324.24 c #Conflicts: 1115000 | #Constraints: 149618 2318.18/2324.24 c #Conflicts: 1116000 | #Constraints: 150618 2318.18/2324.24 c #Conflicts: 1117000 | #Constraints: 151618 2318.18/2324.24 c #Conflicts: 1118000 | #Constraints: 152618 2318.18/2324.24 c #Conflicts: 1119000 | #Constraints: 153618 2318.18/2324.24 c #Conflicts: 1120000 | #Constraints: 154618 2318.18/2324.24 c #Conflicts: 1121000 | #Constraints: 155618 2318.18/2324.24 c #Conflicts: 1122000 | #Constraints: 156618 2318.18/2324.24 c #Conflicts: 1123000 | #Constraints: 157618 2318.18/2324.24 c #Conflicts: 1124000 | #Constraints: 158618 2318.18/2324.24 c #Conflicts: 1125000 | #Constraints: 159618 2318.18/2324.24 c #Conflicts: 1126000 | #Constraints: 160618 2318.18/2324.24 c #Conflicts: 1127000 | #Constraints: 161618 2318.18/2324.24 c INPROCESSING 2318.18/2324.24 c GARBAGE COLLECT 2318.18/2324.24 c rational objective -111 2521.49/2528.04 c #Conflicts: 1128000 | #Constraints: 132512 2521.49/2528.04 c #Conflicts: 1129000 | #Constraints: 133512 2521.49/2528.04 c #Conflicts: 1130000 | #Constraints: 134512 2521.49/2528.04 c #Conflicts: 1131000 | #Constraints: 135512 2521.49/2528.04 c #Conflicts: 1132000 | #Constraints: 136512 2521.49/2528.04 c #Conflicts: 1133000 | #Constraints: 137512 2521.49/2528.04 c #Conflicts: 1134000 | #Constraints: 138512 2521.49/2528.04 c #Conflicts: 1135000 | #Constraints: 139512 2521.49/2528.04 c #Conflicts: 1136000 | #Constraints: 140512 2521.49/2528.04 c #Conflicts: 1137000 | #Constraints: 141512 2521.49/2528.04 c #Conflicts: 1138000 | #Constraints: 142512 2521.49/2528.04 c #Conflicts: 1139000 | #Constraints: 143512 2521.49/2528.04 c #Conflicts: 1140000 | #Constraints: 144512 2521.49/2528.04 c #Conflicts: 1141000 | #Constraints: 145512 2521.49/2528.04 c #Conflicts: 1142000 | #Constraints: 146512 2521.49/2528.04 c #Conflicts: 1143000 | #Constraints: 147512 2521.49/2528.04 c #Conflicts: 1144000 | #Constraints: 148512 2521.49/2528.04 c #Conflicts: 1145000 | #Constraints: 149512 2521.49/2528.04 c #Conflicts: 1146000 | #Constraints: 150512 2521.49/2528.04 c #Conflicts: 1147000 | #Constraints: 151512 2521.49/2528.04 c #Conflicts: 1148000 | #Constraints: 152512 2521.49/2528.04 c #Conflicts: 1149000 | #Constraints: 153512 2521.49/2528.04 c #Conflicts: 1150000 | #Constraints: 154512 2521.49/2528.04 c #Conflicts: 1151000 | #Constraints: 155512 2521.49/2528.04 c #Conflicts: 1152000 | #Constraints: 156512 2521.49/2528.04 c #Conflicts: 1153000 | #Constraints: 157512 2521.49/2528.04 c #Conflicts: 1154000 | #Constraints: 158512 2521.49/2528.04 c #Conflicts: 1155000 | #Constraints: 159512 2521.49/2528.04 c #Conflicts: 1156000 | #Constraints: 160512 2521.49/2528.04 c #Conflicts: 1157000 | #Constraints: 161512 2521.49/2528.04 c #Conflicts: 1158000 | #Constraints: 162512 2521.49/2528.04 c #Conflicts: 1159000 | #Constraints: 163512 2521.49/2528.04 c #Conflicts: 1160000 | #Constraints: 164512 2521.49/2528.04 c #Conflicts: 1161000 | #Constraints: 165512 2521.49/2528.04 c #Conflicts: 1162000 | #Constraints: 166512 2521.49/2528.04 c #Conflicts: 1163000 | #Constraints: 167512 2521.49/2528.04 c #Conflicts: 1164000 | #Constraints: 168512 2521.49/2528.04 c #Conflicts: 1165000 | #Constraints: 169512 2521.49/2528.04 c #Conflicts: 1166000 | #Constraints: 170512 2521.49/2528.04 c #Conflicts: 1167000 | #Constraints: 171512 2521.49/2528.04 c #Conflicts: 1168000 | #Constraints: 172512 2521.49/2528.04 c #Conflicts: 1169000 | #Constraints: 173512 2521.49/2528.04 c #Conflicts: 1170000 | #Constraints: 174512 2521.49/2528.04 c #Conflicts: 1171000 | #Constraints: 175512 2521.49/2528.04 c #Conflicts: 1172000 | #Constraints: 176512 2521.49/2528.04 c #Conflicts: 1173000 | #Constraints: 177512 2521.49/2528.04 c #Conflicts: 1174000 | #Constraints: 178512 2521.49/2528.04 c #Conflicts: 1175000 | #Constraints: 179512 2521.49/2528.04 c #Conflicts: 1176000 | #Constraints: 180512 2521.49/2528.04 c #Conflicts: 1177000 | #Constraints: 181512 2521.49/2528.04 c #Conflicts: 1178000 | #Constraints: 182512 2521.49/2528.04 c #Conflicts: 1179000 | #Constraints: 183512 2521.49/2528.04 c #Conflicts: 1180000 | #Constraints: 184512 2521.49/2528.04 c #Conflicts: 1181000 | #Constraints: 185512 2521.49/2528.04 c #Conflicts: 1182000 | #Constraints: 186512 2521.49/2528.04 c #Conflicts: 1183000 | #Constraints: 187512 2521.49/2528.04 c #Conflicts: 1184000 | #Constraints: 188512 2521.49/2528.04 c #Conflicts: 1185000 | #Constraints: 189512 2521.49/2528.04 c #Conflicts: 1186000 | #Constraints: 190512 2521.49/2528.04 c #Conflicts: 1187000 | #Constraints: 191512 2521.49/2528.04 c #Conflicts: 1188000 | #Constraints: 192512 2521.49/2528.04 c #Conflicts: 1189000 | #Constraints: 193512 2521.49/2528.04 c #Conflicts: 1190000 | #Constraints: 194512 2521.49/2528.04 c #Conflicts: 1191000 | #Constraints: 195512 2521.49/2528.04 c #Conflicts: 1192000 | #Constraints: 196512 2521.49/2528.04 c #Conflicts: 1193000 | #Constraints: 197512 2521.49/2528.04 c bounds -42 >= -110 @ 2491.71 2521.49/2528.04 c #Conflicts: 1194000 | #Constraints: 198542 2521.49/2528.04 c #Conflicts: 1195000 | #Constraints: 199542 2521.49/2528.04 c #Conflicts: 1196000 | #Constraints: 200542 2521.49/2528.04 c #Conflicts: 1197000 | #Constraints: 201542 2521.49/2528.04 c #Conflicts: 1198000 | #Constraints: 202542 2521.49/2528.04 c INPROCESSING 2521.49/2528.04 c GARBAGE COLLECT 2521.49/2528.04 c rational objective -110 2588.53/2595.26 c #Conflicts: 1199000 | #Constraints: 151339 2588.53/2595.26 c #Conflicts: 1200000 | #Constraints: 152339 2588.53/2595.26 c #Conflicts: 1201000 | #Constraints: 153339 2588.53/2595.26 c #Conflicts: 1202000 | #Constraints: 154339 2588.53/2595.26 c #Conflicts: 1203000 | #Constraints: 155339 2588.53/2595.26 c #Conflicts: 1204000 | #Constraints: 156339 2588.53/2595.26 c #Conflicts: 1205000 | #Constraints: 157339 2588.53/2595.26 c #Conflicts: 1206000 | #Constraints: 158339 2588.53/2595.26 c #Conflicts: 1207000 | #Constraints: 159339 2588.53/2595.26 c #Conflicts: 1208000 | #Constraints: 160339 2588.53/2595.26 c #Conflicts: 1209000 | #Constraints: 161339 2588.53/2595.26 c #Conflicts: 1210000 | #Constraints: 162339 2588.53/2595.26 c #Conflicts: 1211000 | #Constraints: 163339 2588.53/2595.26 c #Conflicts: 1212000 | #Constraints: 164339 2588.53/2595.26 c #Conflicts: 1213000 | #Constraints: 165339 2588.53/2595.26 c #Conflicts: 1214000 | #Constraints: 166339 2588.53/2595.26 c #Conflicts: 1215000 | #Constraints: 167339 2588.53/2595.26 c #Conflicts: 1216000 | #Constraints: 168339 2588.53/2595.26 c #Conflicts: 1217000 | #Constraints: 169339 2588.53/2595.26 c #Conflicts: 1218000 | #Constraints: 170339 2588.53/2595.26 c #Conflicts: 1219000 | #Constraints: 171339 2588.53/2595.26 c #Conflicts: 1220000 | #Constraints: 172339 2588.53/2595.26 c #Conflicts: 1221000 | #Constraints: 173339 2588.53/2595.26 c #Conflicts: 1222000 | #Constraints: 174339 2588.53/2595.26 c #Conflicts: 1223000 | #Constraints: 175339 2588.53/2595.26 c #Conflicts: 1224000 | #Constraints: 176339 2588.53/2595.26 c #Conflicts: 1225000 | #Constraints: 177339 2588.53/2595.26 c #Conflicts: 1226000 | #Constraints: 178339 2588.53/2595.26 c #Conflicts: 1227000 | #Constraints: 179339 2588.53/2595.26 c #Conflicts: 1228000 | #Constraints: 180339 2588.53/2595.26 c INPROCESSING 2588.53/2595.26 c GARBAGE COLLECT 2588.53/2595.26 c rational objective -110 2658.06/2664.99 c #Conflicts: 1229000 | #Constraints: 140059 2658.06/2664.99 c #Conflicts: 1230000 | #Constraints: 141059 2658.06/2664.99 c #Conflicts: 1231000 | #Constraints: 142059 2658.06/2664.99 c #Conflicts: 1232000 | #Constraints: 143059 2658.06/2664.99 c #Conflicts: 1233000 | #Constraints: 144059 2658.06/2664.99 c #Conflicts: 1234000 | #Constraints: 145059 2658.06/2664.99 c #Conflicts: 1235000 | #Constraints: 146059 2658.06/2664.99 c #Conflicts: 1236000 | #Constraints: 147059 2658.06/2664.99 c #Conflicts: 1237000 | #Constraints: 148059 2658.06/2664.99 c #Conflicts: 1238000 | #Constraints: 149059 2658.06/2664.99 c #Conflicts: 1239000 | #Constraints: 150059 2658.06/2664.99 c #Conflicts: 1240000 | #Constraints: 151059 2658.06/2664.99 c #Conflicts: 1241000 | #Constraints: 152059 2658.06/2664.99 c #Conflicts: 1242000 | #Constraints: 153059 2658.06/2664.99 c #Conflicts: 1243000 | #Constraints: 154059 2658.06/2664.99 c #Conflicts: 1244000 | #Constraints: 155059 2658.06/2664.99 c #Conflicts: 1245000 | #Constraints: 156059 2658.06/2664.99 c #Conflicts: 1246000 | #Constraints: 157059 2658.06/2664.99 c #Conflicts: 1247000 | #Constraints: 158059 2658.06/2664.99 c #Conflicts: 1248000 | #Constraints: 159059 2658.06/2664.99 c #Conflicts: 1249000 | #Constraints: 160059 2658.06/2664.99 c #Conflicts: 1250000 | #Constraints: 161059 2658.06/2664.99 c #Conflicts: 1251000 | #Constraints: 162059 2658.06/2664.99 c #Conflicts: 1252000 | #Constraints: 163059 2658.06/2664.99 c #Conflicts: 1253000 | #Constraints: 164059 2658.06/2664.99 c #Conflicts: 1254000 | #Constraints: 165059 2658.06/2664.99 c #Conflicts: 1255000 | #Constraints: 166059 2658.06/2664.99 c #Conflicts: 1256000 | #Constraints: 167059 2658.06/2664.99 c #Conflicts: 1257000 | #Constraints: 168059 2658.06/2664.99 c #Conflicts: 1258000 | #Constraints: 169059 2658.06/2664.99 c #Conflicts: 1259000 | #Constraints: 170059 2658.06/2664.99 c INPROCESSING 2658.06/2664.99 c GARBAGE COLLECT 2658.06/2664.99 c rational objective -110 2868.95/2876.31 c #Conflicts: 1260000 | #Constraints: 135186 2868.95/2876.31 c #Conflicts: 1261000 | #Constraints: 136186 2868.95/2876.31 c #Conflicts: 1262000 | #Constraints: 137186 2868.95/2876.31 c #Conflicts: 1263000 | #Constraints: 138186 2868.95/2876.31 c #Conflicts: 1264000 | #Constraints: 139186 2868.95/2876.31 c #Conflicts: 1265000 | #Constraints: 140186 2868.95/2876.31 c #Conflicts: 1266000 | #Constraints: 141186 2868.95/2876.31 c #Conflicts: 1267000 | #Constraints: 142186 2868.95/2876.31 c #Conflicts: 1268000 | #Constraints: 143186 2868.95/2876.31 c #Conflicts: 1269000 | #Constraints: 144186 2868.95/2876.31 c #Conflicts: 1270000 | #Constraints: 145186 2868.95/2876.31 c #Conflicts: 1271000 | #Constraints: 146186 2868.95/2876.31 c #Conflicts: 1272000 | #Constraints: 147186 2868.95/2876.31 c #Conflicts: 1273000 | #Constraints: 148186 2868.95/2876.31 c #Conflicts: 1274000 | #Constraints: 149186 2868.95/2876.31 c #Conflicts: 1275000 | #Constraints: 150186 2868.95/2876.31 c #Conflicts: 1276000 | #Constraints: 151186 2868.95/2876.31 c #Conflicts: 1277000 | #Constraints: 152186 2868.95/2876.31 c #Conflicts: 1278000 | #Constraints: 153186 2868.95/2876.31 c #Conflicts: 1279000 | #Constraints: 154186 2868.95/2876.31 c #Conflicts: 1280000 | #Constraints: 155186 2868.95/2876.31 c #Conflicts: 1281000 | #Constraints: 156186 2868.95/2876.31 c #Conflicts: 1282000 | #Constraints: 157186 2868.95/2876.31 c #Conflicts: 1283000 | #Constraints: 158186 2868.95/2876.31 c #Conflicts: 1284000 | #Constraints: 159186 2868.95/2876.31 c #Conflicts: 1285000 | #Constraints: 160186 2868.95/2876.31 c #Conflicts: 1286000 | #Constraints: 161186 2868.95/2876.31 c #Conflicts: 1287000 | #Constraints: 162186 2868.95/2876.31 c #Conflicts: 1288000 | #Constraints: 163186 2868.95/2876.31 c #Conflicts: 1289000 | #Constraints: 164186 2868.95/2876.31 c #Conflicts: 1290000 | #Constraints: 165186 2868.95/2876.31 c #Conflicts: 1291000 | #Constraints: 166186 2868.95/2876.31 c #Conflicts: 1292000 | #Constraints: 167186 2868.95/2876.31 c #Conflicts: 1293000 | #Constraints: 168186 2868.95/2876.31 c #Conflicts: 1294000 | #Constraints: 169186 2868.95/2876.31 c #Conflicts: 1295000 | #Constraints: 170186 2868.95/2876.31 c #Conflicts: 1296000 | #Constraints: 171186 2868.95/2876.31 c #Conflicts: 1297000 | #Constraints: 172186 2868.95/2876.31 c #Conflicts: 1298000 | #Constraints: 173186 2868.95/2876.31 c #Conflicts: 1299000 | #Constraints: 174186 2868.95/2876.31 c #Conflicts: 1300000 | #Constraints: 175186 2868.95/2876.31 c #Conflicts: 1301000 | #Constraints: 176186 2868.95/2876.31 c #Conflicts: 1302000 | #Constraints: 177186 2868.95/2876.31 c #Conflicts: 1303000 | #Constraints: 178186 2868.95/2876.31 c #Conflicts: 1304000 | #Constraints: 179186 2868.95/2876.31 c #Conflicts: 1305000 | #Constraints: 180186 2868.95/2876.31 c #Conflicts: 1306000 | #Constraints: 181186 2868.95/2876.31 c #Conflicts: 1307000 | #Constraints: 182186 2868.95/2876.31 c #Conflicts: 1308000 | #Constraints: 183186 2868.95/2876.31 c #Conflicts: 1309000 | #Constraints: 184186 2868.95/2876.31 c #Conflicts: 1310000 | #Constraints: 185186 2868.95/2876.31 c #Conflicts: 1311000 | #Constraints: 186186 2868.95/2876.31 c #Conflicts: 1312000 | #Constraints: 187186 2868.95/2876.31 c #Conflicts: 1313000 | #Constraints: 188186 2868.95/2876.31 c #Conflicts: 1314000 | #Constraints: 189186 2868.95/2876.31 c #Conflicts: 1315000 | #Constraints: 190186 2868.95/2876.31 c #Conflicts: 1316000 | #Constraints: 191186 2868.95/2876.31 c #Conflicts: 1317000 | #Constraints: 192186 2868.95/2876.31 c #Conflicts: 1318000 | #Constraints: 193186 2868.95/2876.31 c #Conflicts: 1319000 | #Constraints: 194186 2868.95/2876.31 c #Conflicts: 1320000 | #Constraints: 195186 2868.95/2876.31 c #Conflicts: 1321000 | #Constraints: 196186 2868.95/2876.31 c #Conflicts: 1322000 | #Constraints: 197186 2868.95/2876.31 c #Conflicts: 1323000 | #Constraints: 198186 2868.95/2876.31 c #Conflicts: 1324000 | #Constraints: 199186 2868.95/2876.31 c #Conflicts: 1325000 | #Constraints: 200186 2868.95/2876.31 c #Conflicts: 1326000 | #Constraints: 201186 2868.95/2876.31 c #Conflicts: 1327000 | #Constraints: 202186 2868.95/2876.31 c #Conflicts: 1328000 | #Constraints: 203186 2868.95/2876.31 c #Conflicts: 1329000 | #Constraints: 204186 2868.95/2876.31 c #Conflicts: 1330000 | #Constraints: 205186 2868.95/2876.31 c #Conflicts: 1331000 | #Constraints: 206186 2868.95/2876.31 c #Conflicts: 1332000 | #Constraints: 207186 2868.95/2876.31 c #Conflicts: 1333000 | #Constraints: 208186 2868.95/2876.31 c #Conflicts: 1334000 | #Constraints: 209186 2868.95/2876.31 c #Conflicts: 1335000 | #Constraints: 210186 2868.95/2876.31 c INPROCESSING 2868.95/2876.31 c GARBAGE COLLECT 2868.95/2876.31 c rational objective -110 2961.72/2969.30 c #Conflicts: 1336000 | #Constraints: 155424 2961.72/2969.30 c #Conflicts: 1337000 | #Constraints: 156424 2961.72/2969.30 c #Conflicts: 1338000 | #Constraints: 157424 2961.72/2969.30 c #Conflicts: 1339000 | #Constraints: 158424 2961.72/2969.30 c #Conflicts: 1340000 | #Constraints: 159424 2961.72/2969.30 c #Conflicts: 1341000 | #Constraints: 160424 2961.72/2969.30 c #Conflicts: 1342000 | #Constraints: 161424 2961.72/2969.30 c #Conflicts: 1343000 | #Constraints: 162424 2961.72/2969.30 c #Conflicts: 1344000 | #Constraints: 163424 2961.72/2969.30 c #Conflicts: 1345000 | #Constraints: 164424 2961.72/2969.30 c #Conflicts: 1346000 | #Constraints: 165424 2961.72/2969.30 c #Conflicts: 1347000 | #Constraints: 166424 2961.72/2969.30 c #Conflicts: 1348000 | #Constraints: 167424 2961.72/2969.30 c #Conflicts: 1349000 | #Constraints: 168424 2961.72/2969.30 c #Conflicts: 1350000 | #Constraints: 169424 2961.72/2969.30 c #Conflicts: 1351000 | #Constraints: 170424 2961.72/2969.30 c #Conflicts: 1352000 | #Constraints: 171424 2961.72/2969.30 c #Conflicts: 1353000 | #Constraints: 172424 2961.72/2969.30 c #Conflicts: 1354000 | #Constraints: 173424 2961.72/2969.30 c #Conflicts: 1355000 | #Constraints: 174424 2961.72/2969.30 c #Conflicts: 1356000 | #Constraints: 175424 2961.72/2969.30 c #Conflicts: 1357000 | #Constraints: 176424 2961.72/2969.30 c #Conflicts: 1358000 | #Constraints: 177424 2961.72/2969.30 c #Conflicts: 1359000 | #Constraints: 178424 2961.72/2969.30 c #Conflicts: 1360000 | #Constraints: 179424 2961.72/2969.30 c #Conflicts: 1361000 | #Constraints: 180424 2961.72/2969.30 c #Conflicts: 1362000 | #Constraints: 181424 2961.72/2969.30 c #Conflicts: 1363000 | #Constraints: 182424 2961.72/2969.30 c #Conflicts: 1364000 | #Constraints: 183424 2961.72/2969.30 c #Conflicts: 1365000 | #Constraints: 184424 2961.72/2969.30 c #Conflicts: 1366000 | #Constraints: 185424 2961.72/2969.30 c INPROCESSING 2961.72/2969.30 c GARBAGE COLLECT 2961.72/2969.30 c rational objective -110 3043.23/3051.05 c #Conflicts: 1367000 | #Constraints: 142650 3043.23/3051.05 c #Conflicts: 1368000 | #Constraints: 143650 3043.23/3051.05 c #Conflicts: 1369000 | #Constraints: 144650 3043.23/3051.05 c #Conflicts: 1370000 | #Constraints: 145650 3043.23/3051.05 c #Conflicts: 1371000 | #Constraints: 146650 3043.23/3051.05 c #Conflicts: 1372000 | #Constraints: 147650 3043.23/3051.05 c #Conflicts: 1373000 | #Constraints: 148650 3043.23/3051.05 c #Conflicts: 1374000 | #Constraints: 149650 3043.23/3051.05 c #Conflicts: 1375000 | #Constraints: 150650 3043.23/3051.05 c #Conflicts: 1376000 | #Constraints: 151650 3043.23/3051.05 c #Conflicts: 1377000 | #Constraints: 152650 3043.23/3051.05 c #Conflicts: 1378000 | #Constraints: 153650 3043.23/3051.05 c #Conflicts: 1379000 | #Constraints: 154650 3043.23/3051.05 c #Conflicts: 1380000 | #Constraints: 155650 3043.23/3051.05 c #Conflicts: 1381000 | #Constraints: 156650 3043.23/3051.05 c #Conflicts: 1382000 | #Constraints: 157650 3043.23/3051.05 c #Conflicts: 1383000 | #Constraints: 158650 3043.23/3051.05 c #Conflicts: 1384000 | #Constraints: 159650 3043.23/3051.05 c #Conflicts: 1385000 | #Constraints: 160650 3043.23/3051.05 c #Conflicts: 1386000 | #Constraints: 161650 3043.23/3051.05 c #Conflicts: 1387000 | #Constraints: 162650 3043.23/3051.05 c #Conflicts: 1388000 | #Constraints: 163650 3043.23/3051.05 c #Conflicts: 1389000 | #Constraints: 164650 3043.23/3051.05 c #Conflicts: 1390000 | #Constraints: 165650 3043.23/3051.05 c #Conflicts: 1391000 | #Constraints: 166650 3043.23/3051.05 c #Conflicts: 1392000 | #Constraints: 167650 3043.23/3051.05 c #Conflicts: 1393000 | #Constraints: 168650 3043.23/3051.05 c #Conflicts: 1394000 | #Constraints: 169650 3043.23/3051.05 c #Conflicts: 1395000 | #Constraints: 170650 3043.23/3051.05 c #Conflicts: 1396000 | #Constraints: 171650 3043.23/3051.05 c #Conflicts: 1397000 | #Constraints: 172650 3043.23/3051.05 c #Conflicts: 1398000 | #Constraints: 173650 3043.23/3051.05 c INPROCESSING 3043.23/3051.05 c GARBAGE COLLECT 3043.23/3051.05 c rational objective -110 3279.95/3288.36 c #Conflicts: 1399000 | #Constraints: 136754 3279.95/3288.36 c #Conflicts: 1400000 | #Constraints: 137754 3279.95/3288.36 c #Conflicts: 1401000 | #Constraints: 138754 3279.95/3288.36 c #Conflicts: 1402000 | #Constraints: 139754 3279.95/3288.36 c #Conflicts: 1403000 | #Constraints: 140754 3279.95/3288.36 c #Conflicts: 1404000 | #Constraints: 141754 3279.95/3288.36 c #Conflicts: 1405000 | #Constraints: 142754 3279.95/3288.36 c #Conflicts: 1406000 | #Constraints: 143754 3279.95/3288.36 c #Conflicts: 1407000 | #Constraints: 144754 3279.95/3288.36 c #Conflicts: 1408000 | #Constraints: 145754 3279.95/3288.36 c #Conflicts: 1409000 | #Constraints: 146754 3279.95/3288.36 c #Conflicts: 1410000 | #Constraints: 147754 3279.95/3288.36 c #Conflicts: 1411000 | #Constraints: 148754 3279.95/3288.36 c #Conflicts: 1412000 | #Constraints: 149754 3279.95/3288.36 c #Conflicts: 1413000 | #Constraints: 150754 3279.95/3288.36 c #Conflicts: 1414000 | #Constraints: 151754 3279.95/3288.36 c #Conflicts: 1415000 | #Constraints: 152754 3279.95/3288.36 c #Conflicts: 1416000 | #Constraints: 153754 3279.95/3288.36 c #Conflicts: 1417000 | #Constraints: 154754 3279.95/3288.36 c #Conflicts: 1418000 | #Constraints: 155754 3279.95/3288.36 c #Conflicts: 1419000 | #Constraints: 156754 3279.95/3288.36 c #Conflicts: 1420000 | #Constraints: 157754 3279.95/3288.36 c #Conflicts: 1421000 | #Constraints: 158754 3279.95/3288.36 c #Conflicts: 1422000 | #Constraints: 159754 3279.95/3288.36 c #Conflicts: 1423000 | #Constraints: 160754 3279.95/3288.36 c #Conflicts: 1424000 | #Constraints: 161754 3279.95/3288.36 c #Conflicts: 1425000 | #Constraints: 162754 3279.95/3288.36 c #Conflicts: 1426000 | #Constraints: 163754 3279.95/3288.36 c #Conflicts: 1427000 | #Constraints: 164754 3279.95/3288.36 c #Conflicts: 1428000 | #Constraints: 165754 3279.95/3288.36 c #Conflicts: 1429000 | #Constraints: 166754 3279.95/3288.36 c #Conflicts: 1430000 | #Constraints: 167754 3279.95/3288.36 c #Conflicts: 1431000 | #Constraints: 168754 3279.95/3288.36 c #Conflicts: 1432000 | #Constraints: 169754 3279.95/3288.36 c #Conflicts: 1433000 | #Constraints: 170754 3279.95/3288.36 c #Conflicts: 1434000 | #Constraints: 171754 3279.95/3288.36 c #Conflicts: 1435000 | #Constraints: 172754 3279.95/3288.36 c #Conflicts: 1436000 | #Constraints: 173754 3279.95/3288.36 c #Conflicts: 1437000 | #Constraints: 174754 3279.95/3288.36 c #Conflicts: 1438000 | #Constraints: 175754 3279.95/3288.36 c #Conflicts: 1439000 | #Constraints: 176754 3279.95/3288.36 c #Conflicts: 1440000 | #Constraints: 177754 3279.95/3288.36 c #Conflicts: 1441000 | #Constraints: 178754 3279.95/3288.36 c #Conflicts: 1442000 | #Constraints: 179754 3279.95/3288.36 c #Conflicts: 1443000 | #Constraints: 180754 3279.95/3288.36 c #Conflicts: 1444000 | #Constraints: 181754 3279.95/3288.36 c #Conflicts: 1445000 | #Constraints: 182754 3279.95/3288.36 c #Conflicts: 1446000 | #Constraints: 183754 3279.95/3288.36 c #Conflicts: 1447000 | #Constraints: 184754 3279.95/3288.36 c #Conflicts: 1448000 | #Constraints: 185754 3279.95/3288.36 c #Conflicts: 1449000 | #Constraints: 186754 3279.95/3288.36 c #Conflicts: 1450000 | #Constraints: 187754 3279.95/3288.36 c #Conflicts: 1451000 | #Constraints: 188754 3279.95/3288.36 c #Conflicts: 1452000 | #Constraints: 189754 3279.95/3288.36 c #Conflicts: 1453000 | #Constraints: 190754 3279.95/3288.36 c #Conflicts: 1454000 | #Constraints: 191754 3279.95/3288.36 c #Conflicts: 1455000 | #Constraints: 192754 3279.95/3288.36 c #Conflicts: 1456000 | #Constraints: 193754 3279.95/3288.36 c #Conflicts: 1457000 | #Constraints: 194754 3279.95/3288.36 c #Conflicts: 1458000 | #Constraints: 195754 3279.95/3288.36 c #Conflicts: 1459000 | #Constraints: 196754 3279.95/3288.36 c #Conflicts: 1460000 | #Constraints: 197754 3279.95/3288.36 c #Conflicts: 1461000 | #Constraints: 198754 3279.95/3288.36 c #Conflicts: 1462000 | #Constraints: 199754 3279.95/3288.36 c #Conflicts: 1463000 | #Constraints: 200754 3279.95/3288.36 c #Conflicts: 1464000 | #Constraints: 201754 3279.95/3288.36 c #Conflicts: 1465000 | #Constraints: 202754 3279.95/3288.36 c #Conflicts: 1466000 | #Constraints: 203754 3279.95/3288.36 c #Conflicts: 1467000 | #Constraints: 204754 3279.95/3288.36 c #Conflicts: 1468000 | #Constraints: 205754 3279.95/3288.36 c #Conflicts: 1469000 | #Constraints: 206754 3279.95/3288.36 c #Conflicts: 1470000 | #Constraints: 207754 3279.95/3288.36 c #Conflicts: 1471000 | #Constraints: 208754 3279.95/3288.36 c #Conflicts: 1472000 | #Constraints: 209754 3279.95/3288.36 c #Conflicts: 1473000 | #Constraints: 210754 3279.95/3288.36 c #Conflicts: 1474000 | #Constraints: 211754 3279.95/3288.36 c #Conflicts: 1475000 | #Constraints: 212754 3279.95/3288.36 c #Conflicts: 1476000 | #Constraints: 213754 3279.95/3288.36 c #Conflicts: 1477000 | #Constraints: 214754 3286.83/3295.24 c #Conflicts: 1478000 | #Constraints: 215754 3286.83/3295.24 c INPROCESSING 3286.83/3295.24 c GARBAGE COLLECT 3286.83/3295.24 c rational objective -110 3418.01/3426.79 c #Conflicts: 1479000 | #Constraints: 157852 3418.01/3426.79 c #Conflicts: 1480000 | #Constraints: 158852 3418.01/3426.79 c #Conflicts: 1481000 | #Constraints: 159852 3418.01/3426.79 c #Conflicts: 1482000 | #Constraints: 160852 3418.01/3426.79 c #Conflicts: 1483000 | #Constraints: 161852 3418.01/3426.79 c #Conflicts: 1484000 | #Constraints: 162852 3418.01/3426.79 c #Conflicts: 1485000 | #Constraints: 163852 3418.01/3426.79 c #Conflicts: 1486000 | #Constraints: 164852 3418.01/3426.79 c #Conflicts: 1487000 | #Constraints: 165852 3418.01/3426.79 c #Conflicts: 1488000 | #Constraints: 166852 3418.01/3426.79 c #Conflicts: 1489000 | #Constraints: 167852 3418.01/3426.79 c #Conflicts: 1490000 | #Constraints: 168852 3418.01/3426.79 c #Conflicts: 1491000 | #Constraints: 169852 3418.01/3426.79 c #Conflicts: 1492000 | #Constraints: 170852 3418.01/3426.79 c #Conflicts: 1493000 | #Constraints: 171852 3418.01/3426.79 c #Conflicts: 1494000 | #Constraints: 172852 3418.01/3426.79 c #Conflicts: 1495000 | #Constraints: 173852 3418.01/3426.79 c #Conflicts: 1496000 | #Constraints: 174852 3418.01/3426.79 c #Conflicts: 1497000 | #Constraints: 175852 3418.01/3426.79 c #Conflicts: 1498000 | #Constraints: 176852 3418.01/3426.79 c #Conflicts: 1499000 | #Constraints: 177852 3418.01/3426.79 c #Conflicts: 1500000 | #Constraints: 178852 3418.01/3426.79 c #Conflicts: 1501000 | #Constraints: 179852 3418.01/3426.79 c #Conflicts: 1502000 | #Constraints: 180852 3418.01/3426.79 c #Conflicts: 1503000 | #Constraints: 181852 3418.01/3426.79 c #Conflicts: 1504000 | #Constraints: 182852 3418.01/3426.79 c #Conflicts: 1505000 | #Constraints: 183852 3418.01/3426.79 c #Conflicts: 1506000 | #Constraints: 184852 3418.01/3426.79 c #Conflicts: 1507000 | #Constraints: 185852 3418.01/3426.79 c #Conflicts: 1508000 | #Constraints: 186852 3418.01/3426.79 c #Conflicts: 1509000 | #Constraints: 187852 3418.01/3426.79 c #Conflicts: 1510000 | #Constraints: 188852 3418.01/3426.79 c #Conflicts: 1511000 | #Constraints: 189852 3418.01/3426.79 c #Conflicts: 1512000 | #Constraints: 190852 3418.01/3426.79 c INPROCESSING 3418.01/3426.79 c GARBAGE COLLECT 3418.01/3426.79 c rational objective -110 3519.56/3528.56 c #Conflicts: 1513000 | #Constraints: 145752 3519.56/3528.56 c #Conflicts: 1514000 | #Constraints: 146752 3519.56/3528.56 c #Conflicts: 1515000 | #Constraints: 147752 3519.56/3528.56 c #Conflicts: 1516000 | #Constraints: 148752 3519.56/3528.56 c #Conflicts: 1517000 | #Constraints: 149752 3519.56/3528.56 c #Conflicts: 1518000 | #Constraints: 150752 3519.56/3528.56 c #Conflicts: 1519000 | #Constraints: 151752 3519.56/3528.56 c #Conflicts: 1520000 | #Constraints: 152752 3519.56/3528.56 c #Conflicts: 1521000 | #Constraints: 153752 3519.56/3528.56 c #Conflicts: 1522000 | #Constraints: 154752 3519.56/3528.56 c #Conflicts: 1523000 | #Constraints: 155752 3519.56/3528.56 c #Conflicts: 1524000 | #Constraints: 156752 3519.56/3528.56 c #Conflicts: 1525000 | #Constraints: 157752 3519.56/3528.56 c #Conflicts: 1526000 | #Constraints: 158752 3519.56/3528.56 c #Conflicts: 1527000 | #Constraints: 159752 3519.56/3528.56 c #Conflicts: 1528000 | #Constraints: 160752 3519.56/3528.56 c #Conflicts: 1529000 | #Constraints: 161752 3519.56/3528.56 c #Conflicts: 1530000 | #Constraints: 162752 3519.56/3528.56 c #Conflicts: 1531000 | #Constraints: 163752 3519.56/3528.56 c #Conflicts: 1532000 | #Constraints: 164752 3519.56/3528.56 c #Conflicts: 1533000 | #Constraints: 165752 3519.56/3528.56 c #Conflicts: 1534000 | #Constraints: 166752 3519.56/3528.56 c #Conflicts: 1535000 | #Constraints: 167752 3519.56/3528.56 c #Conflicts: 1536000 | #Constraints: 168752 3519.56/3528.56 c #Conflicts: 1537000 | #Constraints: 169752 3519.56/3528.56 c #Conflicts: 1538000 | #Constraints: 170752 3519.56/3528.56 c #Conflicts: 1539000 | #Constraints: 171752 3519.56/3528.56 c #Conflicts: 1540000 | #Constraints: 172752 3519.56/3528.56 c #Conflicts: 1541000 | #Constraints: 173752 3519.56/3528.56 c #Conflicts: 1542000 | #Constraints: 174752 3519.56/3528.56 c #Conflicts: 1543000 | #Constraints: 175752 3519.56/3528.56 c #Conflicts: 1544000 | #Constraints: 176752 3519.56/3528.56 c #Conflicts: 1545000 | #Constraints: 177752 3519.56/3528.56 c INPROCESSING 3519.56/3528.56 c GARBAGE COLLECT 3519.56/3528.56 c rational objective -110 3600.06/3609.20 c #Conflicts: 1546000 | #Constraints: 138967 3600.06/3609.20 c #Conflicts: 1547000 | #Constraints: 139967 3600.06/3609.20 c #Conflicts: 1548000 | #Constraints: 140967 3600.06/3609.20 c #Conflicts: 1549000 | #Constraints: 141967 3600.06/3609.20 c #Conflicts: 1550000 | #Constraints: 142967 3600.06/3609.20 c #Conflicts: 1551000 | #Constraints: 143967 3600.06/3609.20 c #Conflicts: 1552000 | #Constraints: 144967 3600.06/3609.20 c #Conflicts: 1553000 | #Constraints: 145967 3600.06/3609.20 c #Conflicts: 1554000 | #Constraints: 146967 3600.06/3609.20 c #Conflicts: 1555000 | #Constraints: 147967 3600.06/3609.20 c #Conflicts: 1556000 | #Constraints: 148967 3600.06/3609.20 c #Conflicts: 1557000 | #Constraints: 149967 3600.06/3609.20 c #Conflicts: 1558000 | #Constraints: 150967 3600.06/3609.20 c #Conflicts: 1559000 | #Constraints: 151967 3600.06/3609.20 c #Conflicts: 1560000 | #Constraints: 152967 3600.06/3609.20 c #Conflicts: 1561000 | #Constraints: 153967 3600.06/3609.20 c #Conflicts: 1562000 | #Constraints: 154967 3600.06/3609.20 c #Conflicts: 1563000 | #Constraints: 155967 3600.06/3609.20 c #Conflicts: 1564000 | #Constraints: 156967 3600.06/3609.20 c #Conflicts: 1565000 | #Constraints: 157967 3600.06/3609.20 c #Conflicts: 1566000 | #Constraints: 158967 3600.06/3609.20 c #Conflicts: 1567000 | #Constraints: 159967 3600.06/3609.20 c #Conflicts: 1568000 | #Constraints: 160967 3600.06/3609.20 c #Conflicts: 1569000 | #Constraints: 161967 3600.06/3609.20 c #Conflicts: 1570000 | #Constraints: 162967 3600.06/3609.20 c #Conflicts: 1571000 | #Constraints: 163967 3600.06/3609.20 c #Conflicts: 1572000 | #Constraints: 164967 3600.06/3609.20 c #Conflicts: 1573000 | #Constraints: 165967 3600.06/3609.20 c #Conflicts: 1574000 | #Constraints: 166967 3600.06/3609.20 c #Conflicts: 1575000 | #Constraints: 167967 3600.06/3609.20 c #Conflicts: 1576000 | #Constraints: 168967 3600.06/3609.20 c Program interrupted by user. 3600.06/3609.20 c cpu time 3582.38 s 3600.06/3609.20 c deterministic time 335756799341 3.36e+11 3600.06/3609.20 c optimization time 80.4469 s 3600.06/3609.20 c total solve time 3501.72 s 3600.06/3609.20 c core-guided solve time 2912.33 s 3600.06/3609.20 c propagation time 3327.69 s 3600.06/3609.20 c conflict analysis time 229.489 s 3600.06/3609.20 c propagations 288997936 3600.06/3609.20 c resolve steps 25942690 3600.06/3609.20 c decisions 4185526 3600.06/3609.20 c conflicts 1576341 3600.06/3609.20 c restarts 3068 3600.06/3609.20 c inprocessing phases 55 3600.06/3609.20 c input clauses 95923 3600.06/3609.20 c input cardinalities 2357 3600.06/3609.20 c input general constraints 1154 3600.06/3609.20 c input average constraint length 17.38 3600.06/3609.20 c input average constraint degree 7.84 3600.06/3609.20 c learned clauses 1227267 3600.06/3609.20 c learned cardinalities 48927 3600.06/3609.20 c learned general constraints 307262 3600.06/3609.20 c learned average constraint length 220.62 3600.06/3609.20 c learned average constraint degree 4937402.75 3600.06/3609.20 c watched constraints 300854 3600.06/3609.20 c counting constraints 7562 3600.06/3609.20 c gcd simplifications 45542 3600.06/3609.20 c detected cardinalities 12695 3600.06/3609.20 c weakened non-implied lits 11227220 3600.06/3609.20 c weakened non-implying lits 100892 3600.06/3609.20 c original variables 1272 3600.06/3609.20 c clausal propagations 206718728 3600.06/3609.20 c cardinality propagations 29358836 3600.06/3609.20 c watched propagations 12117051 3600.06/3609.20 c counting propagations 39152816 3600.06/3609.20 c watch lookups 33473481631 3600.06/3609.20 c watch backjump lookups 23875934180 3600.06/3609.20 c watch checks 267877233557 3600.06/3609.20 c propagation checks 8985420752 3600.06/3609.20 c constraint additions 955207955 3600.06/3609.20 c trail pops 294752244 3600.06/3609.20 c formula constraints 94227 3600.06/3609.20 c learned constraints 1569218 3600.06/3609.20 c bound constraints 1197 3600.06/3609.20 c core-guided constraints 4010 3600.06/3609.20 c encountered formula constraints 2683714 3600.06/3609.20 c encountered learned constraints 18858943 3600.06/3609.20 c encountered bound constraints 410 3600.06/3609.20 c encountered core-guided constraints 5895206 3600.06/3609.20 c LP total time 1506.23 s 3600.06/3609.20 c LP solve time 1479.08 s 3600.06/3609.20 c LP constraints added 94227 3600.06/3609.20 c LP constraints removed 0 3600.06/3609.20 c LP pivots internal 1576753 3600.06/3609.20 c LP pivots root 8806 3600.06/3609.20 c LP calls 151429 3600.06/3609.20 c LP optimalities 144309 3600.06/3609.20 c LP no pivot count 110743 3600.06/3609.20 c LP infeasibilities 7119 3600.06/3609.20 c LP valid Farkas constraints 7119 3600.06/3609.20 c LP learned Farkas constraints 7119 3600.06/3609.20 c LP basis resets 0 3600.06/3609.20 c LP cycling count 0 3600.06/3609.20 c LP singular count 0 3600.06/3609.20 c LP no primal count 0 3600.06/3609.20 c LP no farkas count 0 3600.06/3609.20 c LP other issue count 0 3600.06/3609.20 c LP Gomory cuts 0 3600.06/3609.20 c LP learned cuts 0 3600.06/3609.20 c LP deleted cuts 0 3600.06/3609.20 c LP encountered Gomory constraints 0 3600.06/3609.20 c LP encountered Farkas constraints 58868 3600.06/3609.20 c LP encountered learned Farkas constraints 14771 3600.06/3609.20 c CG auxiliary variables introduced 1728 3600.06/3609.20 c CG solutions found 35 3600.06/3609.20 c CG cores constructed 1162 3600.06/3609.20 c CG core cardinality constraints returned 0 3600.06/3609.20 c CG unit cores 0 3600.06/3609.20 c CG single cores 1162 3600.06/3609.20 c CG blocks removed during cardinality reduction 0 3600.06/3609.20 c CG first core best 0 3600.06/3609.20 c CG decision core best 0 3600.06/3609.20 c CG core reduction tie 0 3600.06/3609.20 c CG core degree average 1.00 3600.06/3609.20 c CG core slack average 1.54 3600.06/3609.20 s SATISFIABLE 3600.06/3609.20 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: 63968 MiB (61757 MiB free) memory of node 1: 64473 MiB (61970 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4460238-1722064836/watcher-4460238-1722064836 -o /tmp/evaluation-result-4460238-1722064836/solver-4460238-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323091 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460238-1722064836 --lp-cut-gomory=0 HOME/instance-4460238-1722064836.opb running on 2 cores: 5,7 CPU governors: performance: 5 7 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 Starting watchdog thread solver pid=323105, runsolver pid=323102 Current StackSize limit: 8192 KiB [startup+0.100079 s]* /proc/loadavg: 0.08 0.08 0.09 2/238 323106 /proc/meminfo: memFree=126692580/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=39000 memory=10712 CPUtime=0.09 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 1020 0 0 0 7 2 0 0 20 0 1 0 43012644 39936000 2678 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 9750 2678 1396 992 0 1608 0 Current children cumulated CPU time: 0.09 s Current children cumulated vsize: 39000 KiB Current children cumulated memory: 10712 KiB [startup+0.205266 s]* /proc/loadavg: 0.08 0.08 0.09 4/242 323117 /proc/meminfo: memFree=126681836/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=40576 memory=12180 CPUtime=0.2 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 1441 0 0 0 15 5 0 0 20 0 1 0 43012644 41549824 3045 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 8404994 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 10144 3045 1396 992 0 2002 0 Current children cumulated CPU time: 0.2 s Current children cumulated vsize: 40576 KiB Current children cumulated memory: 12180 KiB [startup+0.305233 s]* /proc/loadavg: 0.08 0.08 0.09 4/250 323136 /proc/meminfo: memFree=126606520/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=94536 memory=66948 CPUtime=0.3 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 11419 0 0 0 23 7 0 0 20 0 1 0 43012644 96804864 16671 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 23634 16671 1746 992 0 15492 0 Current children cumulated CPU time: 0.3 s Current children cumulated vsize: 94536 KiB Current children cumulated memory: 66948 KiB [startup+0.700169 s] /proc/loadavg: 0.08 0.08 0.09 6/256 323151 /proc/meminfo: memFree=126573496/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=81660 memory=55072 CPUtime=0.68 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 15198 0 0 0 60 8 0 0 20 0 1 0 43012644 83619840 13768 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 20415 13768 1746 992 0 12273 0 Current children cumulated CPU time: 0.68 s Current children cumulated vsize: 81660 KiB Current children cumulated memory: 55072 KiB [startup+1.50024 s] /proc/loadavg: 0.08 0.08 0.09 5/256 323151 /proc/meminfo: memFree=126541424/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=89448 memory=59612 CPUtime=1.48 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 17317 0 0 0 129 19 0 0 20 0 1 0 43012644 91594752 14903 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 22362 14903 1842 992 0 14220 0 Current children cumulated CPU time: 1.48 s Current children cumulated vsize: 89448 KiB Current children cumulated memory: 59612 KiB [startup+3.10562 s] /proc/loadavg: 0.08 0.08 0.09 5/256 323151 /proc/meminfo: memFree=126481068/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=98692 memory=71676 CPUtime=3.09 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 19786 0 0 0 258 51 0 0 20 0 1 0 43012644 101060608 17919 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 24673 17919 1842 992 0 16531 0 Current children cumulated CPU time: 3.09 s Current children cumulated vsize: 98692 KiB Current children cumulated memory: 71676 KiB [startup+6.3002 s] /proc/loadavg: 0.39 0.15 0.11 5/259 323154 /proc/meminfo: memFree=126423232/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=118372 memory=86648 CPUtime=6.27 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 20885 0 0 0 569 58 0 0 20 0 1 0 43012644 121212928 21662 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 29593 21662 1922 992 0 21451 0 Current children cumulated CPU time: 6.27 s Current children cumulated vsize: 118372 KiB Current children cumulated memory: 86648 KiB [startup+12.7002 s] /proc/loadavg: 0.76 0.23 0.14 6/259 323156 /proc/meminfo: memFree=126345324/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=120672 memory=91312 CPUtime=12.65 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 21590 0 0 0 1189 76 0 0 20 0 1 0 43012644 123568128 22828 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 30168 22828 1922 992 0 22026 0 Current children cumulated CPU time: 12.65 s Current children cumulated vsize: 120672 KiB Current children cumulated memory: 91312 KiB [startup+25.5002 s] /proc/loadavg: 1.48 0.41 0.20 6/259 323299 /proc/meminfo: memFree=126326056/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=121036 memory=91832 CPUtime=25.41 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 21693 0 0 0 2459 82 0 0 20 0 1 0 43012644 123940864 22958 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 30259 22958 1922 992 0 22117 0 Current children cumulated CPU time: 25.41 s Current children cumulated vsize: 121036 KiB Current children cumulated memory: 91832 KiB [startup+51.1059 s] /proc/loadavg: 2.34 0.70 0.30 5/259 323304 /proc/meminfo: memFree=126140204/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=121036 memory=91832 CPUtime=50.93 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 21702 0 0 0 5003 90 0 0 20 0 1 0 43012644 123940864 22958 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 30259 22958 1922 992 0 22117 0 Current children cumulated CPU time: 50.93 s Current children cumulated vsize: 121036 KiB Current children cumulated memory: 91832 KiB [startup+102.3 s] /proc/loadavg: 3.35 1.23 0.50 5/259 323314 /proc/meminfo: memFree=125870020/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=122416 memory=93112 CPUtime=101.97 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 22051 0 0 0 10080 117 0 0 20 0 1 0 43012644 125353984 23278 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 30604 23278 1922 992 0 22462 0 Current children cumulated CPU time: 101.97 s Current children cumulated vsize: 122416 KiB Current children cumulated memory: 93112 KiB [startup+162.3 s] /proc/loadavg: 3.86 1.77 0.73 5/259 323325 /proc/meminfo: memFree=125474976/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=232348 memory=191768 CPUtime=161.78 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 25882 0 0 0 16008 170 0 0 20 0 1 0 43012644 237924352 47942 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 58087 47942 1922 992 0 49945 0 Current children cumulated CPU time: 161.78 s Current children cumulated vsize: 232348 KiB Current children cumulated memory: 191768 KiB [startup+222.3 s] /proc/loadavg: 4.03 2.21 0.95 5/259 323336 /proc/meminfo: memFree=125235816/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=318228 memory=211920 CPUtime=221.6 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 27856 0 0 0 21939 221 0 0 20 0 1 0 43012644 325865472 52980 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 79557 52980 1922 992 0 71415 0 Current children cumulated CPU time: 221.6 s Current children cumulated vsize: 318228 KiB Current children cumulated memory: 211920 KiB [startup+282.3 s] /proc/loadavg: 4.09 2.56 1.16 5/259 323346 /proc/meminfo: memFree=125024920/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=319396 memory=213568 CPUtime=281.43 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 28184 0 0 0 27879 264 0 0 20 0 1 0 43012644 327061504 53392 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 79849 53392 1922 992 0 71707 0 Current children cumulated CPU time: 281.43 s Current children cumulated vsize: 319396 KiB Current children cumulated memory: 213568 KiB [startup+342.3 s] /proc/loadavg: 4.08 2.84 1.34 5/258 323740 /proc/meminfo: memFree=124839540/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=320788 memory=214744 CPUtime=341.28 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 28557 0 0 0 33821 307 0 0 20 0 1 0 43012644 328486912 53686 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 80197 53686 1922 992 0 72055 0 Current children cumulated CPU time: 341.28 s Current children cumulated vsize: 320788 KiB Current children cumulated memory: 214744 KiB [startup+402.3 s] /proc/loadavg: 4.13 3.09 1.52 5/258 323751 /proc/meminfo: memFree=124623848/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=321852 memory=216972 CPUtime=401.14 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 28844 0 0 0 39774 340 0 0 20 0 1 0 43012644 329576448 54243 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 80463 54243 1922 992 0 72321 0 Current children cumulated CPU time: 401.14 s Current children cumulated vsize: 321852 KiB Current children cumulated memory: 216972 KiB [startup+462.3 s] /proc/loadavg: 4.14 3.29 1.69 5/258 323761 /proc/meminfo: memFree=124444504/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=321852 memory=216972 CPUtime=461 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 28880 0 0 0 45728 372 0 0 20 0 1 0 43012644 329576448 54243 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 80463 54243 1922 992 0 72321 0 ################ # More data... # ################ Current children cumulated memory: 562944 KiB [startup+2862.3 s] /proc/loadavg: 4.13 4.15 4.01 5/257 324996 /proc/meminfo: memFree=119161448/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=734808 memory=562944 CPUtime=2854.98 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50028 0 0 0 284036 1462 0 0 20 0 1 0 43012644 752443392 140736 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183702 140736 1922 992 0 175560 0 Current children cumulated CPU time: 2854.98 s Current children cumulated vsize: 734808 KiB Current children cumulated memory: 562944 KiB [startup+2922.3 s] /proc/loadavg: 4.08 4.13 4.01 5/257 325006 /proc/meminfo: memFree=118993784/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563840 CPUtime=2914.83 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50328 0 0 0 289992 1491 0 0 20 0 1 0 43012644 753360896 140960 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140960 1922 992 0 175784 0 Current children cumulated CPU time: 2914.83 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563840 KiB [startup+2982.3 s] /proc/loadavg: 4.14 4.14 4.01 6/258 325018 /proc/meminfo: memFree=118859816/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563864 CPUtime=2974.68 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50482 0 0 0 295952 1516 0 0 20 0 1 0 43012644 753360896 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140966 1922 992 0 175784 0 Current children cumulated CPU time: 2974.68 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563864 KiB [startup+3042.3 s] /proc/loadavg: 4.11 4.12 4.01 6/260 325036 /proc/meminfo: memFree=119711696/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563864 CPUtime=3034.54 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50561 0 0 0 301912 1542 0 0 20 0 1 0 43012644 753360896 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140966 1922 992 0 175784 0 Current children cumulated CPU time: 3034.54 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563864 KiB [startup+3102.3 s] /proc/loadavg: 4.08 4.11 4.01 5/260 325046 /proc/meminfo: memFree=119533528/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563864 CPUtime=3094.39 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50708 0 0 0 307864 1575 0 0 20 0 1 0 43012644 753360896 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140966 1922 992 0 175784 0 Current children cumulated CPU time: 3094.39 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563864 KiB [startup+3162.3 s] /proc/loadavg: 4.09 4.11 4.01 5/260 325056 /proc/meminfo: memFree=119431408/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563864 CPUtime=3154.25 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50789 0 0 0 313823 1602 0 0 20 0 1 0 43012644 753360896 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140966 1922 992 0 175784 0 Current children cumulated CPU time: 3154.25 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563864 KiB [startup+3222.3 s] /proc/loadavg: 4.12 4.12 4.02 5/260 325067 /proc/meminfo: memFree=119366108/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735704 memory=563864 CPUtime=3214.1 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 50951 0 0 0 319788 1622 0 0 20 0 1 0 43012644 753360896 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183926 140966 1922 992 0 175784 0 Current children cumulated CPU time: 3214.1 s Current children cumulated vsize: 735704 KiB Current children cumulated memory: 563864 KiB [startup+3282.3 s] /proc/loadavg: 4.21 4.14 4.03 6/259 325078 /proc/meminfo: memFree=119296452/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=735920 memory=563864 CPUtime=3273.96 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 51042 0 0 0 325757 1639 0 0 20 0 1 0 43012644 753582080 140966 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 183980 140966 1922 992 0 175838 0 Current children cumulated CPU time: 3273.96 s Current children cumulated vsize: 735920 KiB Current children cumulated memory: 563864 KiB [startup+3342.3 s] /proc/loadavg: 4.08 4.11 4.02 5/256 325088 /proc/meminfo: memFree=119226620/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3333.82 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 51632 0 0 0 331722 1660 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3333.82 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB [startup+3402.3 s] /proc/loadavg: 4.30 4.19 4.06 5/257 325101 /proc/meminfo: memFree=119161168/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3393.67 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 51713 0 0 0 337687 1680 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3393.67 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB [startup+3462.3 s] /proc/loadavg: 4.21 4.18 4.06 6/257 325112 /proc/meminfo: memFree=119100344/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3453.52 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 51865 0 0 0 343648 1704 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3453.52 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB [startup+3522.3 s] /proc/loadavg: 4.13 4.16 4.06 5/257 325122 /proc/meminfo: memFree=119038284/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3513.37 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 51948 0 0 0 349610 1727 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3513.37 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB [startup+3582.3 s] /proc/loadavg: 4.12 4.15 4.06 5/257 325133 /proc/meminfo: memFree=118963560/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3573.22 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 52098 0 0 0 355566 1756 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3573.22 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+3609.2 s] /proc/loadavg: 4.14 4.15 4.07 5/259 325141 /proc/meminfo: memFree=118915720/131524600 swapFree=131057124/131071996 [pid=323105] ppid=323102 vsize=737504 memory=565640 CPUtime=3600.06 cores=5,7 /proc/323105/stat : 323105 (roundingsat) R 323102 323105 323074 0 -1 4194304 52101 0 0 0 358237 1769 0 0 20 0 1 0 43012644 755204096 141410 134679101440 4194304 8254357 140735837102832 0 0 0 0 0 25182210 0 0 0 17 5 0 0 0 0 0 9037040 9046032 19935232 140735837107035 140735837107297 140735837107297 140735837114313 0 /proc/323105/statm: 184376 141410 1922 992 0 176234 0 Current children cumulated CPU time: 3600.06 s Current children cumulated vsize: 737504 KiB Current children cumulated memory: 565640 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+3609.25 s] # the end of solver process 323105 was just reported to runsolver # Child status: 0 # cumulated CPU time of all completed processes: user=3582.38 s, system=17.6954 s Solver just ended. ??? end of watcher thread Dumping a history of the last processes samples Child status: 0 Real time (s): 3609.25 CPU time (s): 3600.08 CPU user time (s): 3582.38 CPU system time (s): 17.6954 CPU usage (%): 99.7458 Max. virtual memory (cumulated for all children) (KiB): 737504 Max. memory (cumulated for all children) (KiB): 565640 getrusage(RUSAGE_CHILDREN,...) data: user time used= 3582.38 system time used= 17.6954 maximum resident set size= 565640 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 52118 page faults= 0 swaps= 0 block input operations= 0 block output operations= 2254648 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 116 involuntary context switches= 4829 # summary of solver processes directly reported to runsolver: # pid: 323105 # total CPU time (s): 3600.08 # total CPU user time (s): 3582.38 # total CPU system time (s): 17.6954 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 6.04707 second user time and 17.7116 second system time The end
Begin job on nodeC025 at 2024-07-27 09:20:36 IDJOB=4460238 IDBENCH=146672 IDSOLVER=3086 FILE ID=nodeC025/4460238-1722064836 RUNJOBID= nodeC025-1722064836-323091 SLURM_JOB_ID= 8248094 Free space on /tmp= 890080 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-4460238-1722064836/watcher-4460238-1722064836 -o /tmp/evaluation-result-4460238-1722064836/solver-4460238-1722064836 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC025-1722064836-323091 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4460238-1722064836 --lp-cut-gomory=0 HOME/instance-4460238-1722064836.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 05a4468103b1b74e5a90bd7e67aed0d9 RANDOM SEED=425005107 nodeC025.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 : 0xb00002a cpu MHz : 3165.444 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 2770.445 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 2640.060 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3528.233 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 2352.756 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3535.736 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 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 : 0xb00002a cpu MHz : 2941.760 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 6999.51 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 : 0xb00002a cpu MHz : 3262.744 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 tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp 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 : 7005.49 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 126698512 kB MemAvailable: 129703084 kB Buffers: 373352 kB Cached: 3430676 kB SwapCached: 236 kB Active: 2590104 kB Inactive: 1572440 kB Active(anon): 4296 kB Inactive(anon): 407092 kB Active(file): 2585808 kB Inactive(file): 1165348 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131057124 kB Dirty: 8288 kB Writeback: 0 kB AnonPages: 358620 kB Mapped: 111728 kB Shmem: 52872 kB KReclaimable: 186480 kB Slab: 312200 kB SReclaimable: 186480 kB SUnreclaim: 125720 kB KernelStack: 3716 kB PageTables: 9220 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 698212 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 17376 kB HardwareCorrupted: 0 kB AnonHugePages: 231424 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: 379604 kB DirectMap2M: 40288256 kB DirectMap1G: 95420416 kB Free space on /tmp at the end= 890052 MiB End job on nodeC025 at 2024-07-27 10:20:45