0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.0.0] [GitHash: 405ed0d46f]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-4442295-1721297366.opb>
0.00/0.02 c original problem has 2903 variables (2903 bin, 0 int, 0 impl, 0 cont) and 2066 constraints
0.00/0.02 c problem read in 0.02
0.00/0.02 c No objective function, only one solution is needed.
0.00/0.03 c presolving:
0.00/0.05 c (0.0s) running MILP presolver
0.00/0.06 c (0.1s) MILP presolver found nothing
0.00/0.07 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2066 upgd conss, 0 impls, 88 clqs
0.09/0.11 c (0.1s) probing: 51/2903 (1.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.12 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.29/0.38 c (0.4s) symmetry computation finished: 124 generators found (max: 1500, log10 of symmetry group size: 130.0) (symcode time: 0.25)
0.29/0.39 c dynamic symmetry handling statistics:
0.29/0.39 c orbitopal reduction: no components
0.29/0.39 c orbital reduction: 1 components of sizes 124
0.29/0.39 c lexicographic reduction: 124 permutations with support sizes 46, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 44, 128, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 90, 46, 130, 560, 216
0.29/0.39 c handled 1 out of 1 symmetry components
0.29/0.40 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.29/0.40 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.29/0.40 c 0 implications, 88 cliques
0.29/0.40 c presolved problem has 2903 variables (2903 bin, 0 int, 0 impl, 0 cont) and 2066 constraints
0.29/0.40 c 88 constraints of type <setppc>
0.29/0.40 c 1978 constraints of type <logicor>
0.29/0.40 c transformed objective value is always integral (scale: 1)
0.29/0.40 c Presolving Time: 0.37
0.29/0.40 c - non default parameters ----------------------------------------------------------------------
0.29/0.40 c # SCIP version 10.0.0
0.29/0.40 c
0.29/0.40 c # maximal time in seconds to run
0.29/0.40 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.29/0.40 c limits/time = 3596.998007
0.29/0.40 c
0.29/0.40 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.29/0.40 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.29/0.40 c limits/memory = 27900
0.29/0.40 c
0.29/0.40 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.29/0.40 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.29/0.40 c limits/solutions = 1
0.29/0.40 c
0.29/0.40 c # bitset describing used symmetry handling technique: (0: off; 1: constraint-based (orbitopes and/or symresacks); 2: orbital fixing; 3: orbitopes and orbital fixing; 4: Schreier Sims cuts; 5: Schreier Sims cuts and orbitopes; 6: Schreier Sims cuts and orbital fixing; 7: Schreier Sims cuts, orbitopes, and orbital fixing) See type_symmetry.h.
0.29/0.40 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.29/0.40 c misc/usesymmetry = 3
0.29/0.40 c
0.29/0.40 c # belongs reading time to solving time?
0.29/0.40 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.29/0.40 c timing/reading = TRUE
0.29/0.40 c
0.29/0.40 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.29/0.40 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.40 c propagating/symmetry/detectdoublelex = FALSE
0.29/0.40 c
0.29/0.40 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.29/0.40 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.40 c propagating/symmetry/detectsubgroups = FALSE
0.29/0.40 c
0.29/0.40 c # Type of symmetries that shall be computed?
0.29/0.40 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.29/0.40 c propagating/symmetry/symtype = 1
0.29/0.40 c
0.29/0.40 c # Should components consisting of a single full reflection be handled?
0.29/0.40 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.29/0.40 c propagating/symmetry/usesimplesgncomp = FALSE
0.29/0.40 c
0.29/0.40 c -----------------------------------------------------------------------------------------------
0.29/0.40 c start solving
0.29/0.40 c
0.39/0.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.39/0.43 c p 0.4s| 1 | 0 | 9 | - | locks| 0 |2903 |2067 |2066 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.39/0.43 c
0.39/0.43 c SCIP Status : problem is solved [optimal solution found]
0.39/0.43 c Solving Time (sec) : 0.43
0.39/0.43 c Solving Nodes : 1
0.39/0.43 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.39/0.43 c Dual Bound : +0.00000000000000e+00
0.39/0.43 c Gap : 0.00 %
0.39/0.43 s SATISFIABLE
0.39/0.43 v -x135 -x1095 -x1544 -x1531 -x103 -x1350 -x1345 -x1342 -x1329 -x116 -x1752 -x1748 -x1734 -x1715 -x1539 -x1311 -x1091 -x1729 -x1743
0.39/0.43 v -x1032 -x1030 -x1029 -x1025 -x1022 -x1008 -x126 -x1111 -x1552 -x1331 -x995 -x1319 -x1318 -x1034 -x1563 -x1570 -x1534 -x1747
0.39/0.43 v -x1727 -x1723 -x1538 -x1564 -x168 -x159 -x158 -x157 -x145 -x167 -x119 -x1081 -x1755 -x1327 -x1933 -x1925 -x1921 -x1916 -x1912
0.39/0.43 v -x1902 -x1901 -x1895 -x1753 -x1658 -x1645 -x1644 -x1630 -x1625 -x1621 -x1788 -x1779 -x1774 -x1772 -x1770 -x1769 -x1764 -x1333
0.39/0.43 v -x170 -x1301 -x1292 -x1291 -x1280 -x1275 -x1274 -x1096 -x151 -x1648 -x173 -x143 -x851 -x843 -x841 -x836 -x824 -x818 -x1768
0.39/0.43 v -x1756 -x1282 -x146 -x1316 -x1296 -x845 -x1720 -x110 -x163 -x1088 -x1312 -x1545 -x823 -x1557 -x1125 -x1016 -x1005 -x1332 -x1571
0.39/0.43 v -x1654 -x1712 -x1294 -x1898 -x1108 -x140 -x1757 -x1792 -x1567 -x138 -x992 -x540 -x537 -x536 -x534 -x525 -x519 -x518 -x509
0.39/0.43 v -x506 -x504 -x496 -x941 -x936 -x922 -x921 -x916 -x912 -x905 -x901 -x1002 -x1305 -x1300 -x1348 -x147 -x932 -x1661 -x820 -x1786
0.39/0.43 v -x101 -x930 -x821 -x1740 -x1646 -x1565 -x85 -x84 -x81 -x67 -x66 -x62 -x60 -x57 -x1119 -x108 -x1089 -x64 -x915 -x1641 -x149
0.39/0.43 v -x911 -x1272 -x822 -x1326 -x1347 -x1546 -x102 -x925 -x1019 -x1754 -x94 -x910 -x1021 -x1100 -x127 -x1655 -x1115 -x909 -x1532
0.39/0.43 v -x1623 -x675 -x672 -x665 -x662 -x661 -x658 -x657 -x656 -x653 -x645 -x640 -x638 -x636 -x633 -x631 -x1575 -x1738 -x530 -x1553 -x1716
0.39/0.43 v -x1324 -x1276 -x853 -x1080 -x1071 -x1070 -x1069 -x1068 -x1066 -x1063 -x1059 -x1049 -x1046 -x1045 -x1041 -x1038 -x48 -x831
0.39/0.43 v -x1106 -x526 -x83 -x1647 -x1001 -x1930 -x931 -x1078 -x1009 -x993 -x1393 -x1392 -x1388 -x1381 -x1378 -x1375 -x1372 -x1369 -x1363
0.39/0.43 v -x1362 -x1360 -x1359 -x1358 -x1353 -x1000 -x78 -x156 -x492 -x485 -x484 -x482 -x481 -x480 -x477 -x476 -x475 -x473 -x469
0.39/0.43 v -x467 -x465 -x464 -x463 -x459 -x453 -x452 -x1650 -x474 -x72 -x1116 -x1325 -x649 -x1285 -x1739 -x1352 -x489 -x1055 -x1722 -x136
0.39/0.43 v -x812 -x1303 -x1785 -x523 -x1636 -x1336 -x1074 -x120 -x632 -x1384 -x1651 -x666 -x1843 -x1840 -x1837 -x1834 -x1833 -x1832 -x1826
0.39/0.43 v -x1822 -x1821 -x1813 -x1807 -x1337 -x92 -x1007 -x1763 -x95 -x1321 -x53 -x660 -x517 -x529 -x1043 -x1737 -x155 -x1717 -x117
0.39/0.43 v -x669 -x1771 -x1809 -x1093 -x454 -x1293 -x1726 -x1665 -x511 -x996 -x1806 -x1920 -x1113 -x63 -x850 -x56 -x161 -x516 -x902 -x52
0.39/0.43 v -x54 -x47 -x908 -x91 -x1104 -x128 -x1266 -x1103 -x528 -x51 -x1844 -x1295 -x1775 -x1302 -x1084 -x1835 -x1568 -x1907 -x828 -x460
0.39/0.43 v -x1263 -x1010 -x1709 -x1708 -x1706 -x1705 -x1703 -x1702 -x1700 -x1699 -x1698 -x1696 -x1693 -x1692 -x1691 -x1685 -x1684 -x1682
0.39/0.43 v -x1680 -x1678 -x1677 -x1675 -x1674 -x1673 -x1671 -x1670 -x1666 -x1110 -x1355 -x1687 -x1268 -x940 -x1047 -x73 -x1791 -x1391
0.39/0.43 v -x1297 -x493 -x763 -x762 -x760 -x752 -x740 -x739 -x737 -x736 -x734 -x732 -x728 -x726 -x725 -x722 -x152 -x1663 -x759 -x1044
0.39/0.43 v -x848 -x1811 -x1679 -x97 -x1124 -x1064 -x646 -x1279 -x531 -x667 -x99 -x1085 -x1304 -x1284 -x738 -x829 -x1031 -x840 -x1354 -x846
0.39/0.43 v -x468 -x1105 -x650 -x1780 -x1340 -x1543 -x1101 -x1566 -x172 -x1306 -x1841 -x749 -x729 -x479 -x106 -x153 -x943 -x137 -x123
0.39/0.43 v -x487 -x166 -x1741 -x1659 -x1897 -x1911 -x1730 -x129 -x1067 -x515 -x1269 -x1908 -x1815 -x79 -x939 -x751 -x642 -x1784 -x104
0.39/0.43 v -x450 -x446 -x444 -x442 -x439 -x437 -x435 -x434 -x432 -x430 -x426 -x425 -x423 -x421 -x418 -x412 -x410 -x408 -x407 -x741 -x1023
0.39/0.43 v -x1569 -x1817 -x1637 -x927 -x1906 -x1799 -x431 -x928 -x1086 -x1558 -x1343 -x1560 -x1559 -x1744 -x502 -x160 -x1926 -x1387 -x1742
0.39/0.43 v -x1626 -x1765 -x1051 -x1913 -x1781 -x1536 -x1308 -x1052 -x171 -x1736 -x470 -x1573 -x124 -x433 -x917 -x1783 -x830 -x918 -x1629
0.39/0.43 v -x1017 -x730 -x1804 -x1900 -x647 -x1390 -x1537 -x448 -x1014 -x498 -x447 -x1012 -x919 -x1542 -x1323 -x1910 -x1639 -x924
0.39/0.43 v -x490 -x816 -x1718 -x1073 -x1797 -x1056 -x1777 -x1657 -x1328 -x1341 -x178 -x1701 -x113 -x849 -x148 -x154 -x998 -x65 -x1562 -x1632
0.39/0.43 v -x1656 -x1273 -x1842 -x176 -x1845 -x655 -x904 -x1048 -x93 -x811 -x1356 -x819 -x1286 -x1760 -x1039 -x61 -x733 -x449 -x1112
0.39/0.43 v -x825 -x1631 -x664 -x1018 -x1827 -x1814 -x585 -x584 -x581 -x578 -x577 -x576 -x571 -x570 -x565 -x564 -x563 -x559 -x558 -x556
0.39/0.43 v -x554 -x553 -x552 -x550 -x549 -x548 -x547 -x546 -x545 -x541 -x1011 -x512 -x1816 -x1310 -x507 -x1668 -x747 -x415 -x572 -x1289
0.39/0.43 v -x937 -x720 -x719 -x716 -x712 -x710 -x709 -x708 -x706 -x705 -x703 -x702 -x701 -x700 -x699 -x696 -x694 -x690 -x689 -x688 -x687
0.39/0.43 v -x686 -x685 -x683 -x682 -x681 -x680 -x679 -x1662 -x1914 -x575 -x115 -x1894 -x742 -x417 -x436 -x1796 -x1094 -x1040 -x456 -x1829
0.39/0.43 v -x177 -x1098 -x814 -x69 -x1798 -x55 -x1721 -x677 -x1054 -x1690 -x678 -x1934 -x483 -x315 -x314 -x313 -x312 -x309 -x305 -x304
0.39/0.43 v -x301 -x300 -x299 -x294 -x293 -x290 -x288 -x287 -x286 -x283 -x282 -x279 -x277 -x276 -x275 -x274 -x271 -x1778 -x1808 -x76 -x1097
0.39/0.43 v -x409 -x295 -x1793 -x1640 -x1102 -x88 -x1634 -x1893 -x1891 -x813 -x538 -x1317 -x514 -x411 -x1572 -x560 -x1927 -x419 -x1298
0.39/0.43 v -x1672 -x745 -x150 -x488 -x691 -x1114 -x472 -x1037 -x308 -x544 -x555 -x854 -x1794 -x1836 -x929 -x1024 -x906 -x445 -x74 -x1733
0.39/0.43 v -x1367 -x562 -x914 -x1761 -x727 -x551 -x1812 -x692 -x1556 -x508 -x1667 -x165 -x1281 -x1627 -x668 -x743 x1121 -x272 -x1683
0.39/0.43 v -x723 -x756 -x1818 -x847 -x87 -x1540 -x1330 -x1915 -x109 -x1076 -x826 -x164 -x574 -x641 -x285 -x1917 -x744 -x755 -x1547 -x1170
0.39/0.43 v -x1169 -x1168 -x1165 -x1164 -x1163 -x1161 -x1159 -x1158 -x1157 -x1156 -x1153 -x1152 -x1151 -x1150 -x1147 -x1144 -x1143 -x1142
0.39/0.43 v -x1141 -x1140 -x1138 -x1137 -x1136 -x1132 -x1131 -x1130 -x1126 -x1535 -x1620 -x1618 -x1617 -x1615 -x1614 -x1611 -x1610 -x1609
0.39/0.43 v -x1607 -x1603 -x1602 -x1601 -x1599 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1588 -x1587 -x1586 -x1585 -x1584
0.39/0.43 v -x1582 -x1580 -x1579 -x1578 -x1577 -x1576 -x284 -x1839 -x503 -x307 -x1015 -x748 -x1831 -x1899 -x837 -x994 -x1824 -x532 -x1635
0.39/0.43 v -x438 -x1370 -x1616 -x1160 -x1357 -x96 -x1905 -x1004 -x125 -x1148 -x754 -x1766 -x428 -x427 -x1382 -x1660 -x121 -x478 -x651 -x180
0.39/0.43 v -x1117 -x1828 -x86 -x1264 -x141 -x1373 -x1688 -x1918 -x582 -x1935 -x648 -x934 -x1013 -x852 -x1394 -x500 -x499 -x1782 -x1440
0.39/0.43 v -x1439 -x1438 -x1436 -x1435 -x1434 -x1433 -x1431 -x1430 -x1428 -x1427 -x1425 -x1424 -x1423 -x1420 -x1419 -x1417 -x1415 -x1413
0.39/0.43 v -x1412 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1403 -x1402 -x1401 -x1400 -x1397 -x1396 -x520 -x630 -x629 -x626 -x625
0.39/0.43 v -x624 -x623 -x622 -x620 -x619 -x617 -x616 -x615 -x614 -x613 -x611 -x610 -x609 -x608 -x607 -x606 -x605 -x602 -x601 -x600 -x598
0.39/0.43 v -x597 -x596 -x595 -x594 -x593 -x592 -x590 -x589 -x588 -x587 -x586 -x1139 -x1072 -x1277 -x1050 -x1789 -x1574 -x1432 -x1077 -x1896
0.39/0.43 v -x1346 -x746 -x1437 -x1776 -x1421 -x75 -x1697 -x697 -x1092 -x429 -x603 -x674 -x98 -x627 -x521 -x1261 -x441 -x673 -x1823
0.39/0.43 v -x495 -x1924 -x923 -x1146 -x1605 -x1399 -x1026 -x1398 -x1746 -x1751 -x920 -x567 -x1099 -x1162 -x644 -x1608 -x494 -x1932 -x45
0.39/0.43 v -x43 -x41 -x40 -x39 -x38 -x37 -x36 -x34 -x33 -x32 -x30 -x29 -x28 -x27 -x26 -x25 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x14
0.39/0.43 v -x12 -x11 -x10 -x9 -x8 -x6 -x4 -x3 -x2 -x89 -x132 -x652 -x1731 -x111 -x579 -x1411 -x724 -x945 -x1271 -x1083 -x90 -x1414 -x142
0.39/0.43 v -x1036 -x1287 -x1429 -x107 -x1689 -x1790 -x1800 -x942 -x59 -x1619 -x513 -x1589 -x273 -x1379 -x599 -x497 -x298 -x303 -x1307
0.39/0.43 v -x618 -x114 -x1109 -x5 -x991 -x1 -x1006 -x1653 -x1338 -x1166 -x842 -x505 -x1551 -x1590 -x1167 -x1598 -x1909 -x583 -x907 -x457
0.39/0.43 v -x1838 -x573 -x122 -x718 -x1082 -x466 -x291 -x612 -x926 -x1386 -x1704 -x1422 -x1361 -x15 -x1613 -x637 -x1555 -x501 -x306 -x1638
0.39/0.43 v -x49 -x406 -x1079 -x162 -x1929 -x1155 -x809 -x808 -x806 -x804 -x803 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793
0.39/0.43 v -x792 -x791 -x790 -x788 -x787 -x786 -x785 -x784 -x783 -x782 -x781 -x780 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770
0.39/0.43 v -x768 -x767 -x766 -x1283 -x769 -x805 -x311 -x1058 -x360 -x358 -x357 -x356 -x355 -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347
0.39/0.43 v -x346 -x345 -x341 -x340 -x339 -x338 -x337 -x336 -x334 -x333 -x332 -x331 -x330 -x329 -x325 -x324 -x322 -x320 -x319 -x318
0.39/0.43 v -x317 -x1127 -x735 -x1368 -x817 -x225 -x224 -x223 -x222 -x221 -x220 -x219 -x218 -x217 -x216 -x215 x213 -x212 -x211 -x209 -x208
0.39/0.43 v -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x199 -x197 -x195 -x193 -x192 -x190 -x189 -x188 -x186 -x185 -x184 -x183 -x182
0.39/0.43 v -x181 -x714 -x1550 -x344 -x834 -x1366 -x289 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474
0.39/0.43 v -x1473 -x1471 -x1470 -x1468 -x1466 -x1465 -x1464 -x1463 -x1460 -x1458 -x1457 -x1456 -x1454 -x1453 -x1452 -x1451 -x1450
0.39/0.43 v -x1449 -x1448 -x1444 -x1443 -x1441 -x566 -x621 -x1469 -x1035 -x533 x174 -x535 -x1154 -x1107 -x328 -x522 -x815 -x1548 -x1334 -x1320
0.39/0.43 v -x1805 -x491 -x80 -x1890 -x1889 -x1887 -x1886 -x1884 -x1882 -x1880 -x1879 -x1878 -x1877 -x1875 -x1874 -x1873 -x1872 -x1871
0.39/0.43 v -x1869 -x1868 -x1867 -x1866 -x1865 -x1863 -x1861 -x1859 -x1858 -x1857 -x1856 -x1855 -x1853 -x1852 -x1851 -x1850 -x1849 -x1848
0.39/0.43 v -x1847 -x1846 -x1344 -x70 -x278 -x1349 -x50 -x1759 -x169 -x1643 -x938 -x1862 -x933 -x1020 -x1888 -x1270 -x210 -x1676 -x1762
0.39/0.43 v -x1262 -x913 -x1903 -x1922 -x175 -x281 -x1612 -x757 -x1123 -x297 -x779 -x71 -x42 -x414 -x635 -x693 -x671 -x1062 -x1380 -x750
0.39/0.43 v -x1711 -x1314 -x999 -x1881 -x1065 -x1860 -x486 -x58 -x310 -x1087 -x698 -x1472 -x1033 -x835 -x1604 -x765 -x997 -x1725 -x634
0.39/0.43 v -x187 -x1053 -x789 -x7 -x1445 -x715 -x342 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 -x260 -x259 -x258 -x257
0.39/0.43 v -x256 -x255 -x254 -x253 -x252 -x251 -x250 -x249 -x247 -x245 -x243 -x242 -x241 -x240 -x239 -x238 -x237 -x236 -x235 -x234 -x233
0.39/0.43 v -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x731 -x424 -x557 -x1395 -x133 -x663 -x524 -x1389 -x1931 -x105 -x1134 -x280 -x676
0.39/0.43 v -x1339 -x761 -x1628 -x1745 -x1028 -x1267 -x1830 -x1694 -x198 -x130 -x440 -x1133 -x455 -x1719 -x214 -x1418 -x1530 -x1529 -x1528
0.39/0.43 v -x1527 -x1526 -x1525 -x1524 -x1522 -x1521 -x1520 -x1519 -x1518 -x1517 -x1516 -x1515 -x1514 -x1513 -x1512 -x1511 -x1510 -x1509
0.39/0.43 v -x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1498 -x1497 -x1496 -x1494 -x1493 -x1492 -x1491 -x1490 -x1489
0.39/0.43 v -x1488 -x1487 -x1057 -x580 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246
0.39/0.43 v -x1245 -x1244 -x1243 -x1242 -x1241 -x1240 -x1239 -x1238 -x1237 -x1236 -x1235 -x1234 -x1233 -x1232 -x1230 -x1229 -x1228
0.39/0.43 v -x1227 -x1226 -x1225 -x1224 -x1223 -x1221 -x1220 -x1219 -x1218 -x1217 -x1216 -x1461 -x1864 -x1681 -x1803 -x1533 -x1364 -x1495
0.39/0.43 v -x1027 -x2859 -x2858 -x2857 -x2856 -x2855 -x2854 -x2853 -x2852 -x2851 -x2850 -x2849 -x2848 -x2847 -x2846 -x2845 -x2844 -x2843
0.39/0.43 v -x2842 -x2841 -x2840 -x2839 -x2838 -x628 -x139 -x569 -x839 -x131 -x2040 -x2039 -x2038 -x2037 -x2036 -x2035 -x2034 -x2033 -x2032
0.39/0.43 v -x2031 -x2030 -x2029 -x2028 -x2027 -x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x1265 -x292 -x707 -x1149 -x1462 -x1854
0.39/0.43 v -x134 -x68 -x1090 -x1561 -x1376 -x1383 -x1426 -x833 -x1309 -x244 -x1892 -x179 -x343 -x704 -x903 -x413 -x1404 x543 -x1795
0.39/0.43 v -x359 -x246 -x1633 -x1374 -x451 -x144 x2705 -x2704 -x2703 -x2702 -x2701 -x2700 -x2699 -x2698 -x2697 -x2696 -x2695 -x2694 -x2693
0.39/0.43 v -x2692 -x2691 -x2690 -x2689 -x2688 -x2687 -x2686 -x2685 -x2684 x711 -x539 x1003 -x1128 -x1442 -x420 -x1135 -x191 -x1728 -x46
0.39/0.43 v -x717 x1365 -x1581 x321 x604 -x1600 -x510 -x568 -x561 x1773 -x1486 -x326 x1042 -x1750 -x35 -x196 -x1649 x935 -x1695 -x1622
0.39/0.43 v x1231 x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234
0.39/0.43 v -x2233 -x2232 -x2231 -x2230 -x1455 -x654 -x1351 -x1313 -x2271 x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x2261
0.39/0.43 v -x2260 -x2259 -x2258 -x2257 -x2256 -x2255 -x2254 -x2253 -x2252 -x2251 -x461 -x194 -x1713 -x1787 -x13 x24 -x1801 -x1299
0.39/0.43 v -x844 -x1714 x1416 x1606 -x1459 -x1060 -x44 -x1642 -x323 -x1820 -x1669 x1322 -x416 -x1129 -x2419 x2418 -x2417 -x2416 -x2415 -x2414
0.39/0.43 v -x2413 -x2412 -x2411 -x2410 -x2409 -x2408 -x2407 -x2406 -x2405 -x2404 -x2403 -x2402 -x2401 -x2400 -x2399 -x2398 x248 x458
0.39/0.43 v -x1870 -x1652 -x1928 -x1923 -x1735 -x542 -x2166 -x2165 x2164 -x2163 -x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155
0.39/0.43 v -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148 -x2147 -x2146 x1541 x639 -x327 -x2639 -x2638 x2637 -x2636 -x2635 -x2634 -x2633
0.39/0.43 v -x2632 -x2631 -x2630 -x2629 -x2628 -x2627 -x2626 -x2625 -x2624 -x2623 -x2622 -x2621 -x2620 -x2619 -x2618 -x753 -x1335 -x802
0.39/0.43 v -x1122 -x900 -x899 -x898 -x897 -x895 -x894 -x893 -x892 -x891 -x890 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 -x880
0.39/0.43 v -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 -x870 -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859
0.39/0.43 v -x858 -x857 -x856 -x1075 -x695 -x1288 -x1120 -x405 -x404 -x403 -x402 -x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392
0.39/0.43 v -x391 -x390 -x389 -x388 -x387 -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x378 -x377 -x376 -x375 -x374 -x373 -x371 -x370
0.39/0.43 v -x369 -x368 -x367 -x366 -x365 -x364 -x363 -x361 -x1686 -x462 -x1061 -x2208 -x2207 -x2206 x2205 -x2204 -x2203 -x2202 -x2201 -x2200
0.39/0.43 v -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x643 -x1499 -x2683 -x2682 -x2681 x2680
0.39/0.43 v -x2679 -x2678 -x2677 -x2676 -x2675 -x2674 -x2673 -x2672 -x2671 -x2670 -x2669 -x2668 -x2667 -x2666 -x2665 -x2664 -x2663 -x2662
0.39/0.43 v -x1385 -x1118 -x713 x100 -x2815 -x2814 -x2813 -x2812 x2811 -x2810 -x2809 -x2808 -x2807 -x2806 -x2805 -x2804 -x2803 -x2802
0.39/0.43 v -x2801 -x2800 -x2799 -x2798 -x2797 -x2796 -x2795 -x2794 -x896 -x302 -x362 -x659 -x1732 -x2661 -x2660 -x2659 -x2658 -x2657 x2656
0.39/0.43 v -x2655 -x2654 -x2653 -x2652 -x2651 -x2650 -x2649 -x2648 -x2647 -x2646 -x2645 -x2644 -x2643 -x2642 -x2641 -x2640 x889 -x1549
0.39/0.43 v -x1883 -x77 -x1523 -x1664 -x422 -x1998 -x1997 -x1996 -x1995 x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986
0.39/0.43 v -x1985 -x1984 -x1983 -x1982 -x1981 -x1980 -x1979 -x1978 -x1758 -x1446 -x1977 -x1976 -x1975 -x1974 -x1973 x1972 -x1971 -x1970
0.39/0.43 v -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x1957 -x1802 -x832 -x855 -x2727 -x2726
0.39/0.43 v -x2725 -x2724 -x2723 -x2722 x2721 -x2720 -x2719 -x2718 -x2717 -x2716 -x2715 -x2714 -x2713 -x2712 -x2711 -x2710 -x2709 -x2708
0.39/0.43 v -x2707 -x2706 x82 -x1819 -x2397 -x2396 -x2395 -x2394 -x2393 -x2392 x2391 -x2390 -x2389 -x2388 -x2387 -x2386 -x2385 -x2384 -x2383
0.39/0.43 v -x2382 -x2381 -x2380 -x2379 -x2378 -x2377 -x112 -x1810 -x944 -x2463 -x2462 -x2461 -x2460 -x2459 -x2458 -x2457 x2456 -x2455
0.39/0.43 v -x2454 -x2453 -x2452 -x2451 -x2450 -x2449 -x2448 -x2447 -x2446 -x2445 -x2444 -x2443 -x2442 x1825 x1724 -x118 -x990 -x989 -x988
0.39/0.43 v -x987 -x986 -x985 -x984 -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967
0.39/0.43 v -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 -x952 -x951 -x950 -x949 -x948 -x947
0.39/0.43 v x946 x1885 -x2793 -x2792 -x2791 -x2790 -x2789 -x2788 -x2787 -x2786 x2785 -x2784 -x2783 -x2782 -x2781 -x2780 -x2779 -x2778 -x2777
0.39/0.43 v -x2776 -x2775 -x2774 -x2773 -x2772 -x670 -x1222 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205
0.39/0.43 v -x1204 -x1203 -x1202 -x1201 -x1200 -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1190 -x1189 -x1188 -x1187 -x1186
0.39/0.43 v -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 -x1174 -x1173 x1172 -x1171 x372 -x2061 -x2060
0.39/0.43 v -x2059 -x2058 -x2057 -x2056 -x2055 x2054 -x2053 -x2052 -x2051 -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042
0.39/0.43 v -x2041 -x591 -x2334 -x2333 -x2332 -x2331 -x2330 -x2329 -x2328 -x2327 x2326 -x2325 -x2324 -x2323 -x2322 -x2321 -x2320 -x2319
0.39/0.43 v -x2318 -x2317 -x2316 -x2315 -x2314 -x379 -x335 -x2573 -x2572 -x2571 -x2570 -x2569 -x2568 -x2567 -x2566 -x2565 x2564 -x2563
0.39/0.43 v -x2562 -x2561 -x2560 -x2559 -x2558 -x2557 -x2556 -x2555 -x2554 -x2553 -x2552 x1290 -x2103 -x2102 -x2101 -x2100 -x2099 -x2098
0.39/0.43 v -x2097 -x2096 -x2095 x2094 -x2093 -x2092 -x2091 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x1583 -x2145 -x2144
0.39/0.43 v -x2143 -x2142 -x2141 -x2140 -x2139 -x2138 -x2137 -x2136 x2135 -x2134 -x2133 -x2132 -x2131 -x2130 -x2129 -x2128 -x2127 -x2126
0.39/0.43 v -x2125 -x1315 -x2441 -x2440 -x2439 -x2438 -x2437 -x2436 -x2435 -x2434 -x2433 -x2432 x2431 -x2430 -x2429 -x2428 -x2427 -x2426
0.39/0.43 v -x2425 -x2424 -x2423 -x2422 -x2421 -x2420 -x1554 -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 -x2114
0.39/0.43 v x2113 -x2112 -x2111 -x2110 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x684 -x2082 -x2081 -x2080 -x2079 -x2078 -x2077 -x2076
0.39/0.43 v -x2075 -x2074 -x2073 -x2072 -x2071 x2070 -x2069 -x2068 -x2067 -x2066 -x2065 -x2064 -x2063 -x2062 -x1447 -x1377 -x2019 -x2018
0.39/0.43 v -x2017 -x2016 -x2015 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007 x2006 -x2005 -x2004 -x2003 -x2002 -x2001 -x2000
0.39/0.43 v -x1999 x1624 -x2355 -x2354 -x2353 -x2352 -x2351 -x2350 -x2349 -x2348 -x2347 -x2346 -x2345 -x2344 -x2343 -x2342 x2341 -x2340 -x2339
0.39/0.43 v -x2338 -x2337 -x2336 -x2335 x1145 -x2881 -x2880 -x2879 -x2878 -x2877 -x2876 -x2875 -x2874 -x2873 -x2872 -x2871 x2870 -x2869
0.39/0.43 v -x2868 -x2867 -x2866 -x2865 -x2864 -x2863 -x2862 -x2861 -x2860 x764 -x1371 -x2507 -x2506 -x2505 -x2504 -x2503 -x2502 -x2501
0.39/0.43 v -x2500 -x2499 -x2498 -x2497 -x2496 x2495 -x2494 -x2493 -x2492 -x2491 -x2490 -x2489 -x2488 -x2487 -x2486 x1467 x443 -x2187
0.39/0.43 v -x2186 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175 -x2174 -x2173 x2172 -x2171 -x2170 -x2169
0.39/0.43 v -x2168 -x2167 -x1767 -x2229 -x2228 -x2227 -x2226 -x2225 -x2224 -x2223 -x2222 -x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215
0.39/0.43 v -x2214 x2213 -x2212 -x2211 -x2210 -x2209 -x1904 -x1191 -x1247 -x721 -x2529 -x2528 -x2527 -x2526 -x2525 -x2524 -x2523 -x2522
0.39/0.43 v -x2521 -x2520 -x2519 -x2518 -x2517 x2516 -x2515 -x2514 -x2513 -x2512 -x2511 -x2510 -x2509 -x2508 x838 x1710 -x1876 -x2376 -x2375
0.39/0.43 v -x2374 -x2373 -x2372 -x2371 -x2370 -x2369 -x2368 -x2367 -x2366 -x2365 -x2364 -x2363 -x2362 -x2361 -x2360 x2359 -x2358 -x2357
0.39/0.43 v -x2356 -x471 -x2771 -x2770 -x2769 -x2768 -x2767 -x2766 -x2765 -x2764 -x2763 -x2762 -x2761 -x2760 -x2759 -x2758 x2757 -x2756
0.39/0.43 v -x2755 -x2754 -x2753 -x2752 -x2751 -x2750 -x1749 -x2595 -x2594 -x2593 -x2592 -x2591 -x2590 -x2589 -x2588 -x2587 -x2586 -x2585
0.39/0.43 v -x2584 -x2583 -x2582 -x2581 x2580 -x2579 -x2578 -x2577 -x2576 -x2575 -x2574 -x31 -x1707 -x2837 -x2836 -x2835 -x2834 -x2833
0.39/0.43 v -x2832 -x2831 -x2830 -x2829 -x2828 -x2827 -x2826 -x2825 -x2824 -x2823 -x2822 x2821 -x2820 -x2819 -x2818 -x2817 -x2816 x807
0.39/0.43 v -x2551 -x2550 -x2549 -x2548 -x2547 -x2546 -x2545 -x2544 -x2543 -x2542 -x2541 -x2540 -x2539 -x2538 -x2537 -x2536 -x2535 x2534
0.39/0.43 v -x2533 -x2532 -x2531 -x2530 x1919 -x2903 -x2902 -x2901 -x2900 -x2899 -x2898 -x2897 -x2896 -x2895 -x2894 -x2893 -x2892 -x2891
0.39/0.43 v -x2890 -x2889 -x2888 -x2887 -x2886 x2885 -x2884 -x2883 -x2882 -x810 -x2292 -x2291 -x2290 -x2289 -x2288 -x2287 -x2286 -x2285
0.39/0.43 v -x2284 -x2283 -x2282 -x2281 -x2280 -x2279 -x2278 -x2277 -x2276 -x2275 x2274 -x2273 -x2272 -x827 -x2749 -x2748 -x2747 -x2746 -x2745
0.39/0.43 v -x2744 -x2743 -x2742 -x2741 -x2740 -x2739 -x2738 -x2737 -x2736 -x2735 -x2734 -x2733 -x2732 -x2731 x2730 -x2729 -x2728 -x758
0.39/0.43 v -x2617 -x2616 -x2615 -x2614 -x2613 -x2612 -x2611 -x2610 -x2609 -x2608 -x2607 -x2606 -x2605 -x2604 -x2603 -x2602 -x2601 -x2600
0.39/0.43 v -x2599 -x2598 x2597 -x2596 x527 -x2313 -x2312 -x2311 -x2310 -x2309 -x2308 -x2307 -x2306 -x2305 -x2304 -x2303 -x2302 -x2301
0.39/0.43 v -x2300 -x2299 -x2298 -x2297 -x2296 -x2295 x2294 -x2293 -x1278 -x2485 -x2484 -x2483 -x2482 -x2481 -x2480 -x2479 -x2478 -x2477
0.39/0.43 v -x2476 -x2475 -x2474 -x2473 -x2472 -x2471 -x2470 -x2469 -x2468 -x2467 -x2466 -x2465 x2464 x296 -x1956 -x1955 -x1954 -x1953
0.39/0.43 v -x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944 -x1943 -x1942 -x1941 -x1940 -x1939 -x1938 -x1937 x1936 -x316
0.39/0.43 c SCIP Status : problem is solved [optimal solution found]
0.39/0.43 c Total Time : 0.43
0.39/0.43 c solving : 0.43
0.39/0.43 c presolving : 0.37 (included in solving)
0.39/0.43 c reading : 0.02 (included in solving)
0.39/0.43 c copying : 0.00 (0 times copied the problem)
0.39/0.43 c Original Problem :
0.39/0.43 c Problem name : HOME/instance-4442295-1721297366.opb
0.39/0.43 c Variables : 2903 (2903 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.43 c Constraints : 2066 initial, 2066 maximal
0.39/0.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.39/0.43 c Presolved Problem :
0.39/0.43 c Problem name : t_HOME/instance-4442295-1721297366.opb
0.39/0.43 c Variables : 2903 (2903 binary, 0 integer, 0 implicit integer, 0 continuous)
0.39/0.43 c Constraints : 2066 initial, 2067 maximal
0.39/0.43 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.39/0.43 c Nonzeros : 48397 constraint, 2903 clique table
0.39/0.43 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.39/0.43 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.43 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.43 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.43 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c symmetry : 0.27 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.39/0.43 c linear : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
0.39/0.43 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
0.39/0.43 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.39/0.43 c root node : - - - 0 - - 0 - - - - -
0.39/0.43 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.39/0.43 c benderslp : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.39/0.43 c integral : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.39/0.43 c setppc : 88 88 0 371 0 0 0 4 0 6 0 0 0 0 0
0.39/0.43 c logicor : 1978+ 1979 0 180 0 0 0 2 0 0 0 0 0 0 0
0.39/0.43 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.39/0.43 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.39/0.43 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.39/0.43 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.39/0.43 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c logicor : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.39/0.43 c dualfix : 1 0 0 0
0.39/0.43 c genvbounds : 0 0 0 0
0.39/0.43 c nlobbt : 0 0 0 0
0.39/0.43 c obbt : 0 0 0 0
0.39/0.43 c probing : 0 0 0 0
0.39/0.43 c pseudoobj : 0 0 0 0
0.39/0.43 c redcost : 0 0 0 0
0.39/0.43 c rootredcost : 0 0 0 0
0.39/0.43 c symmetry : 0 0 0 0
0.39/0.43 c vbounds : 180 0 0 0
0.39/0.43 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.39/0.43 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
0.39/0.43 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c symmetry : 0.27 0.00 0.27 0.00 0.00 0.00
0.39/0.43 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.39/0.43 c Symmetry :
0.39/0.43 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.39/0.43 c orbital reduction: 0 reductions applied, 0 cutoffs
0.39/0.43 c lexicographic red: 0 reductions applied, 0 cutoffs
0.39/0.43 c shadow tree time : 0.00 s
0.39/0.43 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.39/0.43 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.39/0.43 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.39/0.43 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.39/0.43 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.39/0.43 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.39/0.43 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
0.39/0.43 c applied locally : - - - 0 0 0.0 - - 0 - -
0.39/0.43 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.39/0.43 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
0.39/0.43 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c > cmir : - - - - - - - 0 0 0 0 0 -
0.39/0.43 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.39/0.43 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.39/0.43 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c > gomorymi : - - - - - - - 0 0 0 0 0 -
0.39/0.43 c > strongcg : - - - - - - - 0 0 0 0 0 -
0.39/0.43 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.39/0.43 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.39/0.43 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c Pricers : ExecTime SetupTime Calls Vars
0.39/0.43 c problem variables: 0.00 - 0 0
0.39/0.43 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.39/0.43 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.39/0.43 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.39/0.43 c LP solutions : 0.00 - - 0 0
0.39/0.43 c relax solutions : 0.00 - - 0 0
0.39/0.43 c pseudo solutions : 0.00 - - 0 0
0.39/0.43 c strong branching : 0.00 - - 0 0
0.39/0.43 c actconsdiving : 0.00 0.00 0 0 0
0.39/0.43 c adaptivediving : 0.00 0.00 0 0 0
0.39/0.43 c alns : 0.00 0.00 0 0 0
0.39/0.43 c bound : 0.00 0.00 0 0 0
0.39/0.43 c clique : 0.02 0.00 1 0 0
0.39/0.43 c coefdiving : 0.00 0.00 0 0 0
0.39/0.43 c completesol : 0.00 0.00 0 0 0
0.39/0.43 c conflictdiving : 0.00 0.00 0 0 0
0.39/0.43 c crossover : 0.00 0.00 0 0 0
0.39/0.43 c dins : 0.00 0.00 0 0 0
0.39/0.43 c distributiondivin: 0.00 0.00 0 0 0
0.39/0.43 c dps : 0.00 0.00 0 0 0
0.39/0.43 c dualval : 0.00 0.00 0 0 0
0.39/0.43 c farkasdiving : 0.00 0.00 0 0 0
0.39/0.43 c feasjump : 0.00 0.00 0 0 0
0.39/0.43 c feaspump : 0.00 0.00 0 0 0
0.39/0.43 c fixandinfer : 0.00 0.00 0 0 0
0.39/0.43 c fracdiving : 0.00 0.00 0 0 0
0.39/0.43 c gins : 0.00 0.00 0 0 0
0.39/0.43 c guideddiving : 0.00 0.00 0 0 0
0.39/0.43 c indcoefdiving : 0.00 0.00 0 0 0
0.39/0.43 c indicator : 0.00 0.00 0 0 0
0.39/0.43 c indicatordiving : 0.00 0.00 0 0 0
0.39/0.43 c indoneopt : 0.00 0.00 0 0 0
0.39/0.43 c indrounding : 0.00 0.00 0 0 0
0.39/0.43 c indtwoopt : 0.00 0.00 0 0 0
0.39/0.43 c intdiving : 0.00 0.00 0 0 0
0.39/0.43 c intshifting : 0.00 0.00 0 0 0
0.39/0.43 c linesearchdiving : 0.00 0.00 0 0 0
0.39/0.43 c localbranching : 0.00 0.00 0 0 0
0.39/0.43 c locks : 0.01 0.00 1 1 1
0.39/0.43 c lpface : 0.00 0.00 0 0 0
0.39/0.43 c mpec : 0.00 0.00 0 0 0
0.39/0.43 c multistart : 0.00 0.00 0 0 0
0.39/0.43 c mutation : 0.00 0.00 0 0 0
0.39/0.43 c nlpdiving : 0.00 0.00 0 0 0
0.39/0.43 c objpscostdiving : 0.00 0.00 0 0 0
0.39/0.43 c octane : 0.00 0.00 0 0 0
0.39/0.43 c ofins : 0.00 0.00 0 0 0
0.39/0.43 c oneopt : 0.00 0.00 0 0 0
0.39/0.43 c padm : 0.00 0.00 0 0 0
0.39/0.43 c proximity : 0.00 0.00 0 0 0
0.39/0.43 c pscostdiving : 0.00 0.00 0 0 0
0.39/0.43 c randrounding : 0.00 0.00 0 0 0
0.39/0.43 c rens : 0.00 0.00 0 0 0
0.39/0.43 c reoptsols : 0.00 0.00 0 0 0
0.39/0.43 c repair : 0.00 0.00 0 0 0
0.39/0.43 c rins : 0.00 0.00 0 0 0
0.39/0.43 c rootsoldiving : 0.00 0.00 0 0 0
0.39/0.43 c rounding : 0.00 0.00 0 0 0
0.39/0.43 c scheduler : 0.00 0.00 0 0 0
0.39/0.43 c shiftandpropagate: 0.00 0.00 0 0 0
0.39/0.43 c shifting : 0.00 0.00 0 0 0
0.39/0.43 c simplerounding : 0.00 0.00 0 0 0
0.39/0.43 c smallcard : 0.00 0.00 0 0 0
0.39/0.43 c subnlp : 0.00 0.00 0 0 0
0.39/0.43 c trivial : 0.00 0.00 2 0 0
0.39/0.43 c trivialnegation : 0.00 0.00 0 0 0
0.39/0.43 c trustregion : 0.00 0.00 0 0 0
0.39/0.43 c trysol : 0.00 0.00 0 0 0
0.39/0.43 c twoopt : 0.00 0.00 0 0 0
0.39/0.43 c undercover : 0.00 0.00 0 0 0
0.39/0.43 c vbounds : 0.00 0.00 0 0 0
0.39/0.43 c veclendiving : 0.00 0.00 0 0 0
0.39/0.43 c zeroobj : 0.00 0.00 0 0 0
0.39/0.43 c zirounding : 0.00 0.00 0 0 0
0.39/0.43 c other solutions : - - - 0 -
0.39/0.43 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.39/0.43 c rens : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c rins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c dins : 0 0.00 0.00 0 0 0 0.00000 0.14286 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.39/0.43 c zeroobjective : 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
0.39/0.43 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
0.39/0.43 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.39/0.43 c primal LP : 0.00 0 0 0.00 - 0.00 0
0.39/0.43 c dual LP : 0.00 0 0 0.00 - 0.00 0
0.39/0.43 c lex dual LP : 0.00 0 0 0.00 -
0.39/0.43 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.39/0.43 c resolve instable : 0.00 0 0 0.00 -
0.39/0.43 c diving/probing LP: 0.00 1 9 9.00 -
0.39/0.43 c strong branching : 0.00 0 0 0.00 - - - 0
0.39/0.43 c (at root node) : - 0 0 0.00 -
0.39/0.43 c conflict analysis: 0.00 0 0 0.00 -
0.39/0.43 c B&B Tree :
0.39/0.43 c number of runs : 1
0.39/0.43 c nodes : 1 (0 internal, 1 leaves)
0.39/0.43 c feasible leaves : 0
0.39/0.43 c infeas. leaves : 0
0.39/0.43 c objective leaves : 0
0.39/0.43 c nodes (total) : 1 (0 internal, 1 leaves)
0.39/0.43 c nodes left : 0
0.39/0.43 c max depth : 0
0.39/0.43 c max depth (total): 0
0.39/0.43 c backtracks : 0 (0.0%)
0.39/0.43 c early backtracks : 0 (0.0%)
0.39/0.43 c nodes exc. ref. : 0 (0.0%)
0.39/0.43 c delayed cutoffs : 0
0.39/0.43 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.39/0.43 c avg switch length: 2.00
0.39/0.43 c switching time : 0.00
0.39/0.43 c Root Node :
0.39/0.43 c First LP value : -
0.39/0.43 c First LP Iters : 0
0.39/0.43 c First LP Time : 0.00
0.39/0.43 c Final Dual Bound : +0.00000000000000e+00
0.39/0.43 c Final Root Iters : 0
0.39/0.43 c Root LP Estimate : -
0.39/0.43 c Solution :
0.39/0.43 c Solutions found : 1 (1 improvements)
0.39/0.43 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.43 seconds, depth 86, found by <locks>)
0.39/0.43 c Gap First Sol. : 0.00 %
0.39/0.43 c Gap Last Sol. : 0.00 %
0.39/0.43 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.43 seconds, depth 86, found by <locks>)
0.39/0.43 c Dual Bound : +0.00000000000000e+00
0.39/0.43 c Gap : 0.00 %
0.39/0.43 c Integrals : Total Avg%
0.39/0.43 c primal-dual : 42.89 99.64
0.39/0.43 c primal-ref : - - (not evaluated)
0.39/0.43 c dual-ref : - - (not evaluated)
0.39/0.45 c Time complete: 0.442199.