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-4442115-1721297365.opb>
0.00/0.01 c original problem has 1350 variables (1350 bin, 0 int, 0 impl, 0 cont) and 990 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.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver found nothing
0.00/0.03 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 990 upgd conss, 0 impls, 60 clqs
0.00/0.04 c (0.0s) probing: 51/1350 (3.8%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.04 c (0.0s) probing aborted: 50/50 successive totally useless probings
0.00/0.04 c (0.0s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.11 c (0.1s) symmetry computation finished: 84 generators found (max: 1500, log10 of symmetry group size: 80.0) (symcode time: 0.06)
0.09/0.12 c dynamic symmetry handling statistics:
0.09/0.12 c orbitopal reduction: no components
0.09/0.12 c orbital reduction: 1 components of sizes 84
0.09/0.12 c lexicographic reduction: 84 permutations with support sizes 30, 30, 60, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 60, 30, 90, 202, 342, 1350
0.09/0.12 c handled 1 out of 1 symmetry components
0.09/0.12 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.09/0.12 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.12 c 0 implications, 60 cliques
0.09/0.12 c presolved problem has 1350 variables (1350 bin, 0 int, 0 impl, 0 cont) and 990 constraints
0.09/0.12 c 60 constraints of type <setppc>
0.09/0.12 c 930 constraints of type <logicor>
0.09/0.12 c transformed objective value is always integral (scale: 1)
0.09/0.12 c Presolving Time: 0.11
0.09/0.12 c - non default parameters ----------------------------------------------------------------------
0.09/0.12 c # SCIP version 10.0.0
0.09/0.12 c
0.09/0.12 c # maximal time in seconds to run
0.09/0.12 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.12 c limits/time = 3596.997039
0.09/0.12 c
0.09/0.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.12 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.12 c limits/memory = 27900
0.09/0.12 c
0.09/0.12 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.09/0.12 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.09/0.12 c limits/solutions = 1
0.09/0.12 c
0.09/0.12 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.12 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.09/0.12 c misc/usesymmetry = 3
0.09/0.12 c
0.09/0.12 c # belongs reading time to solving time?
0.09/0.12 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.12 c timing/reading = TRUE
0.09/0.12 c
0.09/0.12 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.09/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c propagating/symmetry/detectdoublelex = FALSE
0.09/0.12 c
0.09/0.12 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.09/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c propagating/symmetry/detectsubgroups = FALSE
0.09/0.12 c
0.09/0.12 c # Type of symmetries that shall be computed?
0.09/0.12 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.09/0.12 c propagating/symmetry/symtype = 1
0.09/0.12 c
0.09/0.12 c # Should components consisting of a single full reflection be handled?
0.09/0.12 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.09/0.12 c propagating/symmetry/usesimplesgncomp = FALSE
0.09/0.12 c
0.09/0.12 c -----------------------------------------------------------------------------------------------
0.09/0.12 c start solving
0.09/0.12 c
0.09/0.13 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.13 c p 0.1s| 1 | 0 | 8 | - | locks| 0 |1350 | 991 | 990 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.09/0.13 c
0.09/0.13 c SCIP Status : problem is solved [optimal solution found]
0.09/0.13 c Solving Time (sec) : 0.13
0.09/0.13 c Solving Nodes : 1
0.09/0.13 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.09/0.13 c Dual Bound : +0.00000000000000e+00
0.09/0.13 c Gap : 0.00 %
0.09/0.13 s SATISFIABLE
0.09/0.13 v -x179 -x159 -x30 -x276 -x29 -x59 -x58 -x32 -x824 -x820 -x284 -x8 -x27 -x297 -x293 -x796 -x835 -x800 -x816 -x785 -x830 -x786 -x280
0.09/0.13 v -x173 -x829 -x286 -x815 -x155 -x288 -x789 -x41 -x801 -x832 -x839 -x299 -x420 -x416 -x414 -x413 -x409 -x407 -x406 -x399 -x396
0.09/0.13 v -x395 -x16 -x175 -x294 -x21 -x689 -x688 -x687 -x685 -x683 -x676 -x675 -x674 -x671 -x665 -x393 -x806 -x3 -x57 -x330 -x328 -x327
0.09/0.13 v -x326 -x325 -x324 -x317 -x314 -x312 -x306 -x305 -x304 -x60 -x38 -x657 -x655 -x654 -x653 -x651 -x650 -x649 -x645 -x642 -x636
0.09/0.13 v -x632 -x419 -x641 -x797 -x681 -x177 -x900 -x898 -x896 -x892 -x886 -x882 -x880 -x877 -x875 -x874 -x871 -x166 -x170 -x682 -x635
0.09/0.13 v -x804 -x270 -x269 -x267 -x264 -x263 -x259 -x258 -x256 -x254 -x251 -x249 -x242 -x241 -x633 -x162 -x640 -x684 -x329 -x245
0.09/0.13 v -x795 -x285 -x360 -x358 -x357 -x355 -x354 -x353 -x350 -x349 -x345 -x344 -x343 -x342 -x340 -x336 -x332 -x260 -x403 -x680 -x889
0.09/0.13 v -x176 -x798 -x261 -x826 -x266 -x817 -x400 -x887 -x262 -x537 -x535 -x534 -x533 -x532 -x531 -x529 -x525 -x519 -x517 -x516 -x515
0.09/0.13 v -x346 -x334 -x656 -x26 -x392 -x25 -x341 -x480 -x478 -x477 -x476 -x475 -x474 -x472 -x470 -x468 -x463 -x461 -x457 -x456 -x455
0.09/0.13 v -x453 -x452 -x466 -x318 -x347 -x458 -x28 -x471 -x48 -x34 -x290 -x813 -x9 -x894 -x161 -x527 -x311 -x405 -x2 -x783 -x352 -x298
0.09/0.13 v -x411 -x331 -x153 -x686 -x255 -x809 -x401 -x679 -x323 -x335 -x415 -x540 -x23 -x634 -x810 -x163 -x658 -x33 -x148 -x147 -x146
0.09/0.13 v -x143 -x141 -x139 -x136 -x135 -x127 -x125 -x121 -x13 -x884 -x149 -x600 -x599 -x598 -x597 -x595 -x591 -x589 -x584 -x583 -x581
0.09/0.13 v -x580 -x579 -x578 -x575 -x574 -x571 -x890 -x134 -x244 -x410 -x648 -x19 -x4 -x521 -x394 -x822 -x879 -x790 -x814 -x828 -x128 -x596
0.09/0.13 v -x585 -x309 -x528 -x172 -x873 -x530 -x168 -x667 -x174 -x538 -x359 -x838 -x37 -x397 -x870 -x869 -x866 -x865 -x861 -x860 -x859
0.09/0.13 v -x857 -x856 -x855 -x854 -x851 -x850 -x849 -x848 -x847 -x846 -x844 -x843 -x160 -x837 -x142 -x289 -x158 -x36 -x459 -x672 -x240
0.09/0.13 v -x237 -x233 -x232 x230 -x228 -x227 -x226 -x225 -x223 -x222 -x218 -x217 -x216 -x214 -x673 -x316 -x171 -x231 -x167 -x841 -x862
0.09/0.13 v -x265 -x479 -x510 -x509 -x508 -x507 -x506 -x505 -x503 -x502 -x501 -x500 -x498 -x495 -x494 -x492 -x491 -x489 -x488 -x487 -x484
0.09/0.13 v -x483 -x481 -x319 -x593 -x348 -x45 -x496 -x132 -x572 -x592 -x320 -x819 -x246 -x842 -x51 -x337 -x677 -x518 -x282 -x49 -x281
0.09/0.13 v -x351 -x229 -x490 -x836 -x720 -x718 -x717 -x716 -x714 -x713 -x711 -x710 -x708 -x705 -x704 -x703 -x701 -x700 -x699 -x698 -x697
0.09/0.13 v -x696 -x695 -x694 -x693 -x692 -x154 -x897 -x670 -x137 -x303 -x31 -x219 -x524 -x39 -x833 -x273 -x652 -x338 -x493 -x691 -x536
0.09/0.13 v -x811 -x165 -x10 -x750 -x748 -x747 -x746 -x745 -x744 -x743 -x740 -x739 -x738 -x737 -x736 -x735 -x733 -x732 -x731 -x730 -x728
0.09/0.13 v -x727 -x725 -x724 -x722 -x721 -x89 -x88 -x86 -x85 -x81 -x77 -x76 -x74 -x73 -x72 -x71 -x70 -x69 -x65 -x63 -x62 -x61 -x523 -x853
0.09/0.13 v -x729 -x646 -x215 -x719 -x647 -x526 -x662 -x666 -x82 -x512 -x122 -x234 -x706 -x53 -x123 -x638 -x784 -x876 -x883 -x678 -x690
0.09/0.13 v -x75 -x723 -x20 -x283 -x460 -x749 -x211 -x482 x24 -x301 -x812 -x271 -x663 -x315 -x668 -x417 -x863 -x145 -x808 -x250 -x67
0.09/0.13 v -x169 -x513 -x274 -x885 -x576 -x12 -x140 -x221 -x805 -x664 -x781 x402 -x66 -x791 -x252 -x486 -x630 -x629 -x627 -x626 -x624 -x619
0.09/0.13 v -x618 -x617 -x616 -x615 -x614 -x612 -x610 -x609 -x605 -x602 -x601 -x408 -x151 -x895 -x845 -x156 -x78 -x888 -x794 -x881 -x42
0.09/0.13 v -x296 -x333 -x622 -x253 -x84 -x867 -x238 -x644 -x291 -x272 -x212 -x287 -x621 -x608 -x243 -x639 -x18 -x17 -x15 -x418 x660 -x130
0.09/0.13 v -x64 -x473 -x55 -x313 -x157 -x821 -x390 -x387 -x385 -x384 -x382 -x380 -x379 -x377 -x376 -x372 -x371 -x370 -x366 -x365 -x364
0.09/0.13 v -x363 -x362 -x361 -x339 -x514 -x180 -x852 -x787 -x590 -x465 -x522 -x90 -x780 -x778 -x777 -x776 -x775 -x774 -x772 -x771 -x770
0.09/0.13 v -x768 -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x759 -x758 -x756 -x755 -x754 -x752 -x751 -x628 -x80 -x388 -x623 -x637 -x7
0.09/0.13 v -x300 -x373 -x631 -x278 -x831 -x620 -x588 -x604 -x375 -x210 -x209 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 -x198 -x197
0.09/0.13 v -x196 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x182 -x181 -x606 -x378 -x275 -x310 -x715 -x391 -x467 -x788
0.09/0.13 v -x611 -x381 -x79 -x864 -x120 -x119 -x118 -x117 -x116 -x114 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102
0.09/0.13 v -x101 -x100 -x99 -x98 -x97 -x96 -x95 -x93 x92 -x91 -x35 -x818 -x308 x858 -x868 -x268 -x40 -x14 -x235 -x607 -x539 -x44 -x504
0.09/0.13 v -x893 -x322 -x769 -x840 -x43 -x757 -x782 -x152 -x779 -x236 -x279 x356 -x302 -x6 -x412 -x277 -x741 -x94 -x594 -x573 -x582 -x124
0.09/0.13 v -x587 -x133 -x643 -x613 -x792 -x603 x321 -x661 -x753 x586 -x367 -x208 -x68 -x511 -x368 -x659 -x195 -x164 -x386 -x712 x1200
0.09/0.13 v -x1199 -x1198 -x1197 -x1196 -x1195 -x1194 -x1193 -x1192 -x1191 -x1190 -x1189 -x1188 -x1187 -x1186 -x50 -x577 x183 -x257 -x126
0.09/0.13 v -x248 -x22 -x1290 x1289 -x1288 -x1287 -x1286 -x1285 -x1284 -x1283 -x1282 -x1281 -x1280 -x1279 -x1278 -x1277 -x1276 -x56 -x54
0.09/0.13 v x520 -x802 -x295 -x450 -x449 -x448 -x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433
0.09/0.13 v -x432 -x431 -x430 -x429 -x428 -x427 -x426 -x425 -x424 -x423 -x422 x421 -x827 -x224 -x497 -x398 x669 -x199 -x113 -x742 -x83
0.09/0.13 v -x760 -x799 -x707 x773 -x383 x292 -x115 -x834 -x1260 -x1259 x1258 -x1257 -x1256 -x1255 -x1254 -x1253 -x1252 -x1251 -x1250 -x1249
0.09/0.13 v -x1248 -x1247 -x1246 -x144 -x1155 -x1154 -x1153 x1152 -x1151 -x1150 -x1149 -x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142
0.09/0.13 v -x1141 x47 x87 -x462 x734 x247 -x1170 -x1169 -x1168 -x1167 x1166 -x1165 -x1164 -x1163 -x1162 -x1161 -x1160 -x1159 -x1158
0.09/0.13 v -x1157 -x1156 -x138 x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066
0.09/0.13 v -x702 -x1050 x1049 -x1048 -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x220 -x570 -x569
0.09/0.13 v -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 -x554 -x553 -x552 -x551 -x550 -x549 -x548
0.09/0.13 v -x547 x546 -x545 -x544 -x543 -x542 -x541 -x499 -x11 x485 -x1245 -x1244 -x1243 -x1242 -x1241 x1240 -x1239 -x1238 -x1237 -x1236
0.09/0.13 v -x1235 -x1234 -x1233 -x1232 -x1231 -x803 x793 x389 -x1095 -x1094 x1093 -x1092 -x1091 -x1090 -x1089 -x1088 -x1087 -x1086
0.09/0.13 v -x1085 -x1084 -x1083 -x1082 -x1081 -x823 -x1275 -x1274 -x1273 -x1272 -x1271 -x1270 x1269 -x1268 -x1267 -x1266 -x1265 -x1264 -x1263
0.09/0.13 v -x1262 -x1261 x625 -x184 -x1125 -x1124 -x1123 x1122 -x1121 -x1120 -x1119 -x1118 -x1117 -x1116 -x1115 -x1114 -x1113 -x1112
0.09/0.13 v -x1111 x825 -x451 -x129 -x1005 -x1004 -x1003 -x1002 x1001 -x1000 -x999 -x998 -x997 -x996 -x995 -x994 -x993 -x992 -x991 -x307
0.09/0.13 v -x930 -x929 -x928 -x927 -x926 x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x872 -x1140 -x1139 -x1138 -x1137
0.09/0.13 v -x1136 -x1135 -x1134 x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x46 -x374 -x990 -x989 -x988 -x987 -x986 -x985 x984
0.09/0.13 v -x983 -x982 -x981 -x980 -x979 -x978 -x977 -x976 -x726 -x464 x709 -x899 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329 -x1328
0.09/0.13 v x1327 -x1326 -x1325 -x1324 -x1323 -x1322 -x1321 -x239 -x1035 -x1034 -x1033 -x1032 -x1031 -x1030 -x1029 x1028 -x1027 -x1026
0.09/0.13 v -x1025 -x1024 -x1023 -x1022 -x1021 -x369 -x960 -x959 -x958 -x957 -x956 -x955 -x954 -x953 x952 -x951 -x950 -x949 -x948 -x947
0.09/0.13 v -x946 x454 -x1305 -x1304 -x1303 -x1302 -x1301 -x1300 -x1299 -x1298 -x1297 x1296 -x1295 -x1294 -x1293 -x1292 -x1291 -x807 -x1215
0.09/0.13 v -x1214 -x1213 -x1212 -x1211 -x1210 -x1209 -x1208 -x1207 -x1206 x1205 -x1204 -x1203 -x1202 -x1201 -x891 -x1185 -x1184 -x1183
0.09/0.13 v -x1182 -x1181 -x1180 -x1179 -x1178 -x1177 -x1176 -x1175 x1174 -x1173 -x1172 -x1171 -x469 -x1350 -x1349 -x1348 -x1347 -x1346
0.09/0.13 v -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 x1338 -x1337 -x1336 -x150 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938
0.09/0.13 v -x937 x936 -x935 -x934 -x933 -x932 -x931 -x213 -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 -x1059 -x1058 -x1057 -x1056 x1055
0.09/0.13 v -x1054 -x1053 -x1052 -x1051 x131 -x975 -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 x964 -x963 -x962 -x961 -x5
0.09/0.13 v -x1230 -x1229 -x1228 -x1227 -x1226 -x1225 -x1224 -x1223 -x1222 -x1221 -x1220 -x1219 -x1218 x1217 -x1216 -x52 -x1320 -x1319 -x1318
0.09/0.13 v -x1317 -x1316 -x1315 -x1314 -x1313 -x1312 -x1311 -x1310 -x1309 -x1308 -x1307 x1306 x178 -x1110 -x1109 -x1108 -x1107 -x1106
0.09/0.13 v -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 -x1099 x1098 -x1097 -x1096 -x404 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
0.09/0.13 v -x1013 -x1012 -x1011 -x1010 -x1009 -x1008 x1007 -x1006 x878 -x915 -x914 -x913 -x912 -x911 -x910 -x909 -x908 -x907 -x906 -x905
0.09/0.13 v -x904 -x903 -x902 x901 -x1
0.09/0.13 c SCIP Status : problem is solved [optimal solution found]
0.09/0.13 c Total Time : 0.13
0.09/0.13 c solving : 0.13
0.09/0.13 c presolving : 0.11 (included in solving)
0.09/0.13 c reading : 0.01 (included in solving)
0.09/0.13 c copying : 0.00 (0 times copied the problem)
0.09/0.13 c Original Problem :
0.09/0.13 c Problem name : HOME/instance-4442115-1721297365.opb
0.09/0.13 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13 c Constraints : 990 initial, 990 maximal
0.09/0.13 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.09/0.13 c Presolved Problem :
0.09/0.13 c Problem name : t_HOME/instance-4442115-1721297365.opb
0.09/0.13 c Variables : 1350 (1350 binary, 0 integer, 0 implicit integer, 0 continuous)
0.09/0.13 c Constraints : 990 initial, 991 maximal
0.09/0.13 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.09/0.13 c Nonzeros : 16650 constraint, 1350 clique table
0.09/0.13 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.09/0.13 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.13 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c milp : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.13 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.13 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c probing : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c symmetry : 0.07 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.09/0.13 c linear : 0.01 0.00 2 0 0 0 0 0 0 0 0 0
0.09/0.13 c logicor : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.09/0.13 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.09/0.13 c root node : - - - 0 - - 0 - - - - -
0.09/0.13 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.09/0.13 c benderslp : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.09/0.13 c integral : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.09/0.13 c setppc : 60 60 0 291 0 0 0 4 0 6 0 0 0 0 0
0.09/0.13 c logicor : 930+ 931 0 167 0 0 0 2 0 0 0 0 0 0 0
0.09/0.13 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.13 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.13 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.09/0.13 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.09/0.13 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.13 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.13 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.13 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 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.13 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.13 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.13 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.13 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.09/0.13 c dualfix : 1 0 0 0
0.09/0.13 c genvbounds : 0 0 0 0
0.09/0.13 c nlobbt : 0 0 0 0
0.09/0.13 c obbt : 0 0 0 0
0.09/0.13 c probing : 0 0 0 0
0.09/0.13 c pseudoobj : 0 0 0 0
0.09/0.13 c redcost : 0 0 0 0
0.09/0.13 c rootredcost : 0 0 0 0
0.09/0.13 c symmetry : 0 0 0 0
0.09/0.13 c vbounds : 126 0 0 0
0.09/0.13 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.09/0.13 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c probing : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c symmetry : 0.07 0.00 0.07 0.00 0.00 0.00
0.09/0.13 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.09/0.13 c Symmetry :
0.09/0.13 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.09/0.13 c orbital reduction: 0 reductions applied, 0 cutoffs
0.09/0.13 c lexicographic red: 0 reductions applied, 0 cutoffs
0.09/0.13 c shadow tree time : 0.00 s
0.09/0.13 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.09/0.13 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.09/0.13 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.09/0.13 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.09/0.13 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.09/0.13 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.09/0.13 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
0.09/0.13 c applied locally : - - - 0 0 0.0 - - 0 - -
0.09/0.13 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.09/0.13 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
0.09/0.13 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c > cmir : - - - - - - - 0 0 0 0 0 -
0.09/0.13 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.09/0.13 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.09/0.13 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c > gomorymi : - - - - - - - 0 0 0 0 0 -
0.09/0.13 c > strongcg : - - - - - - - 0 0 0 0 0 -
0.09/0.13 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.09/0.13 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.09/0.13 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c Pricers : ExecTime SetupTime Calls Vars
0.09/0.13 c problem variables: 0.00 - 0 0
0.09/0.13 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.09/0.13 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.09/0.13 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.09/0.13 c LP solutions : 0.00 - - 0 0
0.09/0.13 c relax solutions : 0.00 - - 0 0
0.09/0.13 c pseudo solutions : 0.00 - - 0 0
0.09/0.13 c strong branching : 0.00 - - 0 0
0.09/0.13 c actconsdiving : 0.00 0.00 0 0 0
0.09/0.13 c adaptivediving : 0.00 0.00 0 0 0
0.09/0.13 c alns : 0.00 0.00 0 0 0
0.09/0.13 c bound : 0.00 0.00 0 0 0
0.09/0.13 c clique : 0.01 0.00 1 0 0
0.09/0.13 c coefdiving : 0.00 0.00 0 0 0
0.09/0.13 c completesol : 0.00 0.00 0 0 0
0.09/0.13 c conflictdiving : 0.00 0.00 0 0 0
0.09/0.13 c crossover : 0.00 0.00 0 0 0
0.09/0.13 c dins : 0.00 0.00 0 0 0
0.09/0.13 c distributiondivin: 0.00 0.00 0 0 0
0.09/0.13 c dps : 0.00 0.00 0 0 0
0.09/0.13 c dualval : 0.00 0.00 0 0 0
0.09/0.13 c farkasdiving : 0.00 0.00 0 0 0
0.09/0.13 c feasjump : 0.00 0.00 0 0 0
0.09/0.13 c feaspump : 0.00 0.00 0 0 0
0.09/0.13 c fixandinfer : 0.00 0.00 0 0 0
0.09/0.13 c fracdiving : 0.00 0.00 0 0 0
0.09/0.13 c gins : 0.00 0.00 0 0 0
0.09/0.13 c guideddiving : 0.00 0.00 0 0 0
0.09/0.13 c indcoefdiving : 0.00 0.00 0 0 0
0.09/0.13 c indicator : 0.00 0.00 0 0 0
0.09/0.13 c indicatordiving : 0.00 0.00 0 0 0
0.09/0.13 c indoneopt : 0.00 0.00 0 0 0
0.09/0.13 c indrounding : 0.00 0.00 0 0 0
0.09/0.13 c indtwoopt : 0.00 0.00 0 0 0
0.09/0.13 c intdiving : 0.00 0.00 0 0 0
0.09/0.13 c intshifting : 0.00 0.00 0 0 0
0.09/0.13 c linesearchdiving : 0.00 0.00 0 0 0
0.09/0.13 c localbranching : 0.00 0.00 0 0 0
0.09/0.13 c locks : 0.00 0.00 1 1 1
0.09/0.13 c lpface : 0.00 0.00 0 0 0
0.09/0.13 c mpec : 0.00 0.00 0 0 0
0.09/0.13 c multistart : 0.00 0.00 0 0 0
0.09/0.13 c mutation : 0.00 0.00 0 0 0
0.09/0.13 c nlpdiving : 0.00 0.00 0 0 0
0.09/0.13 c objpscostdiving : 0.00 0.00 0 0 0
0.09/0.13 c octane : 0.00 0.00 0 0 0
0.09/0.13 c ofins : 0.00 0.00 0 0 0
0.09/0.13 c oneopt : 0.00 0.00 0 0 0
0.09/0.13 c padm : 0.00 0.00 0 0 0
0.09/0.13 c proximity : 0.00 0.00 0 0 0
0.09/0.13 c pscostdiving : 0.00 0.00 0 0 0
0.09/0.13 c randrounding : 0.00 0.00 0 0 0
0.09/0.13 c rens : 0.00 0.00 0 0 0
0.09/0.13 c reoptsols : 0.00 0.00 0 0 0
0.09/0.13 c repair : 0.00 0.00 0 0 0
0.09/0.13 c rins : 0.00 0.00 0 0 0
0.09/0.13 c rootsoldiving : 0.00 0.00 0 0 0
0.09/0.13 c rounding : 0.00 0.00 0 0 0
0.09/0.13 c scheduler : 0.00 0.00 0 0 0
0.09/0.13 c shiftandpropagate: 0.00 0.00 0 0 0
0.09/0.13 c shifting : 0.00 0.00 0 0 0
0.09/0.13 c simplerounding : 0.00 0.00 0 0 0
0.09/0.13 c smallcard : 0.00 0.00 0 0 0
0.09/0.13 c subnlp : 0.00 0.00 0 0 0
0.09/0.13 c trivial : 0.00 0.00 2 0 0
0.09/0.13 c trivialnegation : 0.00 0.00 0 0 0
0.09/0.13 c trustregion : 0.00 0.00 0 0 0
0.09/0.13 c trysol : 0.00 0.00 0 0 0
0.09/0.13 c twoopt : 0.00 0.00 0 0 0
0.09/0.13 c undercover : 0.00 0.00 0 0 0
0.09/0.13 c vbounds : 0.00 0.00 0 0 0
0.09/0.13 c veclendiving : 0.00 0.00 0 0 0
0.09/0.13 c zeroobj : 0.00 0.00 0 0 0
0.09/0.13 c zirounding : 0.00 0.00 0 0 0
0.09/0.13 c other solutions : - - - 0 -
0.09/0.13 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.13 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.13 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.13 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.13 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.13 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.13 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.13 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.13 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.13 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.13 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.09/0.13 c primal LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.13 c dual LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.13 c lex dual LP : 0.00 0 0 0.00 -
0.09/0.13 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.09/0.13 c resolve instable : 0.00 0 0 0.00 -
0.09/0.13 c diving/probing LP: 0.00 1 8 8.00 -
0.09/0.13 c strong branching : 0.00 0 0 0.00 - - - 0
0.09/0.13 c (at root node) : - 0 0 0.00 -
0.09/0.13 c conflict analysis: 0.00 0 0 0.00 -
0.09/0.13 c B&B Tree :
0.09/0.13 c number of runs : 1
0.09/0.13 c nodes : 1 (0 internal, 1 leaves)
0.09/0.13 c feasible leaves : 0
0.09/0.13 c infeas. leaves : 0
0.09/0.13 c objective leaves : 0
0.09/0.13 c nodes (total) : 1 (0 internal, 1 leaves)
0.09/0.13 c nodes left : 0
0.09/0.13 c max depth : 0
0.09/0.13 c max depth (total): 0
0.09/0.13 c backtracks : 0 (0.0%)
0.09/0.13 c early backtracks : 0 (0.0%)
0.09/0.13 c nodes exc. ref. : 0 (0.0%)
0.09/0.13 c delayed cutoffs : 0
0.09/0.13 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.09/0.13 c avg switch length: 2.00
0.09/0.13 c switching time : 0.00
0.09/0.13 c Root Node :
0.09/0.13 c First LP value : -
0.09/0.13 c First LP Iters : 0
0.09/0.13 c First LP Time : 0.00
0.09/0.13 c Final Dual Bound : +0.00000000000000e+00
0.09/0.13 c Final Root Iters : 0
0.09/0.13 c Root LP Estimate : -
0.09/0.13 c Solution :
0.09/0.13 c Solutions found : 1 (1 improvements)
0.09/0.13 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.13 seconds, depth 60, found by <locks>)
0.09/0.13 c Gap First Sol. : 0.00 %
0.09/0.13 c Gap Last Sol. : 0.00 %
0.09/0.13 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.13 seconds, depth 60, found by <locks>)
0.09/0.13 c Dual Bound : +0.00000000000000e+00
0.09/0.13 c Gap : 0.00 %
0.09/0.13 c Integrals : Total Avg%
0.09/0.13 c primal-dual : 13.15 99.67
0.09/0.13 c primal-ref : - - (not evaluated)
0.09/0.13 c dual-ref : - - (not evaluated)
0.09/0.14 c Time complete: 0.14037.