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-4442055-1721297364.opb>
0.00/0.01 c original problem has 1733 variables (1733 bin, 0 int, 0 impl, 0 cont) and 1256 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c No objective function, only one solution is needed.
0.00/0.01 c presolving:
0.00/0.03 c (0.0s) running MILP presolver
0.00/0.03 c (0.0s) MILP presolver found nothing
0.00/0.04 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1256 upgd conss, 0 impls, 68 clqs
0.00/0.06 c (0.1s) probing: 51/1733 (2.9%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.06 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.06 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.17 c (0.2s) symmetry computation finished: 94 generators found (max: 1500, log10 of symmetry group size: 90.0) (symcode time: 0.10)
0.09/0.18 c dynamic symmetry handling statistics:
0.09/0.18 c orbitopal reduction: no components
0.09/0.18 c orbital reduction: 1 components of sizes 94
0.09/0.18 c lexicographic reduction: 94 permutations with support sizes 34, 100, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 34, 98, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 70, 36, 100, 329, 164
0.09/0.18 c handled 1 out of 1 symmetry components
0.09/0.18 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.09/0.18 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.18 c 0 implications, 68 cliques
0.09/0.18 c presolved problem has 1733 variables (1733 bin, 0 int, 0 impl, 0 cont) and 1256 constraints
0.09/0.18 c 68 constraints of type <setppc>
0.09/0.18 c 1188 constraints of type <logicor>
0.09/0.18 c transformed objective value is always integral (scale: 1)
0.09/0.18 c Presolving Time: 0.17
0.09/0.18 c - non default parameters ----------------------------------------------------------------------
0.09/0.18 c # SCIP version 10.0.0
0.09/0.18 c
0.09/0.18 c # maximal time in seconds to run
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.18 c limits/time = 3596.997052
0.09/0.18 c
0.09/0.18 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.18 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.18 c limits/memory = 27900
0.09/0.18 c
0.09/0.18 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.09/0.18 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.09/0.18 c limits/solutions = 1
0.09/0.18 c
0.09/0.18 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.09/0.18 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.09/0.18 c misc/usesymmetry = 3
0.09/0.18 c
0.09/0.18 c # belongs reading time to solving time?
0.09/0.18 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.18 c timing/reading = TRUE
0.09/0.18 c
0.09/0.18 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.09/0.18 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.18 c propagating/symmetry/detectdoublelex = FALSE
0.09/0.18 c
0.09/0.18 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.09/0.18 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.18 c propagating/symmetry/detectsubgroups = FALSE
0.09/0.18 c
0.09/0.18 c # Type of symmetries that shall be computed?
0.09/0.18 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.09/0.18 c propagating/symmetry/symtype = 1
0.09/0.18 c
0.09/0.18 c # Should components consisting of a single full reflection be handled?
0.09/0.18 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.18 c propagating/symmetry/usesimplesgncomp = FALSE
0.09/0.18 c
0.09/0.18 c -----------------------------------------------------------------------------------------------
0.09/0.18 c start solving
0.09/0.18 c
0.09/0.20 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.09/0.20 c p 0.2s| 1 | 0 | 0 | - | locks| 0 |1733 |1257 |1256 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.09/0.20 c
0.09/0.20 c SCIP Status : problem is solved [optimal solution found]
0.09/0.20 c Solving Time (sec) : 0.20
0.09/0.20 c Solving Nodes : 1
0.09/0.20 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.09/0.20 c Dual Bound : +0.00000000000000e+00
0.09/0.20 c Gap : 0.00 %
0.09/0.20 s SATISFIABLE
0.09/0.20 v -x215 -x212 -x811 -x214 -x213 -x1034 -x1022 -x829 -x662 -x651 -x646 -x636 -x234 -x640 -x808 -x1019 -x659 -x130 -x128 -x126 -x111
0.09/0.20 v -x812 -x831 -x635 -x476 -x474 -x472 -x470 -x840 -x632 -x124 -x872 -x861 -x857 -x855 -x846 -x843 -x841 -x638 -x825 -x1033 -x860
0.09/0.20 v -x488 -x1031 -x462 -x856 -x833 -x1028 -x211 -x418 -x417 -x415 -x412 -x410 -x406 -x399 -x396 -x391 -x390 -x386 -x1046 -x810
0.09/0.20 v -x393 -x482 -x1078 -x1075 -x1070 -x1067 -x1064 -x1061 -x1060 -x1056 -x1053 -x1052 -x413 -x631 -x869 -x467 -x845 -x220 -x656
0.09/0.20 v -x236 -x403 -x654 -x239 -x1059 -x1042 -x1054 -x481 -x172 -x169 -x164 -x161 -x158 -x148 -x146 -x824 -x734 -x726 -x723 -x722 -x718
0.09/0.20 v -x711 -x709 -x706 -x704 -x703 -x244 -x414 -x230 -x701 -x233 -x556 -x542 -x540 -x531 -x529 -x526 -x702 -x541 -x1018 -x453
0.09/0.20 v -x450 -x445 -x441 -x439 -x435 -x434 -x433 -x428 -x425 -x421 -x411 -x1071 -x1035 -x155 -x152 -x866 -x1077 -x549 -x1047 -x135
0.09/0.20 v -x438 -x735 -x655 -x1014 -x1010 -x1004 -x1003 -x1002 -x992 -x990 -x987 -x985 -x984 -x982 -x981 -x109 -x633 -x144 -x863 -x657
0.09/0.20 v -x727 -x383 -x378 -x377 -x375 -x370 -x369 -x366 -x364 -x363 -x360 -x358 -x357 -x356 -x355 -x354 -x352 -x351 -x408 -x228 -x485
0.09/0.20 v -x173 -x547 -x847 -x129 -x427 -x140 -x468 -x381 -x367 -x839 -x1045 -x487 -x401 -x733 -x122 -x372 -x382 -x1036 -x380 -x235 -x226
0.09/0.20 v -x551 -x436 -x720 -x705 -x221 -x660 -x809 -x1069 -x844 -x461 -x1076 -x464 -x138 -x402 -x142 -x637 -x1009 -x1021 -x222 -x478
0.09/0.20 v -x814 -x554 -x160 -x715 -x986 -x469 -x834 -x223 -x807 -x1012 -x595 -x594 -x593 -x591 -x584 -x583 -x582 -x581 -x578 -x575 -x571
0.09/0.20 v -x570 -x565 -x564 -x561 -x455 -x858 -x644 -x634 -x1083 -x832 -x823 -x171 -x568 -x996 -x1043 -x139 -x653 -x454 -x242 -x838
0.09/0.20 v -x1015 -x388 -x853 -x1051 -x850 -x430 -x822 -x1072 -x1030 -x978 -x977 -x976 -x973 -x972 -x971 -x970 -x969 -x968 -x966 -x965
0.09/0.20 v -x962 -x961 -x958 -x956 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x110 -x989 -x849 -x719 -x1005 -x1057 -x117 -x995 -x145 -x1068
0.09/0.20 v -x150 -x862 -x216 -x387 -x163 -x121 -x1007 -x1040 -x873 -x394 -x993 -x174 -x574 -x137 -x133 -x484 -x1079 -x967 -x409 -x437
0.09/0.20 v -x368 -x645 -x131 -x816 -x953 -x237 -x663 -x546 -x717 -x243 -x432 -x730 -x1016 -x534 -x449 -x650 -x537 -x407 -x731 -x533 -x276
0.09/0.20 v -x275 -x274 -x271 -x269 -x268 -x266 -x265 -x264 -x262 -x261 -x260 -x259 -x257 -x254 -x252 -x251 -x248 -x247 -x246 -x423
0.09/0.20 v -x419 -x134 -x120 -x994 -x875 -x489 -x361 -x1011 -x486 -x525 -x521 -x519 -x517 -x516 -x515 -x513 -x512 -x510 -x509 -x508 -x506
0.09/0.20 v -x505 -x504 -x503 -x502 -x499 -x497 -x495 -x492 -x250 -x136 -x1029 -x141 -x642 -x991 -x466 -x1055 -x979 -x874 -x210 -x208 -x207
0.09/0.20 v -x206 -x203 -x200 -x197 -x195 -x194 -x192 -x190 -x189 -x187 -x185 -x184 -x183 -x182 -x181 -x180 -x178 -x177 -x176 -x826
0.09/0.20 v -x805 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x792 -x790 -x786 -x785 -x784 -x783 -x780 -x778 -x776 -x775 -x774
0.09/0.20 v -x773 -x772 -x771 -x641 -x728 -x664 -x238 -x804 -x725 -x193 -x871 -x362 -x224 -x217 -x830 -x980 -x782 -x151 -x458 -x837 -x629
0.09/0.20 v -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 x617 -x611 -x609 -x607 -x606 -x605 -x602 -x601 -x599 -x598 -x597
0.09/0.20 v -x596 -x1038 -x710 -x1058 -x280 -x371 -x477 -x827 -x191 -x938 -x937 -x936 -x935 -x933 -x930 -x929 -x928 -x927 -x924 -x923 -x921
0.09/0.20 v -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x108 -x614 -x400 -x586 -x447 -x231 -x716 -x779 -x463 -x708 -x426
0.09/0.20 v -x479 -x1000 -x820 -x572 -x245 -x496 -x258 -x588 -x1039 -x954 -x939 -x255 -x592 -x934 -x859 -x374 -x227 -x789 -x465 -x1120 -x1119
0.09/0.20 v -x1118 -x1117 -x1115 -x1114 -x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1104 -x1102 -x1101 -x1100 -x1098 -x1097 -x1095 -x1094
0.09/0.20 v -x1093 -x1092 -x1091 -x1089 -x1088 -x1087 -x1086 -x932 -x70 -x69 -x68 -x67 -x65 -x63 -x61 -x60 -x59 -x58 -x57 -x56 -x55
0.09/0.20 v -x54 -x52 -x51 -x50 -x49 -x47 -x46 -x45 -x43 x41 -x40 -x36 -x112 -x647 -x864 -x159 -x957 -x405 -x1116 -x156 -x721 -x457 -x576
0.09/0.20 v -x165 -x945 -x848 -x791 -x277 -x157 -x854 -x188 -x587 -x225 -x113 -x209 -x557 -x613 -x821 -x143 -x66 -x630 -x241 -x518 -x1001
0.09/0.20 v -x868 -x1085 -x532 -x941 -x1037 -x170 -x53 -x777 -x550 -x1050 -x813 -x524 -x944 -x1027 -x1105 -x729 -x1006 -x787 -x553 -x955
0.09/0.20 v -x168 -x123 -x1017 -x186 -x585 -x943 -x707 -x1013 -x44 -x359 -x712 -x910 -x909 -x908 -x906 -x905 -x904 -x903 -x902 -x901 -x900
0.09/0.20 v -x899 -x898 -x897 -x896 -x894 -x891 -x890 -x889 -x887 -x886 -x885 -x884 -x883 -x879 -x878 -x876 -x940 -x788 -x558 -x395
0.09/0.20 v -x444 -x652 -x42 -x579 -x105 -x104 -x103 -x102 -x101 -x96 -x94 -x93 -x92 -x90 -x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80
0.09/0.20 v -x79 -x77 -x76 -x75 -x74 -x71 -x1025 -x204 -x1155 -x1154 -x1153 -x1151 -x1149 -x1148 -x1147 -x1146 -x1145 -x1142 -x1141 -x1140
0.09/0.20 v -x1139 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132 -x1131 -x1128 -x1127 -x1126 -x1123 -x1122 -x1121 -x818 -x852 -x431 -x116
0.09/0.20 v -x1129 -x836 -x907 -x926 -x828 -x196 -x815 -x1008 -x520 -x997 -x781 -x806 -x552 -x612 -x942 -x604 -x420 x270 -x1084 -x350 -x349
0.09/0.20 v -x348 -x347 -x343 -x342 -x341 -x340 -x338 -x337 -x335 -x334 -x332 -x331 -x329 -x328 -x327 -x326 -x325 -x324 -x323 -x322
0.09/0.20 v -x321 -x317 -x316 -x959 -x114 -x339 -x511 -x536 -x922 -x440 -x522 -x119 -x931 -x319 -x1074 -x446 -x580 -x1090 -x490 -x880 -x278
0.09/0.20 v x199 -x202 -x232 -x603 -x803 -x713 -x1024 -x877 -x198 -x724 -x562 -x573 -x960 -x459 -x253 -x559 -x566 -x527 -x1099 -x548 -x345
0.09/0.20 v -x1041 -x320 -x201 -x608 x793 -x115 -x475 -x1023 -x600 -x452 x665 -x424 -x376 -x379 -x1152 -x373 -x62 -x817 -x895 x732 -x398
0.09/0.20 v -x179 -x38 x988 -x1144 -x963 -x480 -x1580 -x1579 -x1578 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570 -x1569 -x1568
0.09/0.20 v -x1567 -x1566 -x1565 -x1564 -x166 -x616 -x118 -x535 -x392 -x99 -x448 -x544 -x1026 -x98 -x560 -x483 -x501 -x35 -x34 -x33
0.09/0.20 v -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 -x13 -x11 -x10 -x9 -x8 -x7 -x6
0.09/0.20 v -x5 -x4 -x3 -x2 -x1 -x865 -x64 -x658 -x589 -x819 x1682 -x1681 -x1680 -x1679 -x1678 -x1677 -x1676 -x1675 -x1674 -x1673 -x1672
0.09/0.20 v -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1082 -x91 -x563 -x925 -x1563 x1562 -x1561 -x1560 -x1559 -x1558 -x1557 -x1556 -x1555
0.09/0.20 v -x1554 -x1553 -x1552 -x1551 -x1550 -x1549 -x1548 -x1547 -x95 -x1112 -x1080 -x100 -x643 -x1138 -x456 -x1066 -x272 x835 x460
0.09/0.20 v -x870 -x1546 -x1545 x1544 -x1543 -x1542 -x1541 -x1540 -x1539 -x1538 -x1537 -x1536 -x1535 -x1534 -x1533 -x1532 -x1531 -x1530
0.09/0.20 v -x514 -x273 -x1032 -x649 -x263 -x397 -x78 -x1063 -x493 -x279 -x1103 -x106 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692
0.09/0.20 v -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x681 -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671
0.09/0.20 v -x670 -x669 -x668 x667 -x666 -x1143 -x1411 -x1410 -x1409 -x1408 -x1407 -x1406 -x1405 -x1404 -x1403 -x1402 -x1401 -x1400 -x1399
0.09/0.20 v -x1398 -x1397 -x1396 -x471 x154 -x577 -x569 -x1073 x567 x384 x1065 -x555 x73 -x346 x12 x1347 -x1346 -x1345 -x1344 -x1343 -x1342
0.09/0.20 v -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1062 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
0.09/0.20 v -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749 -x748 -x747 -x746 x745 -x744 -x743 -x741 -x740
0.09/0.20 v -x739 -x738 -x737 -x736 -x892 -x318 -x975 -x1251 x1250 -x1249 -x1248 -x1247 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x1240
0.09/0.20 v -x1239 -x1238 -x1237 -x1236 -x881 -x1044 -x1096 -x1125 -x639 -x442 -x628 -x256 -x451 -x149 -x353 -x964 -x590 -x153 -x167
0.09/0.20 v -x147 -x491 -x37 -x530 -x97 -x893 -x389 -x648 -x1529 -x1528 -x1527 x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x1520 -x1519 -x1518
0.09/0.20 v -x1517 -x1516 -x1515 -x1514 -x1513 -x443 -x842 -x127 -x39 -x999 x1048 -x528 -x404 -x132 -x315 -x314 -x312 -x311 -x310 -x309
0.09/0.20 v -x308 x307 -x306 -x305 -x304 -x303 -x302 -x301 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288
0.09/0.20 v -x287 -x286 -x285 -x284 -x283 -x282 -x281 -x538 -x610 -x661 -x882 x416 -x615 -x473 -x1495 -x1494 -x1493 -x1492 x1491 -x1490
0.09/0.20 v -x1489 -x1488 -x1487 -x1486 -x1485 -x1484 -x1483 -x1482 -x1481 -x1480 -x1479 x336 x888 -x545 -x330 -x1130 -x162 -x1395 -x1394
0.09/0.20 v x1393 -x1392 -x1391 -x1390 -x1389 -x1388 -x1387 -x1386 -x1385 -x1384 -x1383 -x1382 -x1381 -x1380 -x365 -x1171 -x1170 -x1169
0.09/0.20 v x1168 -x1167 -x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158 -x1157 -x1156 x911 -x1512 -x1511 -x1510 -x1509
0.09/0.20 v -x1508 x1507 -x1506 -x1505 -x1504 -x1503 -x1502 -x1501 -x1500 -x1499 -x1498 -x1497 -x1496 -x267 x974 -x72 -x422 -x1631 -x1630
0.09/0.20 v -x1629 -x1628 -x1627 -x1626 x1625 -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x1615 -x344 -x1614 -x1613
0.09/0.20 v -x1612 -x1611 -x1610 -x1609 -x1608 x1607 -x1606 -x1605 -x1604 -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 x1113 -x1203 -x1202
0.09/0.20 v -x1201 -x1200 x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x983 -x1478 -x1477 -x1476 -x1475
0.09/0.20 v -x1474 -x1473 -x1472 -x1471 x1470 -x1469 -x1468 -x1467 -x1466 -x1465 -x1464 -x1463 -x1462 x125 -x1235 -x1234 -x1233 -x1232
0.09/0.20 v -x1231 x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1020 -x1315 -x1314 -x1313 -x1312 -x1311
0.09/0.20 v -x1310 x1309 -x1308 -x1307 -x1306 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x500 -x219 -x1461 -x1460 -x1459 -x1458 -x1457
0.09/0.20 v -x1456 -x1455 -x1454 -x1453 x1452 -x1451 -x1450 -x1449 -x1448 -x1447 -x1446 -x1445 x229 -x1267 -x1266 -x1265 -x1264 -x1263
0.09/0.20 v -x1262 -x1261 x1260 -x1259 -x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x742 -x682 -x249 -x1665 -x1664 -x1663 -x1662 -x1661
0.09/0.20 v -x1660 -x1659 -x1658 -x1657 -x1656 x1655 -x1654 -x1653 -x1652 -x1651 -x1650 -x1649 -x1081 -x998 -x205 -x385 -x1150 -x714
0.09/0.20 v -x770 -x1331 -x1330 -x1329 -x1328 -x1327 -x1326 -x1325 -x1324 x1323 -x1322 -x1321 -x1320 -x1319 -x1318 -x1317 -x1316 x851 -x1716
0.09/0.20 v -x1715 -x1714 -x1713 -x1712 -x1711 -x1710 -x1709 -x1708 -x1707 -x1706 x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1049 -x494
0.09/0.20 v x543 -x1597 -x1596 -x1595 -x1594 -x1593 -x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 x1585 -x1584 -x1583 -x1582 -x1581
0.09/0.20 v -x867 -x1444 -x1443 -x1442 -x1441 -x1440 -x1439 -x1438 -x1437 -x1436 -x1435 -x1434 -x1433 -x1432 x1431 -x1430 -x1429 -x1428
0.09/0.20 v -x333 -x1299 -x1298 -x1297 -x1296 -x1295 -x1294 -x1293 -x1292 -x1291 x1290 -x1289 -x1288 -x1287 -x1286 -x1285 -x1284 x429 -x498
0.09/0.20 v -x1187 -x1186 -x1185 -x1184 -x1183 -x1182 -x1181 -x1180 -x1179 -x1178 x1177 -x1176 -x1175 -x1174 -x1173 -x1172 -x107 -x1283
0.09/0.20 v -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275 -x1274 -x1273 x1272 -x1271 -x1270 -x1269 -x1268 -x218 -x1379 -x1378
0.09/0.20 v -x1377 -x1376 -x1375 -x1374 -x1373 -x1372 -x1371 -x1370 -x1369 -x1368 x1367 -x1366 -x1365 -x1364 -x539 -x1648 -x1647 -x1646
0.09/0.20 v -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1634 -x1633 -x1632 -x240 -x313 -x1427 -x1426 -x1425
0.09/0.20 v -x1424 -x1423 -x1422 -x1421 -x1420 -x1419 -x1418 -x1417 -x1416 -x1415 x1414 -x1413 -x1412 x507 -x1363 -x1362 -x1361 -x1360
0.09/0.20 v -x1359 -x1358 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 x1349 -x1348 -x48 -x1733 -x1732 -x1731 -x1730 -x1729
0.09/0.20 v -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 x1718 -x1717 -x175 -x1219 -x1218 -x1217 -x1216 -x1215
0.09/0.20 v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 -x1205 x1204 x1124 -x1699 -x1698 -x1697 -x1696 -x1695 -x1694 -x1693
0.09/0.20 v -x1692 -x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 x1683 -x523
0.09/0.20 c SCIP Status : problem is solved [optimal solution found]
0.09/0.20 c Total Time : 0.20
0.09/0.20 c solving : 0.20
0.09/0.20 c presolving : 0.17 (included in solving)
0.09/0.20 c reading : 0.01 (included in solving)
0.09/0.20 c copying : 0.00 (0 times copied the problem)
0.09/0.20 c Original Problem :
0.09/0.20 c Problem name : HOME/instance-4442055-1721297364.opb
0.09/0.20 c Variables : 1733 (1733 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.20 c Constraints : 1256 initial, 1256 maximal
0.09/0.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.09/0.20 c Presolved Problem :
0.09/0.20 c Problem name : t_HOME/instance-4442055-1721297364.opb
0.09/0.20 c Variables : 1733 (1733 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.20 c Constraints : 1256 initial, 1257 maximal
0.09/0.20 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.09/0.20 c Nonzeros : 23117 constraint, 1733 clique table
0.09/0.20 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.09/0.20 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.20 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.20 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.20 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c symmetry : 0.11 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.09/0.20 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.20 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
0.09/0.20 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.20 c root node : - - - 0 - - 0 - - - - -
0.09/0.20 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.09/0.20 c benderslp : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.09/0.20 c integral : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.09/0.20 c setppc : 68 68 0 311 0 0 0 4 0 6 0 0 0 0 0
0.09/0.20 c logicor : 1188+ 1189 0 142 0 0 0 2 0 0 0 0 0 0 0
0.09/0.20 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.20 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.20 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.20 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.09/0.20 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.09/0.20 c dualfix : 1 0 0 0
0.09/0.20 c genvbounds : 0 0 0 0
0.09/0.20 c nlobbt : 0 0 0 0
0.09/0.20 c obbt : 0 0 0 0
0.09/0.20 c probing : 0 0 0 0
0.09/0.20 c pseudoobj : 0 0 0 0
0.09/0.20 c redcost : 0 0 0 0
0.09/0.20 c rootredcost : 0 0 0 0
0.09/0.20 c symmetry : 0 0 0 0
0.09/0.20 c vbounds : 140 0 0 0
0.09/0.20 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.09/0.20 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c symmetry : 0.11 0.00 0.11 0.00 0.00 0.00
0.09/0.20 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.20 c Symmetry :
0.09/0.20 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.09/0.20 c orbital reduction: 0 reductions applied, 0 cutoffs
0.09/0.20 c lexicographic red: 0 reductions applied, 0 cutoffs
0.09/0.20 c shadow tree time : 0.00 s
0.09/0.20 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.09/0.20 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.09/0.20 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.09/0.20 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.09/0.20 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.09/0.20 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.09/0.20 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
0.09/0.20 c applied locally : - - - 0 0 0.0 - - 0 - -
0.09/0.20 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.09/0.20 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
0.09/0.20 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c > cmir : - - - - - - - 0 0 0 0 0 -
0.09/0.20 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.09/0.20 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.09/0.20 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c > gomorymi : - - - - - - - 0 0 0 0 0 -
0.09/0.20 c > strongcg : - - - - - - - 0 0 0 0 0 -
0.09/0.20 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.20 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.09/0.20 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c Pricers : ExecTime SetupTime Calls Vars
0.09/0.20 c problem variables: 0.00 - 0 0
0.09/0.20 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.09/0.20 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.20 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.09/0.20 c LP solutions : 0.00 - - 0 0
0.09/0.20 c relax solutions : 0.00 - - 0 0
0.09/0.20 c pseudo solutions : 0.00 - - 0 0
0.09/0.20 c strong branching : 0.00 - - 0 0
0.09/0.20 c actconsdiving : 0.00 0.00 0 0 0
0.09/0.20 c adaptivediving : 0.00 0.00 0 0 0
0.09/0.20 c alns : 0.00 0.00 0 0 0
0.09/0.20 c bound : 0.00 0.00 0 0 0
0.09/0.20 c clique : 0.01 0.00 1 0 0
0.09/0.20 c coefdiving : 0.00 0.00 0 0 0
0.09/0.20 c completesol : 0.00 0.00 0 0 0
0.09/0.20 c conflictdiving : 0.00 0.00 0 0 0
0.09/0.20 c crossover : 0.00 0.00 0 0 0
0.09/0.20 c dins : 0.00 0.00 0 0 0
0.09/0.20 c distributiondivin: 0.00 0.00 0 0 0
0.09/0.20 c dps : 0.00 0.00 0 0 0
0.09/0.20 c dualval : 0.00 0.00 0 0 0
0.09/0.20 c farkasdiving : 0.00 0.00 0 0 0
0.09/0.20 c feasjump : 0.00 0.00 0 0 0
0.09/0.20 c feaspump : 0.00 0.00 0 0 0
0.09/0.20 c fixandinfer : 0.00 0.00 0 0 0
0.09/0.20 c fracdiving : 0.00 0.00 0 0 0
0.09/0.20 c gins : 0.00 0.00 0 0 0
0.09/0.20 c guideddiving : 0.00 0.00 0 0 0
0.09/0.20 c indcoefdiving : 0.00 0.00 0 0 0
0.09/0.20 c indicator : 0.00 0.00 0 0 0
0.09/0.20 c indicatordiving : 0.00 0.00 0 0 0
0.09/0.20 c indoneopt : 0.00 0.00 0 0 0
0.09/0.20 c indrounding : 0.00 0.00 0 0 0
0.09/0.20 c indtwoopt : 0.00 0.00 0 0 0
0.09/0.20 c intdiving : 0.00 0.00 0 0 0
0.09/0.20 c intshifting : 0.00 0.00 0 0 0
0.09/0.20 c linesearchdiving : 0.00 0.00 0 0 0
0.09/0.20 c localbranching : 0.00 0.00 0 0 0
0.09/0.20 c locks : 0.01 0.00 1 1 1
0.09/0.20 c lpface : 0.00 0.00 0 0 0
0.09/0.20 c mpec : 0.00 0.00 0 0 0
0.09/0.20 c multistart : 0.00 0.00 0 0 0
0.09/0.20 c mutation : 0.00 0.00 0 0 0
0.09/0.20 c nlpdiving : 0.00 0.00 0 0 0
0.09/0.20 c objpscostdiving : 0.00 0.00 0 0 0
0.09/0.20 c octane : 0.00 0.00 0 0 0
0.09/0.20 c ofins : 0.00 0.00 0 0 0
0.09/0.20 c oneopt : 0.00 0.00 0 0 0
0.09/0.20 c padm : 0.00 0.00 0 0 0
0.09/0.20 c proximity : 0.00 0.00 0 0 0
0.09/0.20 c pscostdiving : 0.00 0.00 0 0 0
0.09/0.20 c randrounding : 0.00 0.00 0 0 0
0.09/0.20 c rens : 0.00 0.00 0 0 0
0.09/0.20 c reoptsols : 0.00 0.00 0 0 0
0.09/0.20 c repair : 0.00 0.00 0 0 0
0.09/0.20 c rins : 0.00 0.00 0 0 0
0.09/0.20 c rootsoldiving : 0.00 0.00 0 0 0
0.09/0.20 c rounding : 0.00 0.00 0 0 0
0.09/0.20 c scheduler : 0.00 0.00 0 0 0
0.09/0.20 c shiftandpropagate: 0.00 0.00 0 0 0
0.09/0.20 c shifting : 0.00 0.00 0 0 0
0.09/0.20 c simplerounding : 0.00 0.00 0 0 0
0.09/0.20 c smallcard : 0.00 0.00 0 0 0
0.09/0.20 c subnlp : 0.00 0.00 0 0 0
0.09/0.20 c trivial : 0.00 0.00 2 0 0
0.09/0.20 c trivialnegation : 0.00 0.00 0 0 0
0.09/0.20 c trustregion : 0.00 0.00 0 0 0
0.09/0.20 c trysol : 0.00 0.00 0 0 0
0.09/0.20 c twoopt : 0.00 0.00 0 0 0
0.09/0.20 c undercover : 0.00 0.00 0 0 0
0.09/0.20 c vbounds : 0.00 0.00 0 0 0
0.09/0.20 c veclendiving : 0.00 0.00 0 0 0
0.09/0.20 c zeroobj : 0.00 0.00 0 0 0
0.09/0.20 c zirounding : 0.00 0.00 0 0 0
0.09/0.20 c other solutions : - - - 0 -
0.09/0.20 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 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.09/0.20 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.09/0.20 c primal LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.20 c dual LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.20 c lex dual LP : 0.00 0 0 0.00 -
0.09/0.20 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.20 c resolve instable : 0.00 0 0 0.00 -
0.09/0.20 c diving/probing LP: 0.00 0 0 0.00 -
0.09/0.20 c strong branching : 0.00 0 0 0.00 - - - 0
0.09/0.20 c (at root node) : - 0 0 0.00 -
0.09/0.20 c conflict analysis: 0.00 0 0 0.00 -
0.09/0.20 c B&B Tree :
0.09/0.20 c number of runs : 1
0.09/0.20 c nodes : 1 (0 internal, 1 leaves)
0.09/0.20 c feasible leaves : 0
0.09/0.20 c infeas. leaves : 0
0.09/0.20 c objective leaves : 0
0.09/0.20 c nodes (total) : 1 (0 internal, 1 leaves)
0.09/0.20 c nodes left : 0
0.09/0.20 c max depth : 0
0.09/0.20 c max depth (total): 0
0.09/0.20 c backtracks : 0 (0.0%)
0.09/0.20 c early backtracks : 0 (0.0%)
0.09/0.20 c nodes exc. ref. : 0 (0.0%)
0.09/0.20 c delayed cutoffs : 0
0.09/0.20 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.09/0.20 c avg switch length: 2.00
0.09/0.20 c switching time : 0.00
0.09/0.20 c Root Node :
0.09/0.20 c First LP value : -
0.09/0.20 c First LP Iters : 0
0.09/0.20 c First LP Time : 0.00
0.09/0.20 c Final Dual Bound : +0.00000000000000e+00
0.09/0.20 c Final Root Iters : 0
0.09/0.20 c Root LP Estimate : -
0.09/0.20 c Solution :
0.09/0.20 c Solutions found : 1 (1 improvements)
0.09/0.20 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.20 seconds, depth 66, found by <locks>)
0.09/0.20 c Gap First Sol. : 0.00 %
0.09/0.20 c Gap Last Sol. : 0.00 %
0.09/0.20 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.20 seconds, depth 66, found by <locks>)
0.09/0.20 c Dual Bound : +0.00000000000000e+00
0.09/0.20 c Gap : 0.00 %
0.09/0.20 c Integrals : Total Avg%
0.09/0.20 c primal-dual : 19.60 99.61
0.09/0.20 c primal-ref : - - (not evaluated)
0.09/0.20 c dual-ref : - - (not evaluated)
0.20/0.21 c Time complete: 0.204964.