| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| RoundingSat log (3) | ? (TO) | 3602.07 | 3611.31 |
| Name | PB24/normalized-PB11/OPT-LIN/ kullmann/normalized-mul_8_11_shg.opb |
| MD5SUM | 1fbef458f61b2221fcf0474a376c4852 |
| 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 | 64 |
| Best CPU time to get the best result obtained on this benchmark | 3558.02 |
| 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 | 15008 |
| Total number of constraints | 65280 |
| Number of constraints which are clauses | 65280 |
| 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 | 65 |
| Maximum length of a constraint | 90 |
| Number of terms in the objective function | 15008 |
| 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 | 15008 |
| Number of bits of the sum of numbers in the objective function | 14 |
| Biggest number in a constraint | 1 |
| Number of bits of the biggest number in a constraint | 1 |
| Biggest sum of numbers in a constraint | 15008 |
| Number of bits of the biggest sum of numbers | 14 |
| 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 2.28/2.33 c #variables 15008 #constraints 65280 73.47/73.78 c bounds - >= 0 @ 2.17332 73.47/73.78 c bounds 1408 >= 0 @ 12.6369 73.47/73.78 c bounds 1408 >= 1 @ 12.6417 73.47/73.78 c bounds 1408 >= 2 @ 12.6447 73.47/73.78 c bounds 1408 >= 3 @ 12.6494 73.47/73.78 c bounds 1408 >= 4 @ 12.6561 73.47/73.78 c bounds 1408 >= 5 @ 12.6581 73.47/73.78 c bounds 1408 >= 6 @ 12.6594 73.47/73.78 c bounds 1408 >= 7 @ 12.6638 73.47/73.78 c bounds 1408 >= 8 @ 12.6693 73.47/73.78 c bounds 1408 >= 9 @ 12.6746 73.47/73.78 c bounds 1408 >= 10 @ 12.6811 73.47/73.78 c bounds 1408 >= 11 @ 12.687 73.47/73.78 c bounds 1408 >= 12 @ 12.6905 73.47/73.78 c bounds 1408 >= 13 @ 12.6929 73.47/73.78 c bounds 1408 >= 14 @ 12.6973 73.47/73.78 c bounds 1408 >= 15 @ 12.7041 73.47/73.78 c bounds 1408 >= 16 @ 12.7098 73.47/73.78 c bounds 1408 >= 17 @ 12.717 73.47/73.78 c bounds 1408 >= 18 @ 12.722 73.47/73.78 c bounds 1408 >= 19 @ 12.7282 73.47/73.78 c bounds 1408 >= 20 @ 12.7349 73.47/73.78 c bounds 1408 >= 21 @ 12.7407 73.47/73.78 c bounds 1408 >= 22 @ 12.7458 73.47/73.78 c bounds 1408 >= 23 @ 12.7568 73.47/73.78 c bounds 1408 >= 24 @ 12.7653 73.47/73.78 c bounds 1408 >= 25 @ 12.775 73.47/73.78 c bounds 1408 >= 26 @ 12.7865 73.47/73.78 c bounds 1408 >= 27 @ 12.8077 73.47/73.78 c bounds 1407 >= 27 @ 12.9701 73.47/73.78 c bounds 1407 >= 28 @ 13.042 73.47/73.78 c bounds 1407 >= 29 @ 13.6749 73.47/73.78 c bounds 1406 >= 29 @ 13.7665 73.47/73.78 c bounds 1405 >= 29 @ 13.7966 73.47/73.78 c bounds 1404 >= 29 @ 13.8187 73.47/73.78 c bounds 1403 >= 29 @ 13.8387 73.47/73.78 c bounds 1402 >= 29 @ 13.8601 73.47/73.78 c bounds 1401 >= 29 @ 13.8794 73.47/73.78 c bounds 1400 >= 29 @ 13.8959 73.47/73.78 c bounds 1399 >= 29 @ 13.9166 73.47/73.78 c bounds 1398 >= 29 @ 13.9329 73.47/73.78 c bounds 1397 >= 29 @ 13.9534 73.47/73.78 c bounds 1396 >= 29 @ 13.9682 73.47/73.78 c bounds 1395 >= 29 @ 13.9986 73.47/73.78 c bounds 1394 >= 29 @ 14.0234 73.47/73.78 c bounds 1393 >= 29 @ 14.0445 73.47/73.78 c bounds 1392 >= 29 @ 14.0685 73.47/73.78 c bounds 1391 >= 29 @ 14.0846 73.47/73.78 c bounds 1390 >= 29 @ 14.1005 73.47/73.78 c bounds 1389 >= 29 @ 14.1146 73.47/73.78 c bounds 1388 >= 29 @ 14.129 73.47/73.78 c bounds 1387 >= 29 @ 14.1618 73.47/73.78 c bounds 1386 >= 29 @ 14.1822 73.47/73.78 c bounds 1385 >= 29 @ 14.2129 73.47/73.78 c bounds 1384 >= 29 @ 14.2291 73.47/73.78 c bounds 1383 >= 29 @ 14.2499 73.47/73.78 c bounds 1382 >= 29 @ 14.2927 73.47/73.78 c bounds 1381 >= 29 @ 14.3227 73.47/73.78 c bounds 1380 >= 29 @ 14.3448 73.47/73.78 c bounds 1379 >= 29 @ 14.3664 73.47/73.78 c bounds 1378 >= 29 @ 14.3887 73.47/73.78 c bounds 1377 >= 29 @ 14.4149 73.47/73.78 c bounds 1376 >= 29 @ 14.4377 73.47/73.78 c bounds 1375 >= 29 @ 14.4627 73.47/73.78 c bounds 1374 >= 29 @ 14.4877 73.47/73.78 c bounds 1373 >= 29 @ 14.5083 73.47/73.78 c bounds 1372 >= 29 @ 14.5327 73.47/73.78 c bounds 1371 >= 29 @ 14.5591 73.47/73.78 c bounds 1370 >= 29 @ 14.6104 73.47/73.78 c bounds 1369 >= 29 @ 14.6416 73.47/73.78 c bounds 1368 >= 29 @ 14.7405 73.47/73.78 c bounds 1367 >= 29 @ 14.8022 73.47/73.78 c bounds 1366 >= 29 @ 14.8885 73.47/73.78 c bounds 1365 >= 29 @ 14.9342 73.47/73.78 c bounds 1364 >= 29 @ 14.986 73.47/73.78 c bounds 1363 >= 29 @ 15.0129 73.47/73.78 c bounds 1362 >= 29 @ 15.0367 73.47/73.78 c bounds 1361 >= 29 @ 15.0591 73.47/73.78 c #Conflicts: 1000 | #Constraints: 66489 73.47/73.78 c bounds 1360 >= 29 @ 15.087 73.47/73.78 c bounds 1359 >= 29 @ 15.1063 73.47/73.78 c bounds 1358 >= 29 @ 15.126 73.47/73.78 c bounds 1357 >= 29 @ 15.1534 73.47/73.78 c #Conflicts: 2000 | #Constraints: 67493 73.47/73.78 c INPROCESSING 73.47/73.78 c GARBAGE COLLECT 73.47/73.78 c bounds 1356 >= 29 @ 69.894 73.47/73.78 c bounds 1355 >= 29 @ 69.9307 73.47/73.78 c bounds 1354 >= 29 @ 69.9493 73.47/73.78 c bounds 1353 >= 29 @ 69.9649 73.47/73.78 c bounds 1352 >= 29 @ 69.9975 73.47/73.78 c bounds 1351 >= 29 @ 70.0244 73.47/73.78 c bounds 1350 >= 29 @ 70.0486 73.47/73.78 c bounds 1349 >= 29 @ 70.0762 73.47/73.78 c bounds 1348 >= 29 @ 70.093 73.47/73.78 c bounds 1347 >= 29 @ 70.1171 73.47/73.78 c bounds 1346 >= 29 @ 70.138 73.47/73.78 c bounds 1345 >= 29 @ 70.1605 73.47/73.78 c bounds 1344 >= 29 @ 70.1873 73.47/73.78 c bounds 1343 >= 29 @ 70.2232 73.47/73.78 c bounds 1342 >= 29 @ 70.245 73.47/73.78 c bounds 1341 >= 29 @ 70.2659 73.47/73.78 c bounds 1340 >= 29 @ 70.2921 73.47/73.78 c bounds 1339 >= 29 @ 70.3092 73.47/73.78 c bounds 1338 >= 29 @ 70.3262 73.47/73.78 c bounds 1337 >= 29 @ 70.3402 73.47/73.78 c bounds 1336 >= 29 @ 70.3543 73.47/73.78 c bounds 1335 >= 29 @ 70.3742 73.47/73.78 c bounds 1334 >= 29 @ 70.4075 73.47/73.78 c bounds 1333 >= 29 @ 70.4296 73.47/73.78 c bounds 1332 >= 29 @ 70.4547 73.47/73.78 c bounds 1331 >= 29 @ 70.4752 73.47/73.78 c bounds 1330 >= 29 @ 70.4913 73.47/73.78 c bounds 1329 >= 29 @ 70.5046 73.47/73.78 c bounds 1328 >= 29 @ 70.514 73.47/73.78 c bounds 1327 >= 29 @ 70.5291 73.47/73.78 c bounds 1326 >= 29 @ 70.5411 73.47/73.78 c bounds 1325 >= 29 @ 70.5504 73.47/73.78 c bounds 1324 >= 29 @ 70.56 73.47/73.78 c bounds 1323 >= 29 @ 70.5756 73.47/73.78 c bounds 1322 >= 29 @ 70.5856 73.47/73.78 c bounds 1321 >= 29 @ 70.6011 73.47/73.78 c bounds 1320 >= 29 @ 70.6216 73.47/73.78 c bounds 1319 >= 29 @ 70.6363 73.47/73.78 c bounds 1318 >= 29 @ 70.652 73.47/73.78 c bounds 1317 >= 29 @ 70.6723 73.47/73.78 c bounds 1316 >= 29 @ 70.6975 73.47/73.78 c bounds 1315 >= 29 @ 70.721 73.47/73.78 c bounds 1314 >= 29 @ 70.7452 73.47/73.78 c bounds 1313 >= 29 @ 70.7663 73.47/73.78 c bounds 1312 >= 29 @ 70.7837 73.47/73.78 c bounds 1311 >= 29 @ 70.8024 73.47/73.78 c bounds 1310 >= 29 @ 70.8191 73.47/73.78 c bounds 1309 >= 29 @ 70.8306 73.47/73.78 c bounds 1308 >= 29 @ 70.8494 73.47/73.78 c bounds 1307 >= 29 @ 70.865 73.47/73.78 c bounds 1306 >= 29 @ 70.8832 73.47/73.78 c bounds 1305 >= 29 @ 70.8999 77.96/78.22 c bounds 1304 >= 29 @ 70.9165 77.96/78.22 c bounds 1303 >= 29 @ 70.9415 77.96/78.22 c bounds 1302 >= 29 @ 70.9658 77.96/78.22 c bounds 1301 >= 29 @ 70.9888 77.96/78.22 c bounds 1300 >= 29 @ 71.0126 77.96/78.22 c bounds 1299 >= 29 @ 71.0418 77.96/78.22 c bounds 1298 >= 29 @ 71.0665 77.96/78.22 c bounds 1297 >= 29 @ 71.0821 77.96/78.22 c bounds 1296 >= 29 @ 71.0988 77.96/78.22 c bounds 1295 >= 29 @ 71.1162 77.96/78.22 c bounds 1294 >= 29 @ 71.1269 77.96/78.22 c bounds 1293 >= 29 @ 71.1393 77.96/78.22 c bounds 1292 >= 29 @ 71.1545 77.96/78.22 c bounds 1291 >= 29 @ 71.1714 77.96/78.22 c bounds 1290 >= 29 @ 71.1896 77.96/78.22 c bounds 1289 >= 29 @ 71.2026 77.96/78.22 c bounds 1288 >= 29 @ 71.2196 77.96/78.22 c bounds 1287 >= 29 @ 71.2345 77.96/78.22 c bounds 1286 >= 29 @ 71.2505 77.96/78.22 c bounds 1285 >= 29 @ 71.2641 77.96/78.22 c bounds 1284 >= 29 @ 71.2753 77.96/78.22 c bounds 1283 >= 29 @ 71.291 77.96/78.22 c bounds 1282 >= 29 @ 71.3049 77.96/78.22 c bounds 1281 >= 29 @ 71.3239 77.96/78.22 c bounds 1280 >= 29 @ 71.3379 77.96/78.22 c bounds 1279 >= 29 @ 71.3585 77.96/78.22 c bounds 1278 >= 29 @ 71.374 77.96/78.22 c bounds 1277 >= 29 @ 71.3924 77.96/78.22 c bounds 1276 >= 29 @ 71.407 77.96/78.22 c bounds 1275 >= 29 @ 71.4226 77.96/78.22 c bounds 1274 >= 29 @ 71.4397 77.96/78.22 c bounds 1273 >= 29 @ 71.4545 77.96/78.22 c bounds 1272 >= 29 @ 71.4736 77.96/78.22 c bounds 1271 >= 29 @ 71.4931 77.96/78.22 c bounds 1270 >= 29 @ 71.5065 77.96/78.22 c bounds 1269 >= 29 @ 71.5217 77.96/78.22 c bounds 1268 >= 29 @ 71.5334 77.96/78.22 c bounds 1267 >= 29 @ 71.5484 77.96/78.22 c bounds 1266 >= 29 @ 71.5574 77.96/78.22 c bounds 1265 >= 29 @ 71.5733 77.96/78.22 c bounds 1264 >= 29 @ 71.587 77.96/78.22 c bounds 1263 >= 29 @ 71.6037 77.96/78.22 c bounds 1262 >= 29 @ 71.6126 77.96/78.22 c bounds 1261 >= 29 @ 71.6272 77.96/78.22 c bounds 1260 >= 29 @ 71.6461 77.96/78.22 c bounds 1259 >= 29 @ 71.6654 77.96/78.22 c bounds 1258 >= 29 @ 71.6925 77.96/78.22 c bounds 1257 >= 29 @ 71.7172 77.96/78.22 c bounds 1256 >= 29 @ 71.7387 77.96/78.22 c bounds 1255 >= 29 @ 71.7608 77.96/78.22 c bounds 1254 >= 29 @ 71.8003 77.96/78.22 c bounds 1253 >= 29 @ 71.8271 77.96/78.22 c bounds 1252 >= 29 @ 71.85 77.96/78.22 c bounds 1251 >= 29 @ 71.8718 77.96/78.22 c bounds 1250 >= 29 @ 71.888 77.96/78.22 c bounds 1249 >= 29 @ 71.9055 77.96/78.22 c bounds 1248 >= 29 @ 71.9249 77.96/78.22 c bounds 1247 >= 29 @ 71.939 77.96/78.22 c bounds 1246 >= 29 @ 71.9515 77.96/78.22 c bounds 1245 >= 29 @ 71.9694 77.96/78.22 c bounds 1244 >= 29 @ 71.9815 77.96/78.22 c bounds 1243 >= 29 @ 71.9978 77.96/78.22 c bounds 1242 >= 29 @ 72.0152 77.96/78.22 c bounds 1241 >= 29 @ 72.0323 77.96/78.22 c bounds 1240 >= 29 @ 72.0455 77.96/78.22 c bounds 1239 >= 29 @ 72.066 77.96/78.22 c bounds 1238 >= 29 @ 72.0821 77.96/78.22 c bounds 1237 >= 29 @ 72.1003 77.96/78.22 c bounds 1236 >= 29 @ 72.1121 77.96/78.22 c bounds 1235 >= 29 @ 72.124 77.96/78.22 c bounds 1234 >= 29 @ 72.1725 77.96/78.22 c bounds 1233 >= 29 @ 72.2008 77.96/78.22 c bounds 1232 >= 29 @ 72.2573 77.96/78.22 c bounds 1231 >= 29 @ 72.2772 77.96/78.22 c bounds 1230 >= 29 @ 72.3044 77.96/78.22 c bounds 1229 >= 29 @ 72.3387 77.96/78.22 c bounds 1228 >= 29 @ 72.3686 77.96/78.22 c bounds 1227 >= 29 @ 72.3948 77.96/78.22 c bounds 1226 >= 29 @ 72.4212 77.96/78.22 c bounds 1225 >= 29 @ 72.4384 77.96/78.22 c bounds 1224 >= 29 @ 72.4583 77.96/78.22 c bounds 1223 >= 29 @ 72.4764 77.96/78.22 c bounds 1222 >= 29 @ 72.4974 77.96/78.22 c bounds 1221 >= 29 @ 72.5161 77.96/78.22 c bounds 1220 >= 29 @ 72.5296 77.96/78.22 c bounds 1219 >= 29 @ 72.5495 77.96/78.22 c bounds 1218 >= 29 @ 72.5665 77.96/78.22 c bounds 1217 >= 29 @ 72.5834 77.96/78.22 c bounds 1216 >= 29 @ 72.5982 77.96/78.22 c bounds 1215 >= 29 @ 72.6315 77.96/78.22 c bounds 1214 >= 29 @ 72.6483 77.96/78.22 c bounds 1213 >= 29 @ 72.6711 77.96/78.22 c bounds 1212 >= 29 @ 72.6891 77.96/78.22 c bounds 1211 >= 29 @ 72.7051 77.96/78.22 c bounds 1210 >= 29 @ 72.728 77.96/78.22 c bounds 1209 >= 29 @ 72.7499 77.96/78.22 c bounds 1208 >= 29 @ 72.764 77.96/78.22 c bounds 1207 >= 29 @ 72.7774 77.96/78.22 c bounds 1206 >= 29 @ 72.7979 77.96/78.22 c bounds 1205 >= 29 @ 72.8211 77.96/78.22 c bounds 1204 >= 29 @ 72.841 77.96/78.22 c bounds 1203 >= 29 @ 72.856 77.96/78.22 c bounds 1202 >= 29 @ 72.8726 77.96/78.22 c bounds 1201 >= 29 @ 72.8823 77.96/78.22 c bounds 1200 >= 29 @ 72.8972 77.96/78.22 c bounds 1199 >= 29 @ 72.9166 77.96/78.22 c bounds 1198 >= 29 @ 72.9319 77.96/78.22 c bounds 1197 >= 29 @ 72.9422 77.96/78.22 c bounds 1196 >= 29 @ 72.9535 77.96/78.22 c bounds 1195 >= 29 @ 72.9731 77.96/78.22 c bounds 1194 >= 29 @ 72.9893 77.96/78.22 c bounds 1193 >= 29 @ 73.0046 77.96/78.22 c bounds 1192 >= 29 @ 73.0212 77.96/78.22 c bounds 1191 >= 29 @ 73.0348 77.96/78.22 c bounds 1190 >= 29 @ 73.0521 77.96/78.22 c bounds 1189 >= 29 @ 73.0655 77.96/78.22 c bounds 1188 >= 29 @ 73.0825 77.96/78.22 c bounds 1187 >= 29 @ 73.0963 77.96/78.22 c bounds 1186 >= 29 @ 73.1131 77.96/78.22 c bounds 1185 >= 29 @ 73.1268 77.96/78.22 c bounds 1184 >= 29 @ 73.1431 77.96/78.22 c bounds 1183 >= 29 @ 73.1583 77.96/78.22 c bounds 1182 >= 29 @ 73.1829 77.96/78.22 c bounds 1181 >= 29 @ 73.1971 77.96/78.22 c bounds 1180 >= 29 @ 73.2262 77.96/78.22 c bounds 1179 >= 29 @ 73.2669 77.96/78.22 c bounds 1178 >= 29 @ 73.2878 77.96/78.22 c bounds 1177 >= 29 @ 73.3085 77.96/78.22 c bounds 1176 >= 29 @ 73.3258 77.96/78.22 c bounds 1175 >= 29 @ 73.3446 77.96/78.22 c bounds 1174 >= 29 @ 73.3715 77.96/78.22 c bounds 1173 >= 29 @ 73.3887 77.96/78.22 c bounds 1172 >= 29 @ 73.4016 77.96/78.22 c bounds 1171 >= 29 @ 73.4145 77.96/78.22 c bounds 1170 >= 29 @ 73.4311 77.96/78.22 c bounds 1169 >= 29 @ 73.4485 77.96/78.22 c bounds 1168 >= 29 @ 73.4659 87.63/87.90 c bounds 1167 >= 29 @ 73.4795 87.63/87.90 c bounds 1166 >= 29 @ 73.4944 87.63/87.90 c bounds 1165 >= 29 @ 73.518 87.63/87.90 c bounds 1164 >= 29 @ 73.5363 87.63/87.90 c bounds 1163 >= 29 @ 73.5535 87.63/87.90 c bounds 1162 >= 29 @ 73.6088 87.63/87.90 c bounds 1161 >= 29 @ 73.6316 87.63/87.90 c bounds 1160 >= 29 @ 73.66 87.63/87.90 c bounds 1159 >= 29 @ 73.6832 87.63/87.90 c bounds 1158 >= 29 @ 73.7077 87.63/87.90 c bounds 1157 >= 29 @ 73.7285 87.63/87.90 c bounds 1156 >= 29 @ 73.7549 87.63/87.90 c bounds 1155 >= 29 @ 73.7768 87.63/87.90 c bounds 1154 >= 29 @ 73.7998 87.63/87.90 c bounds 1153 >= 29 @ 73.8224 87.63/87.90 c bounds 1152 >= 29 @ 73.8405 87.63/87.90 c bounds 1151 >= 29 @ 73.8607 87.63/87.90 c bounds 1150 >= 29 @ 73.8839 87.63/87.90 c bounds 1149 >= 29 @ 73.9105 87.63/87.90 c bounds 1148 >= 29 @ 73.9327 87.63/87.90 c bounds 1147 >= 29 @ 73.9566 87.63/87.90 c bounds 1146 >= 29 @ 73.9849 87.63/87.90 c bounds 1145 >= 29 @ 74.0123 87.63/87.90 c bounds 1144 >= 29 @ 74.0327 87.63/87.90 c bounds 1143 >= 29 @ 74.0545 87.63/87.90 c bounds 1142 >= 29 @ 74.0713 87.63/87.90 c bounds 1141 >= 29 @ 74.0919 87.63/87.90 c bounds 1140 >= 29 @ 74.1068 87.63/87.90 c bounds 1139 >= 29 @ 74.1243 87.63/87.90 c bounds 1138 >= 29 @ 74.1396 87.63/87.90 c bounds 1137 >= 29 @ 74.1541 87.63/87.90 c bounds 1136 >= 29 @ 74.1672 87.63/87.90 c bounds 1135 >= 29 @ 74.188 87.63/87.90 c bounds 1134 >= 29 @ 74.2089 87.63/87.95 c bounds 1133 >= 29 @ 74.2228 87.63/87.95 c bounds 1132 >= 29 @ 74.2433 87.63/87.95 c bounds 1131 >= 29 @ 74.2719 87.63/87.95 c bounds 1130 >= 29 @ 74.3053 87.63/87.95 c bounds 1129 >= 29 @ 74.325 87.63/87.95 c bounds 1128 >= 29 @ 74.344 87.63/87.95 c bounds 1127 >= 29 @ 74.364 87.63/87.95 c bounds 1126 >= 29 @ 74.39 87.63/87.95 c bounds 1125 >= 29 @ 74.4371 87.63/87.95 c bounds 1124 >= 29 @ 74.7194 87.63/87.95 c bounds 1123 >= 29 @ 76.0705 87.63/87.95 c bounds 1122 >= 29 @ 76.373 87.63/87.95 c bounds 1121 >= 29 @ 76.4199 87.63/87.95 c bounds 1120 >= 29 @ 76.4529 87.63/87.95 c bounds 1119 >= 29 @ 76.4811 87.63/87.95 c bounds 1118 >= 29 @ 76.5062 87.63/87.95 c bounds 1117 >= 29 @ 76.5353 87.63/87.95 c bounds 1116 >= 29 @ 76.5615 87.63/87.95 c bounds 1115 >= 29 @ 76.5864 87.63/87.95 c bounds 1114 >= 29 @ 76.6086 87.63/87.95 c bounds 1113 >= 29 @ 76.6351 87.63/87.95 c bounds 1112 >= 29 @ 76.6523 87.63/87.95 c bounds 1111 >= 29 @ 76.6768 87.63/87.95 c bounds 1110 >= 29 @ 76.6977 87.63/87.95 c bounds 1109 >= 29 @ 76.7194 87.63/87.95 c bounds 1108 >= 29 @ 76.7455 87.63/87.95 c bounds 1107 >= 29 @ 76.7681 87.63/87.95 c bounds 1106 >= 29 @ 76.7934 87.63/87.95 c #Conflicts: 3000 | #Constraints: 67724 87.63/87.95 c bounds 1106 >= 30 @ 78.4093 87.63/87.95 c bounds 1105 >= 30 @ 78.4527 87.63/87.95 c bounds 1104 >= 30 @ 78.4737 87.63/87.95 c bounds 1103 >= 30 @ 78.4941 87.63/87.95 c bounds 1102 >= 30 @ 78.5216 87.63/87.95 c bounds 1101 >= 30 @ 78.5542 87.63/87.95 c bounds 1100 >= 30 @ 78.5862 87.63/87.95 c bounds 1099 >= 30 @ 78.6415 87.63/87.95 c bounds 1098 >= 30 @ 78.6958 87.63/87.95 c bounds 1097 >= 30 @ 78.788 87.63/87.95 c bounds 1096 >= 30 @ 78.8235 87.63/87.95 c bounds 1095 >= 30 @ 78.8832 87.63/87.95 c bounds 1094 >= 30 @ 79.1621 87.63/87.95 c bounds 1093 >= 30 @ 79.2055 87.63/87.95 c bounds 1092 >= 30 @ 79.2473 87.63/87.95 c bounds 1091 >= 30 @ 79.2827 87.63/87.95 c bounds 1090 >= 30 @ 79.3144 87.63/87.95 c bounds 1089 >= 30 @ 79.3454 87.63/87.95 c bounds 1088 >= 30 @ 79.3712 87.63/87.95 c bounds 1087 >= 30 @ 79.3955 87.63/87.95 c bounds 1086 >= 30 @ 79.4215 87.63/87.95 c bounds 1085 >= 30 @ 79.4503 87.63/87.95 c bounds 1084 >= 30 @ 79.4746 87.63/87.95 c bounds 1083 >= 30 @ 79.4978 87.63/87.95 c bounds 1082 >= 30 @ 79.5277 87.63/87.95 c bounds 1081 >= 30 @ 79.556 87.63/87.95 c bounds 1080 >= 30 @ 79.5879 87.63/87.95 c bounds 1079 >= 30 @ 79.6139 87.63/87.95 c bounds 1078 >= 30 @ 79.6379 87.63/87.95 c bounds 1077 >= 30 @ 79.6634 87.63/87.95 c bounds 1076 >= 30 @ 79.6901 87.63/87.95 c bounds 1075 >= 30 @ 79.715 87.63/87.95 c bounds 1074 >= 30 @ 79.7438 87.63/87.95 c bounds 1073 >= 30 @ 79.7709 87.63/87.95 c bounds 1072 >= 30 @ 79.8059 87.63/87.95 c bounds 1071 >= 30 @ 79.8342 87.63/87.95 c bounds 1070 >= 30 @ 79.8598 87.63/87.95 c bounds 1069 >= 30 @ 79.8875 87.63/87.95 c bounds 1068 >= 30 @ 79.9207 87.63/87.95 c bounds 1067 >= 30 @ 79.9494 87.63/87.95 c bounds 1066 >= 30 @ 79.9828 87.63/87.95 c bounds 1065 >= 30 @ 80.0103 87.63/87.95 c bounds 1064 >= 30 @ 80.0328 87.63/87.95 c bounds 1063 >= 30 @ 80.0637 87.63/87.95 c bounds 1062 >= 30 @ 80.1024 87.63/87.95 c bounds 1061 >= 30 @ 80.1334 87.63/87.95 c bounds 1060 >= 30 @ 80.1587 87.63/87.95 c bounds 1059 >= 30 @ 80.1855 87.63/87.95 c bounds 1058 >= 30 @ 80.2082 87.63/87.95 c bounds 1057 >= 30 @ 80.2426 87.63/87.95 c bounds 1056 >= 30 @ 80.2756 87.63/87.95 c bounds 1055 >= 30 @ 80.3068 87.63/87.95 c bounds 1054 >= 30 @ 80.3361 87.63/87.95 c bounds 1053 >= 30 @ 80.3674 87.63/87.95 c bounds 1052 >= 30 @ 80.4055 87.63/87.95 c bounds 1051 >= 30 @ 80.4338 87.63/87.95 c bounds 1050 >= 30 @ 80.4575 87.63/87.95 c bounds 1049 >= 30 @ 80.4891 87.63/87.95 c bounds 1048 >= 30 @ 80.5197 87.63/87.95 c bounds 1047 >= 30 @ 80.5504 87.63/87.95 c bounds 1046 >= 30 @ 80.5791 87.63/87.95 c bounds 1045 >= 30 @ 80.605 87.63/87.95 c bounds 1044 >= 30 @ 80.6349 87.63/87.95 c bounds 1043 >= 30 @ 80.6645 87.63/87.95 c bounds 1042 >= 30 @ 80.6907 87.63/87.95 c bounds 1041 >= 30 @ 80.714 87.63/87.95 c bounds 1040 >= 30 @ 80.7425 87.63/87.95 c bounds 1039 >= 30 @ 80.7672 87.63/87.95 c bounds 1038 >= 30 @ 80.7969 87.63/87.95 c bounds 1037 >= 30 @ 80.8245 87.63/87.95 c bounds 1036 >= 30 @ 80.871 87.63/87.95 c bounds 1035 >= 30 @ 80.9112 87.63/87.95 c bounds 1034 >= 30 @ 80.9485 1015.37/1017.97 c bounds 1033 >= 30 @ 80.9804 1015.37/1017.97 c bounds 1032 >= 30 @ 81.0103 1015.37/1017.97 c bounds 1031 >= 30 @ 81.0462 1015.37/1017.97 c bounds 1030 >= 30 @ 81.0747 1015.37/1017.97 c bounds 1029 >= 30 @ 81.1036 1015.37/1017.97 c bounds 1028 >= 30 @ 81.1337 1015.37/1017.97 c bounds 1027 >= 30 @ 81.1612 1015.37/1017.97 c bounds 1026 >= 30 @ 81.1891 1015.37/1017.97 c bounds 1025 >= 30 @ 81.2232 1015.37/1017.97 c bounds 1024 >= 30 @ 81.2632 1015.37/1017.97 c bounds 1023 >= 30 @ 81.2944 1015.37/1017.97 c bounds 1022 >= 30 @ 81.3172 1015.37/1017.97 c bounds 1021 >= 30 @ 81.3434 1015.37/1017.97 c bounds 1020 >= 30 @ 81.3721 1015.37/1017.97 c bounds 1019 >= 30 @ 81.4007 1015.37/1017.97 c bounds 1018 >= 30 @ 81.4237 1015.37/1017.97 c bounds 1017 >= 30 @ 81.4492 1015.37/1017.97 c bounds 1016 >= 30 @ 81.4769 1015.37/1017.97 c bounds 1015 >= 30 @ 81.5047 1015.37/1017.97 c bounds 1014 >= 30 @ 81.5348 1015.37/1017.97 c bounds 1013 >= 30 @ 81.5617 1015.37/1017.97 c bounds 1012 >= 30 @ 81.5959 1015.37/1017.97 c bounds 1011 >= 30 @ 81.6283 1015.37/1017.97 c bounds 1010 >= 30 @ 81.6577 1015.37/1017.97 c bounds 1009 >= 30 @ 81.7452 1015.37/1017.97 c bounds 1008 >= 30 @ 82.086 1015.37/1017.97 c #Conflicts: 4000 | #Constraints: 68851 1015.37/1017.97 c INPROCESSING 1015.37/1017.97 c GARBAGE COLLECT 1015.37/1017.97 c bounds 1007 >= 30 @ 83.089 1015.37/1017.97 c bounds 1006 >= 30 @ 83.1361 1015.37/1017.97 c bounds 1005 >= 30 @ 84.0273 1015.37/1017.97 c bounds 1004 >= 30 @ 84.433 1015.37/1017.97 c bounds 1003 >= 30 @ 84.4744 1015.37/1017.97 c bounds 1002 >= 30 @ 84.507 1015.37/1017.97 c bounds 1001 >= 30 @ 84.5337 1015.37/1017.97 c bounds 1000 >= 30 @ 84.571 1015.37/1017.97 c bounds 999 >= 30 @ 84.6685 1015.37/1017.97 c bounds 998 >= 30 @ 84.7337 1015.37/1017.97 c bounds 997 >= 30 @ 84.7639 1015.37/1017.97 c bounds 996 >= 30 @ 84.7932 1015.37/1017.97 c bounds 995 >= 30 @ 84.8249 1015.37/1017.97 c bounds 994 >= 30 @ 84.8518 1015.37/1017.97 c bounds 993 >= 30 @ 84.8782 1015.37/1017.97 c bounds 992 >= 30 @ 84.9118 1015.37/1017.97 c bounds 991 >= 30 @ 85.0323 1015.37/1017.97 c #Conflicts: 5000 | #Constraints: 67932 1015.37/1017.97 c #Conflicts: 6000 | #Constraints: 68932 1015.37/1017.97 c INPROCESSING 1015.37/1017.97 c GARBAGE COLLECT 1015.37/1017.97 c bounds 990 >= 30 @ 299.13 1015.37/1017.97 c #Conflicts: 7000 | #Constraints: 67925 1015.37/1017.97 c #Conflicts: 8000 | #Constraints: 68925 1015.37/1017.97 c bounds 989 >= 30 @ 309.028 1015.37/1017.97 c bounds 988 >= 30 @ 311.184 1015.37/1017.97 c bounds 987 >= 30 @ 311.579 1015.37/1017.97 c bounds 986 >= 30 @ 311.988 1015.37/1017.97 c bounds 985 >= 30 @ 312.159 1015.37/1017.97 c #Conflicts: 9000 | #Constraints: 69930 1015.37/1017.97 c INPROCESSING 1015.37/1017.97 c GARBAGE COLLECT 1015.37/1017.97 c bounds 984 >= 30 @ 990.422 1015.37/1017.97 c bounds 983 >= 30 @ 990.735 1015.37/1017.97 c bounds 982 >= 30 @ 991.145 1015.37/1017.97 c bounds 981 >= 30 @ 991.237 1015.37/1017.97 c bounds 980 >= 30 @ 991.464 1015.37/1017.97 c bounds 979 >= 30 @ 991.504 1015.37/1017.97 c bounds 978 >= 30 @ 991.535 1015.37/1017.97 c bounds 977 >= 30 @ 991.58 1015.37/1017.97 c bounds 976 >= 30 @ 992.395 1015.37/1017.97 c bounds 975 >= 30 @ 992.458 1015.37/1017.97 c #Conflicts: 10000 | #Constraints: 68620 1015.37/1017.97 c bounds 974 >= 30 @ 996.132 1015.37/1017.97 c #Conflicts: 11000 | #Constraints: 69621 1015.37/1017.97 c #Conflicts: 12000 | #Constraints: 70621 1015.37/1017.97 c INPROCESSING 1015.37/1017.97 c GARBAGE COLLECT 1015.37/1017.97 c bounds 973 >= 30 @ 1003.19 1015.37/1017.97 c bounds 972 >= 30 @ 1003.22 1015.37/1017.97 c bounds 971 >= 30 @ 1003.24 1015.37/1017.97 c bounds 970 >= 30 @ 1003.26 1015.37/1017.97 c bounds 969 >= 30 @ 1003.28 1015.37/1017.97 c bounds 968 >= 30 @ 1003.3 1015.37/1017.97 c bounds 967 >= 30 @ 1003.32 1015.37/1017.97 c bounds 966 >= 30 @ 1003.35 1015.37/1017.97 c bounds 965 >= 30 @ 1003.37 1015.37/1017.97 c bounds 964 >= 30 @ 1003.39 1015.37/1017.97 c bounds 963 >= 30 @ 1003.42 1015.37/1017.97 c bounds 962 >= 30 @ 1003.44 1015.37/1017.97 c bounds 961 >= 30 @ 1003.46 1015.37/1017.97 c bounds 960 >= 30 @ 1003.48 1015.37/1017.97 c bounds 959 >= 30 @ 1003.51 1015.37/1017.97 c bounds 958 >= 30 @ 1003.54 1015.37/1017.97 c bounds 957 >= 30 @ 1003.56 1015.37/1017.97 c bounds 956 >= 30 @ 1003.58 1015.37/1017.97 c bounds 955 >= 30 @ 1003.6 1015.37/1017.97 c bounds 954 >= 30 @ 1003.63 1015.37/1017.97 c bounds 953 >= 30 @ 1003.65 1015.37/1017.97 c bounds 952 >= 30 @ 1003.67 1015.37/1017.97 c bounds 951 >= 30 @ 1003.69 1015.37/1017.97 c bounds 950 >= 30 @ 1003.71 1015.37/1017.97 c bounds 949 >= 30 @ 1003.74 1015.37/1017.97 c bounds 948 >= 30 @ 1003.77 1015.37/1017.97 c bounds 947 >= 30 @ 1003.82 1015.37/1017.97 c bounds 946 >= 30 @ 1003.85 1015.37/1017.97 c bounds 945 >= 30 @ 1003.88 1015.37/1017.97 c bounds 944 >= 30 @ 1003.9 1015.37/1017.97 c bounds 943 >= 30 @ 1003.93 1015.37/1017.97 c bounds 942 >= 30 @ 1003.95 1015.37/1017.97 c bounds 941 >= 30 @ 1003.97 1015.37/1017.97 c bounds 940 >= 30 @ 1003.99 1015.37/1017.97 c bounds 939 >= 30 @ 1004.01 1015.37/1017.97 c bounds 938 >= 30 @ 1004.04 1015.37/1017.97 c bounds 937 >= 30 @ 1004.06 1015.37/1017.97 c bounds 936 >= 30 @ 1004.08 1015.37/1017.97 c bounds 935 >= 30 @ 1004.1 1015.37/1017.97 c bounds 934 >= 30 @ 1004.12 1015.37/1017.97 c bounds 933 >= 30 @ 1004.14 1015.37/1017.97 c bounds 932 >= 30 @ 1004.16 1015.37/1017.97 c bounds 931 >= 30 @ 1004.19 1015.37/1017.97 c bounds 930 >= 30 @ 1004.21 1015.37/1017.97 c bounds 929 >= 30 @ 1004.24 1015.37/1017.97 c bounds 928 >= 30 @ 1004.27 1015.37/1017.97 c bounds 927 >= 30 @ 1004.29 1015.37/1017.97 c bounds 926 >= 30 @ 1004.32 1015.37/1017.97 c bounds 925 >= 30 @ 1004.35 1015.37/1017.97 c bounds 924 >= 30 @ 1004.39 1015.37/1017.97 c bounds 923 >= 30 @ 1004.43 1015.37/1017.97 c bounds 922 >= 30 @ 1004.45 1015.37/1017.97 c bounds 921 >= 30 @ 1004.48 1015.37/1017.97 c bounds 920 >= 30 @ 1004.51 1015.37/1017.97 c bounds 919 >= 30 @ 1004.53 1015.37/1017.97 c bounds 918 >= 30 @ 1004.56 1015.37/1017.97 c bounds 917 >= 30 @ 1004.58 1015.37/1017.97 c bounds 916 >= 30 @ 1004.61 1015.37/1017.97 c bounds 915 >= 30 @ 1004.63 1015.37/1017.97 c bounds 914 >= 30 @ 1004.66 1272.14/1275.40 c bounds 913 >= 30 @ 1004.69 1272.14/1275.40 c bounds 912 >= 30 @ 1004.72 1272.14/1275.40 c bounds 911 >= 30 @ 1004.75 1272.14/1275.40 c bounds 910 >= 30 @ 1005.47 1272.14/1275.40 c bounds 909 >= 30 @ 1005.8 1272.14/1275.40 c bounds 908 >= 30 @ 1005.89 1272.14/1275.40 c bounds 907 >= 30 @ 1006.05 1272.14/1275.40 c bounds 906 >= 30 @ 1007.74 1272.14/1275.40 c bounds 905 >= 30 @ 1007.8 1272.14/1275.40 c bounds 904 >= 30 @ 1008.77 1272.14/1275.40 c #Conflicts: 13000 | #Constraints: 69151 1272.14/1275.40 c #Conflicts: 14000 | #Constraints: 70151 1272.14/1275.40 c bounds 903 >= 30 @ 1019.41 1272.14/1275.40 c #Conflicts: 15000 | #Constraints: 71152 1272.14/1275.40 c INPROCESSING 1272.14/1275.40 c GARBAGE COLLECT 1272.14/1275.40 c #Conflicts: 16000 | #Constraints: 69308 1272.14/1275.40 c #Conflicts: 17000 | #Constraints: 70308 1272.14/1275.40 c bounds 903 >= 31 @ 1039.09 1272.14/1275.40 c bounds 902 >= 31 @ 1039.16 1272.14/1275.40 c #Conflicts: 18000 | #Constraints: 71359 1272.14/1275.40 c INPROCESSING 1272.14/1275.40 c GARBAGE COLLECT 1272.14/1275.40 c bounds 901 >= 31 @ 1042.96 1272.14/1275.40 c #Conflicts: 19000 | #Constraints: 69353 1272.14/1275.40 c bounds 900 >= 31 @ 1050.54 1272.14/1275.40 c bounds 899 >= 31 @ 1052.19 1272.14/1275.40 c bounds 898 >= 31 @ 1052.77 1272.14/1275.40 c bounds 897 >= 31 @ 1053.93 1272.14/1275.40 c bounds 896 >= 31 @ 1054.31 1272.14/1275.40 c #Conflicts: 20000 | #Constraints: 70358 1272.14/1275.40 c bounds 895 >= 31 @ 1055.62 1272.14/1275.40 c bounds 894 >= 31 @ 1056.77 1272.14/1275.40 c bounds 893 >= 31 @ 1057.72 1272.14/1275.40 c bounds 892 >= 31 @ 1058.72 1272.14/1275.40 c bounds 891 >= 31 @ 1059.05 1272.14/1275.40 c #Conflicts: 21000 | #Constraints: 71363 1272.14/1275.40 c bounds 890 >= 31 @ 1064.44 1272.14/1275.40 c bounds 889 >= 31 @ 1064.7 1272.14/1275.40 c bounds 888 >= 31 @ 1064.83 1272.14/1275.40 c bounds 887 >= 31 @ 1064.95 1272.14/1275.40 c bounds 886 >= 31 @ 1065.07 1272.14/1275.40 c bounds 885 >= 31 @ 1065.18 1272.14/1275.40 c bounds 884 >= 31 @ 1065.29 1272.14/1275.40 c bounds 883 >= 31 @ 1065.4 1272.14/1275.40 c bounds 882 >= 31 @ 1065.53 1272.14/1275.40 c bounds 881 >= 31 @ 1065.64 1272.14/1275.40 c bounds 880 >= 31 @ 1065.74 1272.14/1275.40 c bounds 879 >= 31 @ 1065.84 1272.14/1275.40 c bounds 878 >= 31 @ 1065.93 1272.14/1275.40 c bounds 877 >= 31 @ 1066.03 1272.14/1275.40 c bounds 876 >= 31 @ 1066.13 1272.14/1275.40 c bounds 875 >= 31 @ 1066.23 1272.14/1275.40 c bounds 874 >= 31 @ 1066.34 1272.14/1275.40 c bounds 873 >= 31 @ 1066.45 1272.14/1275.40 c bounds 872 >= 31 @ 1066.54 1272.14/1275.40 c bounds 871 >= 31 @ 1066.63 1272.14/1275.40 c bounds 870 >= 31 @ 1066.73 1272.14/1275.40 c bounds 869 >= 31 @ 1066.83 1272.14/1275.40 c bounds 868 >= 31 @ 1066.93 1272.14/1275.40 c bounds 867 >= 31 @ 1067.03 1272.14/1275.40 c bounds 866 >= 31 @ 1067.14 1272.14/1275.40 c bounds 865 >= 31 @ 1067.27 1272.14/1275.40 c INPROCESSING 1272.14/1275.40 c GARBAGE COLLECT 1272.14/1275.40 c bounds 864 >= 31 @ 1067.81 1272.14/1275.40 c bounds 863 >= 31 @ 1067.89 1272.14/1275.40 c bounds 862 >= 31 @ 1068.08 1272.14/1275.40 c bounds 861 >= 31 @ 1068.16 1272.14/1275.40 c bounds 860 >= 31 @ 1068.28 1272.14/1275.40 c bounds 859 >= 31 @ 1069.09 1272.14/1275.40 c #Conflicts: 22000 | #Constraints: 69145 1272.14/1275.40 c bounds 858 >= 31 @ 1085.69 1272.14/1275.40 c bounds 857 >= 31 @ 1085.92 1272.14/1275.40 c bounds 856 >= 31 @ 1086.33 1272.14/1275.40 c bounds 855 >= 31 @ 1087.09 1272.14/1275.40 c bounds 854 >= 31 @ 1088.17 1272.14/1275.40 c bounds 853 >= 31 @ 1088.32 1272.14/1275.40 c bounds 852 >= 31 @ 1088.39 1272.14/1275.40 c bounds 851 >= 31 @ 1088.47 1272.14/1275.40 c bounds 850 >= 31 @ 1088.54 1272.14/1275.40 c bounds 849 >= 31 @ 1088.6 1272.14/1275.40 c bounds 848 >= 31 @ 1088.67 1272.14/1275.40 c bounds 847 >= 31 @ 1088.73 1272.14/1275.40 c bounds 846 >= 31 @ 1088.8 1272.14/1275.40 c bounds 845 >= 31 @ 1088.86 1272.14/1275.40 c bounds 844 >= 31 @ 1088.91 1272.14/1275.40 c bounds 843 >= 31 @ 1088.97 1272.14/1275.40 c bounds 842 >= 31 @ 1089.02 1272.14/1275.40 c bounds 841 >= 31 @ 1089.09 1272.14/1275.40 c bounds 840 >= 31 @ 1089.15 1272.14/1275.40 c bounds 839 >= 31 @ 1089.21 1272.14/1275.40 c bounds 838 >= 31 @ 1089.27 1272.14/1275.40 c bounds 837 >= 31 @ 1089.33 1272.14/1275.40 c bounds 836 >= 31 @ 1089.39 1272.14/1275.40 c bounds 835 >= 31 @ 1089.45 1272.14/1275.40 c bounds 834 >= 31 @ 1089.51 1272.14/1275.40 c bounds 833 >= 31 @ 1089.58 1272.14/1275.40 c bounds 832 >= 31 @ 1089.63 1272.14/1275.40 c bounds 831 >= 31 @ 1089.7 1272.14/1275.40 c bounds 830 >= 31 @ 1089.76 1272.14/1275.40 c bounds 829 >= 31 @ 1089.83 1272.14/1275.40 c bounds 828 >= 31 @ 1089.89 1272.14/1275.40 c bounds 827 >= 31 @ 1089.95 1272.14/1275.40 c bounds 826 >= 31 @ 1090.02 1272.14/1275.40 c #Conflicts: 23000 | #Constraints: 70182 1272.14/1275.40 c bounds 825 >= 31 @ 1094.49 1272.14/1275.40 c bounds 824 >= 31 @ 1094.61 1272.14/1275.40 c bounds 823 >= 31 @ 1094.72 1272.14/1275.40 c bounds 822 >= 31 @ 1094.82 1272.14/1275.40 c bounds 821 >= 31 @ 1094.92 1272.14/1275.40 c bounds 820 >= 31 @ 1095.02 1272.14/1275.40 c #Conflicts: 24000 | #Constraints: 71188 1272.14/1275.40 c #Conflicts: 25000 | #Constraints: 72188 1272.14/1275.40 c INPROCESSING 1272.14/1275.40 c GARBAGE COLLECT 1272.14/1275.40 c #Conflicts: 26000 | #Constraints: 69746 1272.14/1275.40 c #Conflicts: 27000 | #Constraints: 70746 1272.14/1275.40 c #Conflicts: 28000 | #Constraints: 71746 1272.14/1275.40 WSVECS04 Frhs2[6]: 6 -1.00009 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[7]: 6 -1.00004 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[60]: 6 -1.00003 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[120]: 6 -1.00002 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[212]: 6 -1.00008 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[4170]: 6 -1.00007 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[4988]: 6 -1.00005 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[5817]: 6 -1.00002 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9109]: 6 -1.00006 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9110]: 6 -1.00001 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9642]: 6 -1.00003 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9809]: 6 -1.00006 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9810]: 6 -1.00002 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[9892]: 6 -1.00002 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[10635]: 6 -1.00003 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[13075]: 6 -1.00002 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[13286]: 6 -1.00001 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[14147]: 6 -1.00008 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[14148]: 6 -1.00009 0 shouldn't be 1272.14/1275.40 WSVECS04 Frhs2[14717]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[18]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[20]: 6 -1.00005 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[57]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[202]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[617]: 6 -1.00007 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[2201]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[4065]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[5744]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[5989]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[6301]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9052]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9064]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9095]: 6 -1.00007 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9743]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9771]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9819]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9830]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9839]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9840]: 6 -1.0001 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9864]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9866]: 6 -1.0001 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9890]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9895]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9900]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9918]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9922]: 6 -1.00007 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9940]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[9943]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10323]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10455]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10462]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10463]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10467]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10519]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10522]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10532]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10541]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10584]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10586]: 6 -1.0001 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10626]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10642]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10660]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10696]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10727]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10752]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10755]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10833]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10834]: 6 -1.00005 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10854]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[10918]: 6 -1.00007 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[11197]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[12270]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[12318]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[12332]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13073]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13271]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13285]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13424]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13835]: 6 -1.00003 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13877]: 6 -1.00001 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13879]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13901]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13914]: 6 -1.00005 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[13923]: 6 -1.00004 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14060]: 6 -1.00006 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14111]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14153]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14286]: 6 -1.00009 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14291]: 6 -1.00002 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14685]: 6 -1.00008 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14764]: 6 -1.00007 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14815]: 6 -1.00001 0 shouldn't be 1737.48/1742.03 WSVECS04 Frhs2[14938]: 6 -1.00004 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[6658]: 6 -1.00008 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[8357]: 6 -1.0001 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[9740]: 6 -1.00009 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[9747]: 6 -1.00004 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[10540]: 6 -1.00006 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[10593]: 6 -1.00008 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[10600]: 6 -1.00006 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[10640]: 6 -1.00004 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[10658]: 6 -1.00008 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[12281]: 6 -1.00009 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[12533]: 6 -1.00008 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[13058]: 6 -1.00004 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[13878]: 6 -1.00005 0 shouldn't be 2255.21/2261.25 WSVECS04 Frhs2[13950]: 6 -1.00003 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[9466]: 6 -1.00004 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[9750]: 6 -1.00005 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[9765]: 6 -1.00003 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[9910]: 6 -1.00007 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[10452]: 6 -1.0001 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[10589]: 6 -1.00006 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[10608]: 6 -1.00002 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[13017]: 6 -1.00006 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[13845]: 6 -1.00005 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[13911]: 6 -1.00007 0 shouldn't be 2803.49/2810.93 WSVECS04 Frhs2[13939]: 6 -1.00003 0 shouldn't be 2958.43/2966.22 c #Conflicts: 29000 | #Constraints: 72746 2958.43/2966.22 c INPROCESSING 2958.43/2966.22 c GARBAGE COLLECT 2958.43/2966.22 c bounds 819 >= 31 @ 2935.85 2958.43/2966.22 c bounds 818 >= 31 @ 2935.89 2958.43/2966.22 c bounds 817 >= 31 @ 2935.93 2958.43/2966.22 c bounds 816 >= 31 @ 2935.98 2958.43/2966.22 c bounds 815 >= 31 @ 2936.02 2958.43/2966.22 c bounds 814 >= 31 @ 2936.06 2958.43/2966.22 c bounds 813 >= 31 @ 2936.09 2958.43/2966.22 c bounds 812 >= 31 @ 2936.11 2958.43/2966.22 c bounds 811 >= 31 @ 2936.14 2958.43/2966.22 c bounds 810 >= 31 @ 2936.17 2958.43/2966.22 c bounds 809 >= 31 @ 2936.2 2958.43/2966.22 c bounds 808 >= 31 @ 2936.22 2958.43/2966.22 c bounds 807 >= 31 @ 2936.25 2958.43/2966.22 c bounds 806 >= 31 @ 2936.28 2958.43/2966.22 c bounds 805 >= 31 @ 2936.32 2958.43/2966.22 c bounds 804 >= 31 @ 2936.35 2958.43/2966.22 c bounds 803 >= 31 @ 2936.38 2958.43/2966.22 c bounds 802 >= 31 @ 2936.41 2958.43/2966.22 c bounds 801 >= 31 @ 2936.45 2958.43/2966.22 c bounds 800 >= 31 @ 2936.48 2958.43/2966.22 c bounds 799 >= 31 @ 2936.51 2958.43/2966.22 c bounds 798 >= 31 @ 2936.54 2958.43/2966.22 c bounds 797 >= 31 @ 2936.56 2958.43/2966.22 c bounds 796 >= 31 @ 2936.6 2958.43/2966.22 c bounds 795 >= 31 @ 2936.63 2958.43/2966.22 c bounds 794 >= 31 @ 2936.67 2958.43/2966.22 c bounds 793 >= 31 @ 2936.7 2958.43/2966.22 c bounds 792 >= 31 @ 2936.73 2958.43/2966.22 c bounds 791 >= 31 @ 2936.75 2958.43/2966.22 c bounds 790 >= 31 @ 2936.78 2958.43/2966.22 c bounds 789 >= 31 @ 2936.81 2958.43/2966.22 c bounds 788 >= 31 @ 2936.83 2958.43/2966.22 c bounds 787 >= 31 @ 2936.87 2958.43/2966.22 c bounds 786 >= 31 @ 2936.9 2958.43/2966.22 c bounds 785 >= 31 @ 2936.92 2958.43/2966.22 c bounds 784 >= 31 @ 2936.95 2958.43/2966.22 c bounds 783 >= 31 @ 2936.98 2958.43/2966.22 c bounds 782 >= 31 @ 2937 2958.43/2966.22 c bounds 781 >= 31 @ 2937.03 2958.43/2966.22 c bounds 780 >= 31 @ 2937.06 2958.43/2966.22 c bounds 779 >= 31 @ 2937.09 2958.43/2966.22 c bounds 778 >= 31 @ 2937.12 2958.43/2966.22 c bounds 777 >= 31 @ 2937.15 2958.43/2966.22 c bounds 776 >= 31 @ 2937.18 2958.43/2966.22 c bounds 775 >= 31 @ 2937.21 2958.43/2966.22 c bounds 774 >= 31 @ 2937.24 2958.43/2966.22 c bounds 773 >= 31 @ 2937.27 2958.43/2966.22 c bounds 772 >= 31 @ 2937.3 2958.43/2966.22 c bounds 771 >= 31 @ 2937.33 2958.43/2966.22 c bounds 770 >= 31 @ 2937.36 2958.43/2966.22 c bounds 769 >= 31 @ 2937.39 2958.43/2966.22 c bounds 768 >= 31 @ 2937.43 2958.43/2966.22 c bounds 767 >= 31 @ 2937.46 2958.43/2966.22 c bounds 766 >= 31 @ 2937.49 2958.43/2966.22 c bounds 765 >= 31 @ 2937.53 2958.43/2966.22 c bounds 764 >= 31 @ 2937.56 2958.43/2966.22 c bounds 763 >= 31 @ 2937.6 2958.43/2966.22 c bounds 762 >= 31 @ 2937.63 2958.43/2966.22 c bounds 761 >= 31 @ 2937.66 2958.43/2966.22 c bounds 760 >= 31 @ 2937.7 2958.43/2966.22 c bounds 759 >= 31 @ 2937.74 2958.43/2966.22 c bounds 758 >= 31 @ 2937.77 2958.43/2966.22 c bounds 757 >= 31 @ 2937.8 2958.43/2966.22 c bounds 756 >= 31 @ 2937.84 2958.43/2966.22 c bounds 755 >= 31 @ 2937.87 2958.43/2966.22 c bounds 754 >= 31 @ 2937.9 2958.43/2966.22 c bounds 753 >= 31 @ 2937.93 2958.43/2966.22 c bounds 752 >= 31 @ 2937.96 2958.43/2966.22 c bounds 751 >= 31 @ 2937.99 2958.43/2966.22 c bounds 750 >= 31 @ 2938.02 2958.43/2966.22 c bounds 749 >= 31 @ 2938.05 2958.43/2966.22 c bounds 748 >= 31 @ 2938.09 2958.43/2966.22 c bounds 747 >= 31 @ 2938.12 2958.43/2966.22 c bounds 746 >= 31 @ 2938.15 2958.43/2966.22 c bounds 745 >= 31 @ 2938.19 2958.43/2966.22 c bounds 744 >= 31 @ 2938.21 2958.43/2966.22 c bounds 743 >= 31 @ 2938.24 2958.43/2966.22 c bounds 742 >= 31 @ 2938.27 2958.43/2966.22 c bounds 741 >= 31 @ 2938.3 2958.43/2966.22 c bounds 740 >= 31 @ 2938.34 2958.43/2966.22 c bounds 739 >= 31 @ 2938.36 2958.43/2966.22 c bounds 738 >= 31 @ 2938.4 2958.43/2966.22 c bounds 737 >= 31 @ 2938.43 2958.43/2966.22 c bounds 736 >= 31 @ 2938.46 2958.43/2966.22 c bounds 735 >= 31 @ 2938.49 2958.43/2966.22 c bounds 734 >= 31 @ 2938.52 2958.43/2966.22 c bounds 733 >= 31 @ 2938.55 2958.43/2966.22 c bounds 732 >= 31 @ 2938.58 2958.43/2966.22 c bounds 731 >= 31 @ 2938.61 2958.43/2966.22 c bounds 730 >= 31 @ 2938.64 2958.43/2966.22 c bounds 729 >= 31 @ 2938.68 2958.43/2966.22 c bounds 728 >= 31 @ 2938.72 2958.43/2966.22 c bounds 727 >= 31 @ 2938.76 2958.43/2966.22 c bounds 726 >= 31 @ 2938.79 2958.43/2966.22 c bounds 725 >= 31 @ 2938.82 2958.43/2966.22 c bounds 724 >= 31 @ 2938.85 2958.43/2966.22 c bounds 723 >= 31 @ 2938.88 2958.43/2966.22 c bounds 722 >= 31 @ 2938.92 2958.43/2966.22 c bounds 721 >= 31 @ 2938.95 2958.43/2966.22 c bounds 720 >= 31 @ 2938.97 2958.43/2966.22 c bounds 719 >= 31 @ 2939 2958.43/2966.22 c bounds 718 >= 31 @ 2939.03 2958.43/2966.22 c bounds 717 >= 31 @ 2939.06 2958.43/2966.22 c bounds 716 >= 31 @ 2939.1 2958.43/2966.22 c bounds 715 >= 31 @ 2939.13 2958.43/2966.22 c bounds 714 >= 31 @ 2939.15 2958.43/2966.22 c bounds 713 >= 31 @ 2939.19 2958.43/2966.22 c bounds 712 >= 31 @ 2939.22 2958.43/2966.22 c bounds 711 >= 31 @ 2939.25 2958.43/2966.22 c bounds 710 >= 31 @ 2939.29 2958.43/2966.22 c bounds 709 >= 31 @ 2939.32 2958.43/2966.22 c bounds 708 >= 31 @ 2939.35 2958.43/2966.22 c bounds 707 >= 31 @ 2939.38 2958.43/2966.22 c bounds 706 >= 31 @ 2939.41 2958.43/2966.22 c bounds 705 >= 31 @ 2939.45 2958.43/2966.22 c bounds 704 >= 31 @ 2939.48 2958.43/2966.22 c bounds 703 >= 31 @ 2939.51 2958.43/2966.22 c bounds 702 >= 31 @ 2939.54 2958.43/2966.22 c bounds 701 >= 31 @ 2939.58 2958.43/2966.22 c bounds 700 >= 31 @ 2939.6 2958.43/2966.22 c bounds 699 >= 31 @ 2939.64 2958.43/2966.22 c bounds 698 >= 31 @ 2939.66 2958.43/2966.22 c bounds 697 >= 31 @ 2939.69 2958.43/2966.22 c bounds 696 >= 31 @ 2939.71 2958.43/2966.22 c bounds 695 >= 31 @ 2939.74 2958.43/2966.22 c bounds 694 >= 31 @ 2939.78 2958.43/2966.22 c bounds 693 >= 31 @ 2939.8 2958.43/2966.22 c bounds 692 >= 31 @ 2939.83 2958.43/2966.22 c bounds 691 >= 31 @ 2939.86 2958.43/2966.22 c bounds 690 >= 31 @ 2939.89 2958.43/2966.22 c bounds 689 >= 31 @ 2939.92 2958.43/2966.22 c bounds 688 >= 31 @ 2939.96 2958.43/2966.22 c bounds 687 >= 31 @ 2939.99 2958.43/2966.22 c bounds 686 >= 31 @ 2940.03 2958.43/2966.22 c bounds 685 >= 31 @ 2940.06 2958.43/2966.22 c bounds 684 >= 31 @ 2940.09 2958.43/2966.22 c bounds 683 >= 31 @ 2940.12 2958.43/2966.22 c bounds 682 >= 31 @ 2940.15 2958.43/2966.22 c bounds 681 >= 31 @ 2940.18 2977.30/2985.17 c bounds 680 >= 31 @ 2940.21 2977.30/2985.17 c bounds 679 >= 31 @ 2940.23 2977.30/2985.17 c bounds 678 >= 31 @ 2940.27 2977.30/2985.17 c bounds 677 >= 31 @ 2940.31 2977.30/2985.17 c bounds 676 >= 31 @ 2940.34 2977.30/2985.17 c bounds 675 >= 31 @ 2940.38 2977.30/2985.17 c bounds 674 >= 31 @ 2940.41 2977.30/2985.17 c bounds 673 >= 31 @ 2940.44 2977.30/2985.17 c bounds 672 >= 31 @ 2940.48 2977.30/2985.17 c bounds 671 >= 31 @ 2940.5 2977.30/2985.17 c bounds 670 >= 31 @ 2940.53 2977.30/2985.17 c bounds 669 >= 31 @ 2940.57 2977.30/2985.17 c bounds 668 >= 31 @ 2940.6 2977.30/2985.17 c bounds 667 >= 31 @ 2940.63 2977.30/2985.17 c bounds 666 >= 31 @ 2940.66 2977.30/2985.17 c bounds 665 >= 31 @ 2940.69 2977.30/2985.17 c bounds 664 >= 31 @ 2940.73 2977.30/2985.17 c bounds 663 >= 31 @ 2940.75 2977.30/2985.17 c bounds 662 >= 31 @ 2940.8 2977.30/2985.17 c bounds 661 >= 31 @ 2940.83 2977.30/2985.17 c bounds 660 >= 31 @ 2940.86 2977.30/2985.17 c bounds 659 >= 31 @ 2940.89 2977.30/2985.17 c bounds 658 >= 31 @ 2940.92 2977.30/2985.17 c bounds 657 >= 31 @ 2940.95 2977.30/2985.17 c bounds 656 >= 31 @ 2940.98 2977.30/2985.17 c bounds 655 >= 31 @ 2941.01 2977.30/2985.17 c bounds 654 >= 31 @ 2941.04 2977.30/2985.17 c bounds 653 >= 31 @ 2941.07 2977.30/2985.17 c bounds 652 >= 31 @ 2941.1 2977.30/2985.17 c bounds 651 >= 31 @ 2941.14 2977.30/2985.17 c bounds 650 >= 31 @ 2941.16 2977.30/2985.17 c bounds 649 >= 31 @ 2941.2 2977.30/2985.17 c bounds 648 >= 31 @ 2941.23 2977.30/2985.17 c bounds 647 >= 31 @ 2941.26 2977.30/2985.17 c bounds 646 >= 31 @ 2941.29 2977.30/2985.17 c bounds 645 >= 31 @ 2941.32 2977.30/2985.17 c bounds 644 >= 31 @ 2941.35 2977.30/2985.17 c bounds 643 >= 31 @ 2941.38 2977.30/2985.17 c bounds 642 >= 31 @ 2941.4 2977.30/2985.17 c bounds 641 >= 31 @ 2941.43 2977.30/2985.17 c bounds 640 >= 31 @ 2941.47 2977.30/2985.17 c bounds 639 >= 31 @ 2941.49 2977.30/2985.17 c bounds 638 >= 31 @ 2941.52 2977.30/2985.17 c bounds 637 >= 31 @ 2941.55 2977.30/2985.17 c bounds 636 >= 31 @ 2941.58 2977.30/2985.17 c bounds 635 >= 31 @ 2941.61 2977.30/2985.17 c bounds 634 >= 31 @ 2941.64 2977.30/2985.17 c bounds 633 >= 31 @ 2941.67 2977.30/2985.17 c bounds 632 >= 31 @ 2941.7 2977.30/2985.17 c bounds 631 >= 31 @ 2941.73 2977.30/2985.17 c bounds 630 >= 31 @ 2941.75 2977.30/2985.17 c bounds 629 >= 31 @ 2941.78 2977.30/2985.17 c bounds 628 >= 31 @ 2941.82 2977.30/2985.17 c bounds 627 >= 31 @ 2941.84 2977.30/2985.17 c bounds 626 >= 31 @ 2941.88 2977.30/2985.17 c bounds 625 >= 31 @ 2941.9 2977.30/2985.17 c bounds 624 >= 31 @ 2941.94 2977.30/2985.17 c bounds 623 >= 31 @ 2941.97 2977.30/2985.17 c bounds 622 >= 31 @ 2941.99 2977.30/2985.17 c bounds 621 >= 31 @ 2942.02 2977.30/2985.17 c bounds 620 >= 31 @ 2942.05 2977.30/2985.17 c bounds 619 >= 31 @ 2942.07 2977.30/2985.17 c bounds 618 >= 31 @ 2942.1 2977.30/2985.17 c bounds 617 >= 31 @ 2942.13 2977.30/2985.17 c bounds 616 >= 31 @ 2942.17 2977.30/2985.17 c bounds 615 >= 31 @ 2942.21 2977.30/2985.17 c bounds 614 >= 31 @ 2942.24 2977.30/2985.17 c bounds 613 >= 31 @ 2942.27 2977.30/2985.17 c bounds 612 >= 31 @ 2942.3 2977.30/2985.17 c bounds 611 >= 31 @ 2942.33 2977.30/2985.17 c bounds 610 >= 31 @ 2942.36 2977.30/2985.17 c bounds 609 >= 31 @ 2942.39 2977.30/2985.17 c bounds 608 >= 31 @ 2942.41 2977.30/2985.17 c bounds 607 >= 31 @ 2942.45 2977.30/2985.17 c bounds 606 >= 31 @ 2942.48 2977.30/2985.17 c bounds 605 >= 31 @ 2942.51 2977.30/2985.17 c bounds 604 >= 31 @ 2942.57 2977.30/2985.17 c bounds 603 >= 31 @ 2942.6 2977.30/2985.17 c bounds 602 >= 31 @ 2942.62 2977.30/2985.17 c bounds 601 >= 31 @ 2942.65 2977.30/2985.17 c bounds 600 >= 31 @ 2942.67 2977.30/2985.17 c bounds 599 >= 31 @ 2942.7 2977.30/2985.17 c bounds 598 >= 31 @ 2942.73 2977.30/2985.17 c bounds 597 >= 31 @ 2942.76 2977.30/2985.17 c bounds 596 >= 31 @ 2942.79 2977.30/2985.17 c bounds 595 >= 31 @ 2942.82 2977.30/2985.17 c bounds 594 >= 31 @ 2942.85 2977.30/2985.17 c bounds 593 >= 31 @ 2942.87 2977.30/2985.17 c bounds 592 >= 31 @ 2942.9 2977.30/2985.17 c bounds 591 >= 31 @ 2942.94 2977.30/2985.17 c bounds 590 >= 31 @ 2942.98 2977.30/2985.17 c bounds 589 >= 31 @ 2943.02 2977.30/2985.17 c bounds 588 >= 31 @ 2943.06 2977.30/2985.17 c bounds 587 >= 31 @ 2943.09 2977.30/2985.17 c bounds 586 >= 31 @ 2943.13 2977.30/2985.17 c bounds 585 >= 31 @ 2943.17 2977.30/2985.17 c bounds 584 >= 31 @ 2943.2 2977.30/2985.17 c bounds 583 >= 31 @ 2943.23 2977.30/2985.17 c bounds 582 >= 31 @ 2943.27 2977.30/2985.17 c bounds 581 >= 31 @ 2943.3 2977.30/2985.17 c bounds 580 >= 31 @ 2943.36 2977.30/2985.17 c bounds 579 >= 31 @ 2943.4 2977.30/2985.17 c bounds 578 >= 31 @ 2943.46 2977.30/2985.17 c bounds 577 >= 31 @ 2943.75 2977.30/2985.17 c #Conflicts: 30000 | #Constraints: 70407 2977.30/2985.17 c bounds 576 >= 31 @ 2950.91 2977.30/2985.17 c bounds 575 >= 31 @ 2951.01 2977.30/2985.17 c bounds 574 >= 31 @ 2951.84 2977.30/2985.17 c bounds 573 >= 31 @ 2951.92 2977.30/2985.17 c bounds 572 >= 31 @ 2951.98 2977.30/2985.17 c bounds 571 >= 31 @ 2953.82 2977.30/2985.17 c bounds 570 >= 31 @ 2953.92 2977.30/2985.17 c bounds 569 >= 31 @ 2954.01 2977.30/2985.17 c bounds 568 >= 31 @ 2954.08 2977.30/2985.17 c bounds 567 >= 31 @ 2954.16 2977.30/2985.17 c bounds 566 >= 31 @ 2954.22 2977.30/2985.17 c bounds 565 >= 31 @ 2954.28 2977.30/2985.17 c bounds 564 >= 31 @ 2954.33 2977.30/2985.17 c bounds 563 >= 31 @ 2954.44 2977.30/2985.17 c bounds 562 >= 31 @ 2954.54 2977.30/2985.17 c bounds 561 >= 31 @ 2954.83 2977.30/2985.17 c bounds 560 >= 31 @ 2954.92 2977.30/2985.17 c bounds 559 >= 31 @ 2954.99 2977.30/2985.17 c bounds 558 >= 31 @ 2955.07 2977.30/2985.17 c bounds 557 >= 31 @ 2955.14 2977.30/2985.17 c bounds 556 >= 31 @ 2955.19 2977.30/2985.17 c bounds 555 >= 31 @ 2955.25 2977.30/2985.17 c bounds 554 >= 31 @ 2955.31 2977.30/2985.17 c bounds 553 >= 31 @ 2955.37 2977.30/2985.17 c bounds 552 >= 31 @ 2955.43 2977.30/2985.17 c bounds 551 >= 31 @ 2955.49 2977.30/2985.17 c bounds 550 >= 31 @ 2955.55 2977.30/2985.17 c bounds 549 >= 31 @ 2955.62 2977.30/2985.17 c bounds 548 >= 31 @ 2955.68 2977.30/2985.17 c bounds 547 >= 31 @ 2955.73 2977.30/2985.17 c bounds 546 >= 31 @ 2955.79 2977.30/2985.17 c bounds 545 >= 31 @ 2955.84 2977.30/2985.17 c bounds 544 >= 31 @ 2955.91 2977.30/2985.17 c bounds 543 >= 31 @ 2955.97 2977.30/2985.17 c #Conflicts: 31000 | #Constraints: 71441 2977.30/2985.17 c boun
ERROR: no interpretation found !
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: 64096 MiB (63222 MiB free)
memory of node 1: 64473 MiB (52483 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4462761-1722344445/watcher-4462761-1722344445 -o /tmp/evaluation-result-4462761-1722344445/solver-4462761-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722340763-6543 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462761-1722344445 --lp-cut-gomory=0 HOME/instance-4462761-1722344445.opb
running on 2 cores: 4,6
CPU governors:
performance: 4 6
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=8843, runsolver pid=8840
Current StackSize limit: 8192 KiB
[startup+0.100054 s]*
/proc/loadavg: 4.11 4.12 4.09 5/245 8844
/proc/meminfo: memFree=119131404/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=40960 memory=9360 CPUtime=0.09 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 1704 0 0 0 9 0 0 0 20 0 1 0 815679 41943040 2340 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 10240 2340 1349 992 0 2098 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 9360 KiB
[startup+0.207956 s]*
/proc/loadavg: 4.11 4.12 4.09 5/245 8844
/proc/meminfo: memFree=119837984/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=40960 memory=9888 CPUtime=0.2 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 1851 0 0 0 19 1 0 0 20 0 1 0 815679 41943040 2472 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 10240 2472 1349 992 0 2098 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 9888 KiB
[startup+0.307736 s]*
/proc/loadavg: 4.11 4.12 4.09 5/245 8844
/proc/meminfo: memFree=120896300/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=40960 memory=12464 CPUtime=0.29 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 1967 0 0 0 28 1 0 0 20 0 1 0 815679 41943040 3116 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 10240 3116 1349 992 0 2098 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 40960 KiB
Current children cumulated memory: 12464 KiB
[startup+0.700295 s]
/proc/loadavg: 4.11 4.12 4.09 5/244 8858
/proc/meminfo: memFree=123050540/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=43680 memory=13460 CPUtime=0.68 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 2185 0 0 0 66 2 0 0 20 0 1 0 815679 44728320 3365 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 10920 3365 1349 992 0 2778 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 43680 KiB
Current children cumulated memory: 13460 KiB
[startup+1.50029 s]
/proc/loadavg: 4.11 4.12 4.09 4/239 8870
/proc/meminfo: memFree=127266648/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=55768 memory=23172 CPUtime=1.48 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 3124 0 0 0 141 7 0 0 20 0 1 0 815679 57106432 5793 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 13942 5793 1349 992 0 5800 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 55768 KiB
Current children cumulated memory: 23172 KiB
[startup+3.11323 s]
/proc/loadavg: 4.11 4.12 4.09 3/245 8890
/proc/meminfo: memFree=129878400/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=403144 memory=370432 CPUtime=3.09 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 46021 0 0 0 272 37 0 0 20 0 1 0 815679 412819456 92608 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 100786 92608 1710 992 0 92644 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 403144 KiB
Current children cumulated memory: 370432 KiB
[startup+6.30032 s]
/proc/loadavg: 4.10 4.12 4.09 3/245 8890
/proc/meminfo: memFree=129872956/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=403144 memory=370624 CPUtime=6.26 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 46094 0 0 0 589 37 0 0 20 0 1 0 815679 412819456 92656 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 100786 92656 1758 992 0 92644 0
Current children cumulated CPU time: 6.26 s
Current children cumulated vsize: 403144 KiB
Current children cumulated memory: 370624 KiB
[startup+12.7003 s]
/proc/loadavg: 4.09 4.12 4.09 4/248 8912
/proc/meminfo: memFree=129684436/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=403144 memory=370624 CPUtime=12.64 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 46266 0 0 0 1226 38 0 0 20 0 1 0 815679 412819456 92656 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 100786 92656 1758 992 0 92644 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 403144 KiB
Current children cumulated memory: 370624 KiB
[startup+25.5003 s]
/proc/loadavg: 4.14 4.13 4.09 5/248 8924
/proc/meminfo: memFree=128734832/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=487908 memory=443184 CPUtime=25.4 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 48853 0 0 0 2351 189 0 0 20 0 1 0 815679 499617792 110796 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 121977 110796 1867 992 0 113835 0
Current children cumulated CPU time: 25.4 s
Current children cumulated vsize: 487908 KiB
Current children cumulated memory: 443184 KiB
[startup+51.1131 s]
/proc/loadavg: 4.09 4.12 4.09 5/248 8929
/proc/meminfo: memFree=128647464/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=487908 memory=443264 CPUtime=50.94 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 49051 0 0 0 4902 192 0 0 20 0 1 0 815679 499617792 110816 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 121977 110816 1867 992 0 113835 0
Current children cumulated CPU time: 50.94 s
Current children cumulated vsize: 487908 KiB
Current children cumulated memory: 443264 KiB
[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.09 5/248 8938
/proc/meminfo: memFree=128132748/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=793352 memory=701300 CPUtime=101.99 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 91862 0 0 0 9409 790 0 0 20 0 1 0 815679 812392448 175325 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 198338 175325 1867 992 0 190196 0
Current children cumulated CPU time: 101.99 s
Current children cumulated vsize: 793352 KiB
Current children cumulated memory: 701300 KiB
[startup+162.3 s]
/proc/loadavg: 4.13 4.12 4.09 5/248 8950
/proc/meminfo: memFree=127992736/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=797432 memory=705396 CPUtime=161.85 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 92041 0 0 0 15390 795 0 0 20 0 1 0 815679 816570368 176349 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 199358 176349 1867 992 0 191216 0
Current children cumulated CPU time: 161.85 s
Current children cumulated vsize: 797432 KiB
Current children cumulated memory: 705396 KiB
[startup+222.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/247 8961
/proc/meminfo: memFree=127897728/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=797432 memory=706832 CPUtime=221.72 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 92165 0 0 0 21375 797 0 0 20 0 1 0 815679 816570368 176708 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 199358 176708 1867 992 0 191216 0
Current children cumulated CPU time: 221.72 s
Current children cumulated vsize: 797432 KiB
Current children cumulated memory: 706832 KiB
[startup+282.3 s]
/proc/loadavg: 4.11 4.10 4.09 5/247 8971
/proc/meminfo: memFree=127752988/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=797432 memory=709708 CPUtime=281.59 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 92291 0 0 0 27360 799 0 0 20 0 1 0 815679 816570368 177427 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 199358 177427 1867 992 0 191216 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 797432 KiB
Current children cumulated memory: 709708 KiB
[startup+342.3 s]
/proc/loadavg: 4.17 4.12 4.09 5/244 8984
/proc/meminfo: memFree=127113856/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1146180 memory=962948 CPUtime=341.46 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 131356 0 0 0 33273 873 0 0 20 0 1 0 815679 1173688320 240737 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 286545 240737 1867 992 0 278403 0
Current children cumulated CPU time: 341.46 s
Current children cumulated vsize: 1146180 KiB
Current children cumulated memory: 962948 KiB
[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/244 8994
/proc/meminfo: memFree=127001604/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1146180 memory=962952 CPUtime=401.33 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 131476 0 0 0 39256 877 0 0 20 0 1 0 815679 1173688320 240738 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 286545 240738 1867 992 0 278403 0
Current children cumulated CPU time: 401.33 s
Current children cumulated vsize: 1146180 KiB
Current children cumulated memory: 962952 KiB
[startup+462.3 s]
/proc/loadavg: 4.15 4.12 4.09 5/244 9005
/proc/meminfo: memFree=126847684/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1146180 memory=962952 CPUtime=461.21 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 131634 0 0 0 45242 879 0 0 20 0 1 0 815679 1173688320 240738 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 286545 240738 1867 992 0 278403 0
################
# More data... #
################
[startup+3162.3 s]
/proc/loadavg: 4.54 4.41 4.23 5/251 10235
/proc/meminfo: memFree=112216208/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3154.08 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 200991 0 0 0 313092 2316 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3154.08 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3222.3 s]
/proc/loadavg: 4.26 4.35 4.22 5/251 10245
/proc/meminfo: memFree=111882368/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3213.94 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 201240 0 0 0 319076 2318 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3213.94 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3282.3 s]
/proc/loadavg: 4.14 4.30 4.21 5/250 10255
/proc/meminfo: memFree=111444748/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3273.81 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 201472 0 0 0 325060 2321 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3273.81 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3342.3 s]
/proc/loadavg: 4.15 4.27 4.20 5/250 10650
/proc/meminfo: memFree=111186724/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3333.67 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 201760 0 0 0 331044 2323 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3333.67 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3402.3 s]
/proc/loadavg: 4.11 4.23 4.19 5/247 10660
/proc/meminfo: memFree=110866708/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3393.53 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 201959 0 0 0 337028 2325 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3393.53 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3462.3 s]
/proc/loadavg: 4.08 4.20 4.18 5/247 10670
/proc/meminfo: memFree=110456508/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3453.39 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202226 0 0 0 343012 2327 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3453.39 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3522.3 s]
/proc/loadavg: 4.06 4.18 4.17 5/249 10852
/proc/meminfo: memFree=110028472/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3513.26 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202481 0 0 0 348997 2329 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3513.26 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3582.3 s]
/proc/loadavg: 4.07 4.16 4.17 5/249 10862
/proc/meminfo: memFree=109661752/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3573.12 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202717 0 0 0 354981 2331 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3573.12 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+3609.3 s]
/proc/loadavg: 4.19 4.18 4.17 5/249 10962
/proc/meminfo: memFree=114776208/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3600.06 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357674 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
[startup+3611.31 s]
# the end of solver process 8843 was just reported to runsolver
# Child ended because it received signal 9 (SIGKILL)
# cumulated CPU time of all completed processes: user=3578.74 s, system=23.3302 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3609.6 s]
/proc/loadavg: 4.19 4.18 4.17 5/249 10962
/proc/meminfo: memFree=114776208/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3600.36 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357704 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3600.36 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3610.4 s]
/proc/loadavg: 4.19 4.18 4.17 5/249 10962
/proc/meminfo: memFree=114768272/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3601.16 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357784 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3601.16 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3610.8 s]
/proc/loadavg: 4.19 4.18 4.17 5/249 10962
/proc/meminfo: memFree=114768272/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3601.56 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357824 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3601.56 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3611.2 s]
/proc/loadavg: 4.17 4.17 4.17 5/249 10962
/proc/meminfo: memFree=114762512/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3601.96 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357864 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3601.96 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
[startup+3611.3 s]
/proc/loadavg: 4.17 4.17 4.17 5/249 10962
/proc/meminfo: memFree=114762512/131655788 swapFree=131071996/131071996
[pid=8843] ppid=8840 vsize=1781092 memory=1594084 CPUtime=3602.06 cores=4,6
/proc/8843/stat : 8843 (roundingsat) R 8840 8843 6532 0 -1 4194304 202838 0 0 0 357874 2332 0 0 20 0 1 0 815679 1823838208 398521 134679101440 4194304 8255733 140733053391472 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 9037040 9046032 41734144 140733053395806 140733053396068 140733053396068 140733053403081 0
/proc/8843/statm: 445273 398521 1883 992 0 437131 0
Current children cumulated CPU time: 3602.06 s
Current children cumulated vsize: 1781092 KiB
Current children cumulated memory: 1594084 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 3611.31
CPU time (s): 3602.07
CPU user time (s): 3578.74
CPU system time (s): 23.3302
CPU usage (%): 99.7443
Max. virtual memory (cumulated for all children) (KiB): 1781092
Max. memory (cumulated for all children) (KiB): 1594084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3578.74
system time used= 23.3302
maximum resident set size= 1594084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202838
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5958080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 32
involuntary context switches= 2668
# summary of solver processes directly reported to runsolver:
# pid: 8843
# total CPU time (s): 3602.07
# total CPU user time (s): 3578.74
# total CPU system time (s): 23.3302
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.7301 second user time and 34.2607 second system time
The end
Begin job on nodeC004 at 2024-07-30 15:00:46 IDJOB=4462761 IDBENCH=155404 IDSOLVER=3089 FILE ID=nodeC004/4462761-1722344445 RUNJOBID= nodeC004-1722340763-6543 SLURM_JOB_ID= 8248984 Free space on /tmp= 723700 MiB SOLVER NAME= RoundingSat log BENCH NAME= PB24/normalized-PB11/OPT-LIN/kullmann/normalized-mul_8_11_shg.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-4462761-1722344445/watcher-4462761-1722344445 -o /tmp/evaluation-result-4462761-1722344445/solver-4462761-1722344445 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC004-1722340763-6543 --watchdog 3760 roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 --proof-log=PROOFDIR/proof-4462761-1722344445 --lp-cut-gomory=0 HOME/instance-4462761-1722344445.opb TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= 1fbef458f61b2221fcf0474a376c4852 RANDOM SEED=768974306 nodeC004.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 3661.114 cache size : 15360 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1402.768 cache size : 15360 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.331 cache size : 15360 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.258 cache size : 15360 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.321 cache size : 15360 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 2855.976 cache size : 15360 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1545.665 cache size : 15360 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.85 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 79 model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz stepping : 1 microcode : 0xb00001f cpu MHz : 1197.235 cache size : 15360 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 20 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit bogomips : 6983.39 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131655788 kB MemFree: 118203608 kB MemAvailable: 129892528 kB Buffers: 45168 kB Cached: 12466320 kB SwapCached: 0 kB Active: 160608 kB Inactive: 12839284 kB Active(anon): 1416 kB Inactive(anon): 508396 kB Active(file): 159192 kB Inactive(file): 12330888 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131071996 kB Dirty: 102520 kB Writeback: 0 kB AnonPages: 488104 kB Mapped: 94544 kB Shmem: 21320 kB KReclaimable: 78080 kB Slab: 154028 kB SReclaimable: 78080 kB SUnreclaim: 75948 kB KernelStack: 3948 kB PageTables: 10068 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196899888 kB Committed_AS: 751352 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 6176 kB HardwareCorrupted: 0 kB AnonHugePages: 292864 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: 172872 kB DirectMap2M: 9168896 kB DirectMap1G: 126877696 kB Free space on /tmp at the end= 723648 MiB End job on nodeC004 at 2024-07-30 16:00:57