Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| SCIP 2024-07-07 | OPT | 378 | 25.2016 | 25.3751 |
| Name | PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/ opt/miplib2010/normalized-neos-1109824.opb |
| MD5SUM | ca6d41f9aded18c9e4512660dff57e08 |
| Bench Category | OPT-LIN (optimization problem, linear constraints, no OPT/UNSAT certificate) |
| Best result obtained on this benchmark | OPT |
| Best value of the objective obtained on this benchmark | 378 |
| Best CPU time to get the best result obtained on this benchmark | 18.2111 |
| 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 | 1520 |
| Total number of constraints | 28979 |
| Number of constraints which are clauses | 28880 |
| Number of constraints which are cardinality constraints (but not clauses) | 23 |
| Number of constraints which are nor clauses,nor cardinality constraints | 76 |
| Minimum length of a constraint | 2 |
| Maximum length of a constraint | 76 |
| Number of terms in the objective function | 1512 |
| Biggest coefficient in the objective function | 83 |
| Number of bits for the biggest coefficient in the objective function | 7 |
| Sum of the numbers in the objective function | 54080 |
| Number of bits of the sum of numbers in the objective function | 16 |
| Biggest number in a constraint | 83 |
| Number of bits of the biggest number in a constraint | 7 |
| Biggest sum of numbers in a constraint | 54080 |
| Number of bits of the biggest sum of numbers | 16 |
| 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.08 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.08 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.08 c
0.00/0.08 c user parameter file <scip.set> not found - using default parameters
0.00/0.08 c reading problem <HOME/instance-4459352-1721898458.opb>
0.01/0.14 c original problem has 1520 variables (1520 bin, 0 int, 0 impl, 0 cont) and 28979 constraints
0.01/0.14 c problem read in 0.05
0.01/0.17 c presolving:
0.11/0.23 c (0.2s) running MILP presolver
0.20/0.31 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.20/0.31 c (round 1, medium) 0 del vars, 28979 del conss, 9979 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 783 clqs
0.20/0.35 c (round 2, exhaustive) 0 del vars, 28979 del conss, 9979 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 9903 upgd conss, 0 impls, 783 clqs
0.69/0.83 c (0.8s) probing: 1000/1520 (65.8%) - 0 fixings, 0 aggregations, 51818 implications, 0 bound changes
0.69/0.84 c (0.8s) probing: 1001/1520 (65.9%) - 0 fixings, 0 aggregations, 51874 implications, 0 bound changes
0.69/0.84 c (0.8s) probing aborted: 1000/1000 successive useless probings
0.69/0.84 c (0.8s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.69/0.86 c (0.8s) symmetry computation finished: 4 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.01)
0.69/0.87 c dynamic symmetry handling statistics:
0.69/0.87 c orbitopal reduction: no components
0.69/0.87 c orbital reduction: 1 components of sizes 4
0.69/0.87 c lexicographic reduction: 4 permutations with support sizes 760, 760, 296, 760
0.69/0.87 c handled 1 out of 1 symmetry components
0.69/0.87 c presolving (3 rounds: 3 fast, 3 medium, 2 exhaustive):
0.69/0.87 c 0 deleted vars, 28979 deleted constraints, 9979 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.69/0.87 c 0 implications, 52657 cliques
0.69/0.87 c presolved problem has 1520 variables (1520 bin, 0 int, 0 impl, 0 cont) and 9979 constraints
0.69/0.87 c 783 constraints of type <setppc>
0.69/0.87 c 76 constraints of type <linear>
0.69/0.87 c 9120 constraints of type <logicor>
0.69/0.87 c transformed objective value is always integral (scale: 1)
0.69/0.87 c Presolving Time: 0.70
0.69/0.87 c - non default parameters ----------------------------------------------------------------------
0.69/0.87 c # SCIP version 10.0.0
0.69/0.87 c
0.69/0.87 c # maximal time in seconds to run
0.69/0.87 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.69/0.87 c limits/time = 3596.997328
0.69/0.87 c
0.69/0.87 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.69/0.87 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.69/0.87 c limits/memory = 27900
0.69/0.87 c
0.69/0.87 c # belongs reading time to solving time?
0.69/0.87 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.69/0.87 c timing/reading = TRUE
0.69/0.87 c
0.69/0.87 c -----------------------------------------------------------------------------------------------
0.69/0.87 c start solving
0.69/0.87 c
0.78/0.97 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.78/0.97 c 0.9s| 1 | 0 | 131 | - | 84M | 0 |1520 | 10k|9979 | 0 | 0 | 31 | 0 | 2.780000e+02 | -- | Inf | unknown
0.98/1.18 c 1.1s| 1 | 0 | 1162 | - | 87M | 0 |1520 | 10k| 10k| 32 | 1 | 31 | 0 | 2.780000e+02 | -- | Inf | unknown
1.19/1.30 c 1.2s| 1 | 0 | 1255 | - | 88M | 0 |1520 | 10k| 10k| 62 | 2 | 31 | 0 | 3.183500e+02 | -- | Inf | unknown
1.48/1.61 c 1.5s| 1 | 0 | 1313 | - | 92M | 0 |1520 | 10k| 10k| 83 | 3 | 31 | 0 | 3.368333e+02 | -- | Inf | unknown
1.58/1.78 c 1.7s| 1 | 0 | 1360 | - | 95M | 0 |1520 | 10k| 10k| 99 | 4 | 31 | 0 | 3.458000e+02 | -- | Inf | unknown
1.78/1.99 c 1.9s| 1 | 0 | 1380 | - | 97M | 0 |1520 | 10k| 10k| 107 | 5 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
1.98/2.16 c 2.1s| 1 | 0 | 1397 | - | 101M | 0 |1520 | 10k| 10k| 114 | 6 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.18/2.35 c 2.3s| 1 | 0 | 1416 | - | 105M | 0 |1520 | 10k| 10k| 123 | 7 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.28/2.44 c 2.4s| 1 | 0 | 1441 | - | 107M | 0 |1520 | 10k| 10k| 132 | 8 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.48/2.60 c 2.5s| 1 | 0 | 1457 | - | 109M | 0 |1520 | 10k| 10k| 143 | 9 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.48/2.67 c 2.6s| 1 | 0 | 1468 | - | 111M | 0 |1520 | 10k| 10k| 147 | 10 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.58/2.70 c 2.6s| 1 | 0 | 1482 | - | 113M | 0 |1520 | 10k| 10k| 154 | 11 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.58/2.72 c 2.6s| 1 | 0 | 1489 | - | 114M | 0 |1520 | 10k| 10k| 159 | 12 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.58/2.74 c 2.7s| 1 | 0 | 1499 | - | 115M | 0 |1520 | 10k| 10k| 162 | 13 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.68/2.88 c 2.8s| 1 | 0 | 1512 | - | 116M | 0 |1520 | 10k| 10k| 167 | 14 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.78/2.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2.78/2.90 c 2.8s| 1 | 0 | 1536 | - | 117M | 0 |1520 | 10k| 10k| 171 | 15 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.78/2.92 c 2.8s| 1 | 0 | 1560 | - | 118M | 0 |1520 |9998 | 10k| 174 | 16 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.78/2.94 c 2.9s| 1 | 0 | 1567 | - | 119M | 0 |1520 |9998 | 10k| 179 | 17 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.78/2.97 c 2.9s| 1 | 0 | 1603 | - | 119M | 0 |1520 |9996 | 10k| 183 | 18 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.78/2.99 c 2.9s| 1 | 0 | 1622 | - | 120M | 0 |1520 |9996 | 10k| 187 | 19 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.88/3.01 c 2.9s| 1 | 0 | 1640 | - | 121M | 0 |1520 |9996 | 10k| 194 | 20 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.88/3.04 c 3.0s| 1 | 0 | 1650 | - | 121M | 0 |1520 |9996 | 10k| 201 | 21 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
2.88/3.05 c 3.0s| 1 | 0 | 1653 | - | 121M | 0 |1520 |9996 | 10k| 202 | 22 | 31 | 0 | 3.460000e+02 | -- | Inf | unknown
3.88/4.04 c 4.0s| 1 | 2 | 3915 | - | 123M | 0 |1520 | 10k| 10k| 202 | 22 | 47 | 12 | 3.470833e+02 | -- | Inf | unknown
4.88/5.10 o 408
4.88/5.10 c * 5.0s| 13 | 10 | 4347 | 224.9 |strongbr| 7 |1520 | 10k| 10k| 202 | 1 | 51 | 174 | 3.470833e+02 | 4.080000e+02 | 17.55%| 1.15%
4.98/5.11 o 402
4.98/5.11 c * 5.0s| 13 | 10 | 4374 | 227.2 |strongbr| 7 |1520 | 10k| 10k| 202 | 2 | 51 | 175 | 3.470833e+02 | 4.020000e+02 | 15.82%| 1.15%
5.47/5.66 o 389
5.47/5.66 c * 5.6s| 19 | 9 | 4637 | 166.1 |strongbr| 7 |1520 |9788 | 10k| 202 | 1 | 134 | 271 | 3.470833e+02 | 3.890000e+02 | 12.08%| 7.49%
6.26/6.48 o 388
6.26/6.48 c * 6.4s| 31 | 11 | 5040 | 113.1 |strongbr| 9 |1520 |9472 | 10k| 202 | 1 | 215 | 416 | 3.470833e+02 | 3.880000e+02 | 11.79%| 10.68%
6.76/6.96 o 386
6.76/6.96 c * 6.9s| 35 | 11 | 5192 | 104.2 |strongbr| 9 |1520 |8377 | 10k| 202 | 8 | 309 | 515 | 3.470833e+02 | 3.860000e+02 | 11.21%| 11.65%
8.17/8.33 o 381
8.17/8.33 c * 8.2s| 49 | 13 | 5689 | 84.2 |strongbr| 10 |1520 |7895 | 10k| 260 | 2 | 428 | 632 | 3.470833e+02 | 3.810000e+02 | 9.77%| 15.62%
10.56/10.75 o 380
10.56/10.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
10.56/10.75 c *10.7s| 84 | 20 | 6742 | 61.4 |strongbr| 11 |1520 |6772 | 10k| 368 | 4 | 494 | 895 | 3.551111e+02 | 3.800000e+02 | 7.01%| 27.63%
11.06/11.24 c r11.2s| 96 | 20 | 7037 | 56.7 |shifting| 14 |1520 |6627 | 10k| 377 | 2 | 598 | 972 | 3.551111e+02 | 3.800000e+02 | 7.01%| 29.91%
11.45/11.69 c 11.6s| 100 | 20 | 7274 | 56.8 | 163M | 14 |1520 |6665 | 10k| 407 | 1 | 655 |1004 | 3.551111e+02 | 3.800000e+02 | 7.01%| 30.27%
12.35/12.52 o 378
12.35/12.52 c *12.4s| 106 | 17 | 7680 | 57.4 |strongbr| 14 |1520 |6683 | 10k| 482 | 3 | 693 |1033 | 3.551111e+02 | 3.780000e+02 | 6.45%| 34.81%
17.24/17.47 c 17.4s| 200 | 14 | 10671 | 45.3 | 181M | 14 |1520 |6314 | 10k| 845 | 1 | 932 |1367 | 3.640000e+02 | 3.780000e+02 | 3.85%| 77.02%
21.83/22.01 c 21.9s| 300 | 18 | 13523 | 39.7 | 197M | 20 |1520 |6429 | 10k|1197 | 0 |1175 |1638 | 3.650000e+02 | 3.780000e+02 | 3.56%| 92.51%
24.52/24.78 c 24.7s| 400 | 9 | 15894 | 35.7 | 206M | 20 |1520 |6464 | 10k|1566 | 0 |1312 |1794 | 3.725000e+02 | 3.780000e+02 | 1.48%| 95.25%
25.02/25.29 c
25.02/25.29 c SCIP Status : problem is solved [optimal solution found]
25.02/25.29 c Solving Time (sec) : 25.20
25.02/25.29 c Solving Nodes : 446
25.02/25.29 c Primal Bound : +3.78000000000000e+02 (9 solutions)
25.02/25.29 c Dual Bound : +3.78000000000000e+02
25.02/25.29 c Gap : 0.00 %
25.02/25.29 s OPTIMUM FOUND
25.02/25.29 v -x1300 -x1281 -x920 -x901 -x540 x521 -x160 -x141 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509
25.02/25.29 v -x1508 -x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x1495 -x1494 -x1493 -x1492
25.02/25.29 v -x1491 -x1490 -x1489 -x1488 -x1487 -x1486 -x1485 x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
25.02/25.29 v -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456
25.02/25.29 v -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438
25.02/25.29 v -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 -x1431 -x1430 -x1429 -x1428 -x1427 -x1426 -x1425 -x1424 -x1423 -x1422 -x1421 -x1420
25.02/25.29 v -x1419 -x1418 -x1417 -x1416 -x1415 -x1414 -x1413 -x1412 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402
25.02/25.29 v -x1401 -x1400 -x1399 -x1398 -x1397 -x1396 -x1395 -x1394 -x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 x1386 -x1385 -x1384
25.02/25.29 v -x1383 -x1382 -x1381 -x1380 -x1379 -x1378 -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 -x1367 -x1366
25.02/25.29 v -x1365 -x1364 -x1363 -x1362 -x1361 -x1360 -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1348
25.02/25.29 v -x1347 -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331
25.02/25.29 v -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 -x1315 -x1314 -x1313
25.02/25.29 v -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294
25.02/25.29 v -x1293 -x1292 -x1291 -x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
25.02/25.29 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263 -x1262 -x1261 -x1260 -x1259 -x1258 -x1257
25.02/25.29 v -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239
25.02/25.29 v -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1231 -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221
25.02/25.29 v -x1220 -x1219 -x1218 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 -x1204
25.02/25.29 v -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186
25.02/25.29 v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x1171 -x1170 -x1169 -x1168
25.02/25.29 v -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 x1160 -x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 x1152 -x1151 -x1150
25.02/25.29 v -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 x1136 -x1135 -x1134 -x1133 -x1132
25.02/25.29 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114
25.02/25.29 v -x1113 -x1112 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 x1102 -x1101 -x1100 -x1099 -x1098 -x1097 -x1096
25.02/25.29 v -x1095 -x1094 -x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 -x1082 -x1081 -x1080 -x1079 -x1078
25.02/25.29 v -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060
25.02/25.29 v -x1059 -x1058 -x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042
25.02/25.29 v -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 -x1028 x1027 -x1026 -x1025 -x1024
25.02/25.29 v -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006
25.02/25.29 v -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987
25.02/25.29 v -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966
25.02/25.29 v -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945
25.02/25.29 v -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924
25.02/25.29 v -x923 -x922 -x921 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902
25.02/25.29 v -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881
25.02/25.29 v -x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860
25.02/25.29 v -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839
25.02/25.29 v -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818
25.02/25.29 v -x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797
25.02/25.29 v -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 x777 -x776
25.02/25.29 v -x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755
25.02/25.29 v -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735
25.02/25.29 v -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714
25.02/25.29 v -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 -x705 -x704 -x703 -x702 -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693
25.02/25.29 v -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 -x680 -x679 -x678 -x677 -x676 x675 -x674 -x673 -x672
25.02/25.29 v -x671 -x670 -x669 -x668 -x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651
25.02/25.29 v -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 -x638 -x637 -x636 -x635 -x634 -x633 -x632 -x631 x630
25.02/25.29 v -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609
25.02/25.29 v -x608 -x607 -x606 -x605 -x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588
25.02/25.29 v -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 -x579 -x578 -x577 -x576 -x575 -x574 -x573 -x572 x571 -x570 -x569 -x568 -x567
25.02/25.29 v -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548 x547 -x546
25.02/25.29 v -x545 -x544 -x543 -x542 -x541 -x539 -x538 -x537 -x536 -x535 -x534 -x533 -x532 -x531 -x530 -x529 -x528 -x527 -x526 -x525 -x524
25.02/25.29 v -x523 -x522 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 -x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503
25.02/25.29 v -x502 -x501 -x500 -x499 x498 -x497 -x496 -x495 -x494 -x493 -x492 -x491 -x490 -x489 -x488 -x487 -x486 -x485 -x484 -x483 -x482
25.02/25.29 v -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 -x470 -x469 -x468 -x467 -x466 -x465 -x464 x463 -x462 -x461
25.02/25.29 v -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440
25.02/25.29 v -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 -x429 x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419
25.02/25.29 v -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 -x407 -x406 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398
25.02/25.29 v -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 -x388 -x387 -x386 -x385 x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377
25.02/25.29 v -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356
25.02/25.29 v -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335
25.02/25.29 v -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314
25.02/25.29 v -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293
25.02/25.29 v -x292 -x291 -x290 -x289 -x288 -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272
25.02/25.29 v -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257 -x256 -x255 -x254 -x253 -x252
25.02/25.29 v -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231
25.02/25.29 v -x230 -x229 -x228 -x227 -x226 x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210
25.02/25.29 v -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x198 -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189
25.02/25.29 v -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168
25.02/25.29 v -x167 -x166 -x165 -x164 -x163 -x162 -x161 -x159 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146
25.02/25.29 v -x145 -x144 -x143 -x142 -x140 -x139 -x138 -x137 -x136 -x135 -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124
25.02/25.29 v -x123 -x122 -x121 -x120 -x119 -x118 -x117 -x116 -x115 -x114 -x113 -x112 -x111 -x110 -x109 -x108 -x107 x106 -x105 -x104 -x103
25.02/25.29 v -x102 -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 -x91 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79
25.02/25.29 v -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54
25.02/25.29 v -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 -x43 -x42 -x41 -x40 -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29
25.02/25.29 v -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x12 -x11 -x10 -x9 -x8 -x7 -x6 x5 -x4 -x3
25.02/25.29 v -x2 -x1
25.02/25.29 c SCIP Status : problem is solved [optimal solution found]
25.02/25.29 c Total Time : 25.20
25.02/25.29 c solving : 25.20
25.02/25.29 c presolving : 0.70 (included in solving)
25.02/25.29 c reading : 0.05 (included in solving)
25.02/25.29 c copying : 0.09 (7 #copies) (minimal 0.01, maximal 0.02, average 0.01)
25.02/25.29 c Original Problem :
25.02/25.29 c Problem name : HOME/instance-4459352-1721898458.opb
25.02/25.29 c Variables : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
25.02/25.29 c Constraints : 28979 initial, 28979 maximal
25.02/25.29 c Objective : minimize, 1512 non-zeros (abs.min = 3, abs.max = 83)
25.02/25.29 c Presolved Problem :
25.02/25.29 c Problem name : t_HOME/instance-4459352-1721898458.opb
25.02/25.29 c Variables : 1520 (1520 binary, 0 integer, 0 implicit integer, 0 continuous)
25.02/25.29 c Constraints : 9979 initial, 10012 maximal
25.02/25.29 c Objective : minimize, 1512 non-zeros (abs.min = 3, abs.max = 83)
25.02/25.29 c Nonzeros : 33288 constraint, 2440 clique table
25.02/25.29 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
25.02/25.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c implics : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.02/25.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c milp : 0.11 0.00 1 0 0 0 0 0 28979 9979 0 0
25.02/25.29 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c sparsify : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c trivial : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.02/25.29 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c dualfix : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.02/25.29 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c probing : 0.45 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c symmetry : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c knapsack : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
25.02/25.29 c linear : 0.06 0.01 5 0 0 0 0 0 0 0 0 0
25.02/25.29 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
25.02/25.29 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c root node : - - - 1296 - - 1296 - - - - -
25.02/25.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
25.02/25.29 c benderslp : 0 0 0 0 556 0 0 30 0 0 0 0 0 0 0
25.02/25.29 c integral : 0 0 0 0 556 0 0 30 0 3 1310 0 0 1010 454
25.02/25.29 c knapsack : 0+ 7 0 8034 0 0 0 0 216 6 191 0 0 0 0
25.02/25.29 c setppc : 783+ 811 22 14350 0 0 0 25 27623 40 5757 0 0 0 0
25.02/25.29 c linear : 76+ 77 22 14310 0 0 0 12 7771 126 5124 0 0 0 0
25.02/25.29 c logicor : 9120+ 9148 22 7120 0 0 0 10 465 63 406 0 0 0 0
25.02/25.29 c benders : 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0
25.02/25.29 c fixedvar : 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0
25.02/25.29 c countsols : 0 0 0 0 0 0 0 12 0 0 0 0 0 0 0
25.02/25.29 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
25.02/25.29 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c integral : 8.36 0.00 0.00 0.00 8.36 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c knapsack : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c setppc : 0.13 0.00 0.00 0.05 0.00 0.00 0.00 0.00 0.00 0.08
25.02/25.29 c linear : 0.20 0.01 0.03 0.08 0.00 0.00 0.00 0.00 0.01 0.07
25.02/25.29 c logicor : 0.30 0.00 0.03 0.16 0.00 0.00 0.00 0.00 0.00 0.11
25.02/25.29 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
25.02/25.29 c dualfix : 1 0 0 0
25.02/25.29 c genvbounds : 0 0 0 0
25.02/25.29 c nlobbt : 0 0 0 0
25.02/25.29 c obbt : 0 0 0 0
25.02/25.29 c probing : 0 0 0 0
25.02/25.29 c pseudoobj : 2883 0 0 1
25.02/25.29 c redcost : 2096 0 0 28252
25.02/25.29 c rootredcost : 9 0 0 428
25.02/25.29 c symmetry : 8084 0 1 898
25.02/25.29 c vbounds : 3805 0 0 0
25.02/25.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
25.02/25.29 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c probing : 0.45 0.00 0.45 0.00 0.00 0.00
25.02/25.29 c pseudoobj : 0.01 0.00 0.00 0.01 0.00 0.00
25.02/25.29 c redcost : 0.16 0.00 0.00 0.16 0.00 0.00
25.02/25.29 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c symmetry : 0.26 0.00 0.02 0.20 0.00 0.04
25.02/25.29 c vbounds : 0.01 0.00 0.00 0.00 0.00 0.00
25.02/25.29 c Symmetry :
25.02/25.29 c orbitopal red. : 0 reductions applied, 0 cutoffs
25.02/25.29 c orbital reduction: 897 reductions applied, 1 cutoffs
25.02/25.29 c lexicographic red: 1 reductions applied, 0 cutoffs
25.02/25.29 c shadow tree time : 0.00 s
25.02/25.29 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
25.02/25.29 c propagation : 0.01 163 159 - 549 123.8 40 36.3 - - -
25.02/25.29 c infeasible LP : 0.01 17 17 - 85 157.9 0 0.0 11 95.7 0
25.02/25.29 c bound exceed. LP : 0.92 597 221 - 1141 116.8 5 14.8 0 0.0 4126
25.02/25.29 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
25.02/25.29 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
25.02/25.29 c applied globally : 0.20 - - 0 1369 63.4 - - 11 - -
25.02/25.29 c applied locally : - - - 0 9 256.2 - - 0 - -
25.02/25.29 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
25.02/25.29 c cut pool : 0.47 - 472 43 - - 4128 32389 - - - - - (maximal pool size: 2464)
25.02/25.29 c aggregation : 0.30 0.00 243 22 0 0 0 0 0 0 0 0 0
25.02/25.29 c > cmir : - - - - - - - 0 0 0 0 0 -
25.02/25.29 c > flowcover : - - - - - - - 0 0 0 0 0 -
25.02/25.29 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
25.02/25.29 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c clique : 0.04 0.00 22 22 0 0 55 250 0 121 121 0 0
25.02/25.29 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c gomory : 8.65 0.00 157 10 0 0 3771 30143 110 742 737 5 0
25.02/25.29 c > gomorymi : - - - - - - - 12349 55 185 182 3 -
25.02/25.29 c > strongcg : - - - - - - - 17794 55 557 555 2 -
25.02/25.29 c impliedbounds : 0.37 0.00 244 22 0 0 0 0 0 0 0 0 0
25.02/25.29 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c multilinear : 0.00 0.00 67 22 0 0 0 0 0 0 0 0 0
25.02/25.29 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
25.02/25.29 c rapidlearning : 0.12 0.00 1 1 0 0 0 0 0 0 0 0 0
25.02/25.29 c rlt : 0.00 0.00 52 10 0 0 0 0 0 0 0 0 0
25.02/25.29 c zerohalf : 0.25 0.00 166 20 0 0 423 1996 11 739 731 8 0
25.02/25.29 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
25.02/25.29 c hybrid : 0.06 0.00 268 22 1602 0 30908 202 0 710
25.02/25.29 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c Pricers : ExecTime SetupTime Calls Vars
25.02/25.29 c problem variables: 0.00 - 0 0
25.02/25.29 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
25.02/25.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c random : 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c relpscost : 8.36 0.00 556 0 0 3 1310 0 1131 454
25.02/25.29 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
25.02/25.29 c Primal Heuristics : ExecTime SetupTime Calls Found Best
25.02/25.29 c LP solutions : 0.00 - - 0 0
25.02/25.29 c relax solutions : 0.00 - - 0 0
25.02/25.29 c pseudo solutions : 0.00 - - 0 0
25.02/25.29 c strong branching : 0.01 - - 8 8
25.02/25.29 c actconsdiving : 0.00 0.00 0 0 0
25.02/25.29 c adaptivediving : 0.00 0.00 0 0 0
25.02/25.29 c alns : 0.11 0.00 3 0 0
25.02/25.29 c bound : 0.00 0.00 0 0 0
25.02/25.29 c clique : 0.03 0.00 1 0 0
25.02/25.29 c coefdiving : 0.00 0.00 0 0 0
25.02/25.29 c completesol : 0.00 0.00 0 0 0
25.02/25.29 c conflictdiving : 0.03 0.00 1 0 0
25.02/25.29 c crossover : 0.03 0.00 1 0 0
25.02/25.29 c dins : 0.00 0.00 0 0 0
25.02/25.29 c distributiondivin: 0.02 0.00 0 0 0
25.02/25.29 c dps : 0.00 0.00 0 0 0
25.02/25.29 c dualval : 0.00 0.00 0 0 0
25.02/25.29 c farkasdiving : 0.73 0.00 1 0 0
25.02/25.29 c feasjump : 0.01 0.00 1 0 0
25.02/25.29 c feaspump : 0.07 0.00 1 0 0
25.02/25.29 c fixandinfer : 0.00 0.00 0 0 0
25.02/25.29 c fracdiving : 0.00 0.00 0 0 0
25.02/25.29 c gins : 0.00 0.00 0 0 0
25.02/25.29 c guideddiving : 0.00 0.00 0 0 0
25.02/25.29 c indcoefdiving : 0.00 0.00 0 0 0
25.02/25.29 c indicator : 0.00 0.00 0 0 0
25.02/25.29 c indicatordiving : 0.00 0.00 0 0 0
25.02/25.29 c indoneopt : 0.00 0.00 0 0 0
25.02/25.29 c indrounding : 0.00 0.00 0 0 0
25.02/25.29 c indtwoopt : 0.00 0.00 0 0 0
25.02/25.29 c intdiving : 0.00 0.00 0 0 0
25.02/25.29 c intshifting : 0.00 0.00 0 0 0
25.02/25.29 c linesearchdiving : 0.00 0.00 0 0 0
25.02/25.29 c localbranching : 0.00 0.00 0 0 0
25.02/25.29 c locks : 0.01 0.00 1 0 0
25.02/25.29 c lpface : 0.00 0.00 0 0 0
25.02/25.29 c mpec : 0.00 0.00 0 0 0
25.02/25.29 c multistart : 0.00 0.00 0 0 0
25.02/25.29 c mutation : 0.00 0.00 0 0 0
25.02/25.29 c nlpdiving : 0.00 0.00 0 0 0
25.02/25.29 c objpscostdiving : 0.00 0.00 0 0 0
25.02/25.29 c octane : 0.00 0.00 0 0 0
25.02/25.29 c ofins : 0.00 0.00 0 0 0
25.02/25.29 c oneopt : 0.01 0.00 9 0 0
25.02/25.29 c padm : 0.00 0.00 0 0 0
25.02/25.29 c proximity : 0.00 0.00 0 0 0
25.02/25.29 c pscostdiving : 0.03 0.00 1 0 0
25.02/25.29 c randrounding : 0.06 0.00 27 0 0
25.02/25.29 c rens : 0.03 0.00 1 0 0
25.02/25.29 c reoptsols : 0.00 0.00 0 0 0
25.02/25.29 c repair : 0.00 0.00 0 0 0
25.02/25.29 c rins : 0.02 0.00 1 0 0
25.02/25.29 c rootsoldiving : 0.00 0.00 0 0 0
25.02/25.29 c rounding : 0.05 0.00 344 0 0
25.02/25.29 c scheduler : 0.00 0.00 0 0 0
25.02/25.29 c shiftandpropagate: 0.01 0.00 1 0 0
25.02/25.29 c shifting : 0.11 0.00 260 1 0
25.02/25.29 c simplerounding : 0.00 0.00 0 0 0
25.02/25.29 c smallcard : 0.00 0.00 0 0 0
25.02/25.29 c subnlp : 0.00 0.00 0 0 0
25.02/25.29 c trivial : 0.00 0.00 2 0 0
25.02/25.29 c trivialnegation : 0.00 0.00 0 0 0
25.02/25.29 c trustregion : 0.00 0.00 0 0 0
25.02/25.29 c trysol : 0.00 0.00 0 0 0
25.02/25.29 c twoopt : 0.00 0.00 0 0 0
25.02/25.29 c undercover : 0.00 0.00 0 0 0
25.02/25.29 c vbounds : 0.02 0.00 1 0 0
25.02/25.29 c veclendiving : 0.00 0.00 0 0 0
25.02/25.29 c zeroobj : 0.00 0.00 0 0 0
25.02/25.29 c zirounding : 0.01 0.00 225 0 0
25.02/25.29 c other solutions : - - - 0 -
25.02/25.29 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
25.02/25.29 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
25.02/25.29 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
25.02/25.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
25.02/25.29 c primal LP : 0.06 64 0 0.00 0.00 0.06 64
25.02/25.29 c dual LP : 2.55 1696 12597 12.15 4937.62 0.61 659
25.02/25.29 c lex dual LP : 0.00 0 0 0.00 -
25.02/25.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
25.02/25.29 c resolve instable : 0.00 0 0 0.00 -
25.02/25.29 c diving/probing LP: 1.31 562 3958 7.04 3022.74
25.02/25.29 c strong branching : 4.73 1834 28350 15.46 5990.77 - - 230
25.02/25.29 c (at root node) : - 12 1116 93.00 -
25.02/25.29 c conflict analysis: 0.52 452 4126 9.13 7932.45
25.02/25.29 c B&B Tree :
25.02/25.29 c number of runs : 1
25.02/25.29 c nodes : 446 (227 internal, 219 leaves)
25.02/25.29 c feasible leaves : 0
25.02/25.29 c infeas. leaves : 29
25.02/25.29 c objective leaves : 190
25.02/25.29 c nodes (total) : 446 (227 internal, 219 leaves)
25.02/25.29 c nodes left : 0
25.02/25.29 c max depth : 21
25.02/25.29 c max depth (total): 21
25.02/25.29 c backtracks : 82 (18.4%)
25.02/25.29 c early backtracks : 0 (0.0%)
25.02/25.29 c nodes exc. ref. : 0 (0.0%)
25.02/25.29 c delayed cutoffs : 3
25.02/25.29 c repropagations : 83 (202 domain reductions, 3 cutoffs)
25.02/25.29 c avg switch length: 3.55
25.02/25.29 c switching time : 0.22
25.02/25.29 c Root Node :
25.02/25.29 c First LP value : +2.78000000000000e+02
25.02/25.29 c First LP Iters : 126 (23187.34 Iter/sec)
25.02/25.29 c First LP Time : 0.01
25.02/25.29 c Final Dual Bound : +3.47083333333333e+02
25.02/25.29 c Final Root Iters : 1648
25.02/25.29 c Root LP Estimate : +3.71837007486185e+02
25.02/25.29 c Solution :
25.02/25.29 c Solutions found : 9 (8 improvements)
25.02/25.29 c First Solution : +4.08000000000000e+02 (in run 1, after 13 nodes, 5.01 seconds, depth 9, found by <relaxation>)
25.02/25.29 c Gap First Sol. : 17.55 %
25.02/25.29 c Gap Last Sol. : 6.45 %
25.02/25.29 c Primal Bound : +3.78000000000000e+02 (in run 1, after 106 nodes, 12.43 seconds, depth 13, found by <relaxation>)
25.02/25.29 c Dual Bound : +3.78000000000000e+02
25.02/25.29 c Gap : 0.00 %
25.02/25.29 c Integrals : Total Avg%
25.02/25.29 c primal-dual : 616.41 24.46
25.02/25.29 c primal-ref : - - (not evaluated)
25.02/25.29 c dual-ref : - - (not evaluated)
25.12/25.36 c Time complete: 25.1886.
OK 378
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 (60809 MiB free)
memory of node 1: 64473 MiB (59119 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459352-1721898458/watcher-4459352-1721898458 -o /tmp/evaluation-result-4459352-1721898458/solver-4459352-1721898458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721898458-234047 --watchdog 3760 pbscip -f HOME/instance-4459352-1721898458.opb -t 3600 -j 2 -m 31000
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Current StackSize limit: 8192 KiB
solver pid=234100, runsolver pid=234090
[startup+0.100715 s]*
/proc/loadavg: 0.73 1.77 2.96 8/263 234108
/proc/meminfo: memFree=122762840/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=62212 memory=21652 CPUtime=0.01 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 2526 0 4 0 1 0 0 0 20 0 1 0 26369210 63705088 5413 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 0 0 0 0 17 1 0 0 8 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 15553 5413 3217 3540 0 3810 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 62212 KiB
Current children cumulated memory: 21652 KiB
[startup+0.205948 s]*
/proc/loadavg: 0.73 1.77 2.96 6/263 234108
/proc/meminfo: memFree=122611060/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=102272 memory=59660 CPUtime=0.11 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 11799 0 4 0 10 1 0 0 20 0 1 0 26369210 104726528 14915 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 8 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 25568 14915 3569 3540 0 13825 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 102272 KiB
Current children cumulated memory: 59660 KiB
[startup+0.306725 s]*
/proc/loadavg: 0.73 1.77 2.96 7/261 234108
/proc/meminfo: memFree=122605004/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=111996 memory=72096 CPUtime=0.2 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 17741 0 4 0 18 2 0 0 20 0 1 0 26369210 114683904 18024 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 27999 18024 3696 3540 0 16256 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111996 KiB
Current children cumulated memory: 72096 KiB
[startup+0.700169 s]
/proc/loadavg: 0.73 1.77 2.96 7/261 234122
/proc/meminfo: memFree=122521488/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=116596 memory=76336 CPUtime=0.59 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 19539 0 4 0 56 3 0 0 20 0 1 0 26369210 119394304 19084 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 29149 19084 3744 3540 0 17406 0
Current children cumulated CPU time: 0.59 s
Current children cumulated vsize: 116596 KiB
Current children cumulated memory: 76336 KiB
[startup+1.50018 s]
/proc/loadavg: 0.91 1.79 2.96 7/263 234154
/proc/meminfo: memFree=122339436/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=154096 memory=108736 CPUtime=1.38 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 27504 0 4 0 134 4 0 0 20 0 1 0 26369210 157794304 27184 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 38524 27184 3936 3540 0 26781 0
Current children cumulated CPU time: 1.38 s
Current children cumulated vsize: 154096 KiB
Current children cumulated memory: 108736 KiB
[startup+3.10615 s]
/proc/loadavg: 0.91 1.79 2.96 7/263 234154
/proc/meminfo: memFree=122300532/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=212104 memory=153872 CPUtime=2.98 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 38749 0 4 0 293 5 0 0 20 0 1 0 26369210 217194496 38468 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 53026 38468 3936 3540 0 41283 0
Current children cumulated CPU time: 2.98 s
Current children cumulated vsize: 212104 KiB
Current children cumulated memory: 153872 KiB
[startup+6.30022 s]
/proc/loadavg: 1.16 1.83 2.96 7/263 234154
/proc/meminfo: memFree=122291712/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=212104 memory=155364 CPUtime=6.16 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 39063 0 4 0 611 5 0 0 20 0 1 0 26369210 217194496 38841 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 53026 38841 3983 3540 0 41283 0
Current children cumulated CPU time: 6.16 s
Current children cumulated vsize: 212104 KiB
Current children cumulated memory: 155364 KiB
[startup+12.7002 s]
/proc/loadavg: 1.38 1.86 2.97 7/263 234202
/proc/meminfo: memFree=122225672/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=234916 memory=164324 CPUtime=12.55 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 41309 0 4 0 1249 6 0 0 20 0 1 0 26369210 240553984 41081 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 58729 41081 3983 3540 0 46986 0
Current children cumulated CPU time: 12.55 s
Current children cumulated vsize: 234916 KiB
Current children cumulated memory: 164324 KiB
[startup+25.3751 s]
# the end of solver process 234100 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=25.0879 s, system=0.113636 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+12.8003 s]
/proc/loadavg: 1.38 1.86 2.97 7/263 234202
/proc/meminfo: memFree=122225672/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=235140 memory=164588 CPUtime=12.65 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 41374 0 4 0 1259 6 0 0 20 0 1 0 26369210 240783360 41147 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 58785 41147 3983 3540 0 47042 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 235140 KiB
Current children cumulated memory: 164588 KiB
[startup+19.2002 s]
/proc/loadavg: 1.59 1.90 2.97 7/263 234203
/proc/meminfo: memFree=122112556/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=254104 memory=170908 CPUtime=19.04 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 42998 0 4 0 1896 8 0 0 20 0 1 0 26369210 260202496 42727 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 63526 42727 3983 3540 0 51783 0
Current children cumulated CPU time: 19.04 s
Current children cumulated vsize: 254104 KiB
Current children cumulated memory: 170908 KiB
[startup+22.4002 s]
/proc/loadavg: 1.87 1.95 2.98 7/263 234203
/proc/meminfo: memFree=122079920/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=272704 memory=189852 CPUtime=22.22 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 47707 0 4 0 2213 9 0 0 20 0 1 0 26369210 279248896 47463 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 68176 47463 3983 3540 0 56433 0
Current children cumulated CPU time: 22.22 s
Current children cumulated vsize: 272704 KiB
Current children cumulated memory: 189852 KiB
[startup+24.0002 s]*
/proc/loadavg: 1.87 1.95 2.98 7/263 234203
/proc/meminfo: memFree=122065052/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=272704 memory=189852 CPUtime=23.82 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 47724 0 4 0 2373 9 0 0 20 0 1 0 26369210 279248896 47463 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 68176 47463 3983 3540 0 56433 0
Current children cumulated CPU time: 23.82 s
Current children cumulated vsize: 272704 KiB
Current children cumulated memory: 189852 KiB
[startup+24.8002 s]
/proc/loadavg: 1.87 1.95 2.98 7/263 234203
/proc/meminfo: memFree=122065052/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=272704 memory=189852 CPUtime=24.62 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 47729 0 4 0 2453 9 0 0 20 0 1 0 26369210 279248896 47463 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 68176 47463 3983 3540 0 56433 0
Current children cumulated CPU time: 24.62 s
Current children cumulated vsize: 272704 KiB
Current children cumulated memory: 189852 KiB
[startup+25.2002 s]
/proc/loadavg: 1.87 1.95 2.98 7/263 234203
/proc/meminfo: memFree=122065188/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=283580 memory=199356 CPUtime=25.02 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 50108 0 4 0 2492 10 0 0 20 0 1 0 26369210 290385920 49839 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 2 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 70895 49839 3983 3540 0 59152 0
Current children cumulated CPU time: 25.02 s
Current children cumulated vsize: 283580 KiB
Current children cumulated memory: 199356 KiB
[startup+25.3002 s]
/proc/loadavg: 1.87 1.95 2.98 7/263 234203
/proc/meminfo: memFree=122065188/131524600 swapFree=131054712/131071996
[pid=234100] ppid=234090 vsize=283580 memory=199356 CPUtime=25.12 cores=1,3
/proc/234100/stat : 234100 (pbscip) R 234090 234100 234035 0 -1 4194304 50120 0 4 0 2502 10 0 0 20 0 1 0 26369210 290385920 49839 134679101440 4194304 18693293 140729672908896 0 0 0 0 0 0 0 0 0 17 1 0 0 9 0 0 21375888 21430392 38313984 140729672918020 140729672918119 140729672918119 140729672925134 0
/proc/234100/statm: 70895 49839 3983 3540 0 59152 0
Current children cumulated CPU time: 25.12 s
Current children cumulated vsize: 283580 KiB
Current children cumulated memory: 199356 KiB
Child status: 0
Real time (s): 25.3751
CPU time (s): 25.2016
CPU user time (s): 25.0879
CPU system time (s): 0.113636
CPU usage (%): 99.316
Max. virtual memory (cumulated for all children) (KiB): 283580
Max. memory (cumulated for all children) (KiB): 199356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 25.0879
system time used= 0.113636
maximum resident set size= 199356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50126
page faults= 4
swaps= 0
block input operations= 680
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 35
involuntary context switches= 39
# summary of solver processes directly reported to runsolver:
# pid: 234100
# total CPU time (s): 25.2016
# total CPU user time (s): 25.0879
# total CPU system time (s): 0.113636
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.069761 second user time and 0.152091 second system time
The end
Begin job on nodeC028 at 2024-07-25 11:07:38 IDJOB=4459352 IDBENCH=178773 IDSOLVER=3059 FILE ID=nodeC028/4459352-1721898458 RUNJOBID= nodeC028-1721898458-234047 SLURM_JOB_ID= 8089360 Free space on /tmp= 890064 MiB SOLVER NAME= SCIP 2024-07-07 BENCH NAME= PB24/normalized-PB24/OPT-LIN/nordstrom/MIPLIB01/opt/miplib2010/normalized-neos-1109824.opb COMMAND LINE= pbscip -f BENCHNAME -t TIMEOUT -j NBCORE -m MEMLIMIT RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4459352-1721898458/watcher-4459352-1721898458 -o /tmp/evaluation-result-4459352-1721898458/solver-4459352-1721898458 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721898458-234047 --watchdog 3760 pbscip -f HOME/instance-4459352-1721898458.opb -t 3600 -j 2 -m 31000 TIME LIMIT= 3600 seconds MEMORY LIMIT= 31000 MiB NBCORE= 2 MD5SUM BENCH= ca6d41f9aded18c9e4512660dff57e08 RANDOM SEED=1499488337 nodeC028.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 : 3797.581 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.46 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 : 3649.235 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.51 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 : 3634.562 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.46 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 : 3696.226 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.51 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 : 3779.349 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.46 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 : 3674.718 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.51 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 : 3609.902 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.46 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 : 3753.063 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.51 clflush size : 64 cache_alignment : 64 address sizes : 46 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 131524600 kB MemFree: 122809248 kB MemAvailable: 129701688 kB Buffers: 309388 kB Cached: 7369000 kB SwapCached: 284 kB Active: 2341280 kB Inactive: 5693732 kB Active(anon): 4352 kB Inactive(anon): 404532 kB Active(file): 2336928 kB Inactive(file): 5289200 kB Unevictable: 0 kB Mlocked: 0 kB SwapTotal: 131071996 kB SwapFree: 131054712 kB Dirty: 74468 kB Writeback: 84 kB AnonPages: 356472 kB Mapped: 96720 kB Shmem: 51932 kB KReclaimable: 212268 kB Slab: 333316 kB SReclaimable: 212268 kB SUnreclaim: 121048 kB KernelStack: 3968 kB PageTables: 9716 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 196834296 kB Committed_AS: 693100 kB VmallocTotal: 34359738367 kB VmallocUsed: 0 kB VmallocChunk: 0 kB Percpu: 13440 kB HardwareCorrupted: 0 kB AnonHugePages: 233472 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: 443092 kB DirectMap2M: 51759104 kB DirectMap1G: 83886080 kB Free space on /tmp at the end= 889984 MiB End job on nodeC028 at 2024-07-25 11:08:04