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-4442205-1721297365.opb>
0.00/0.01 c original problem has 2280 variables (2280 bin, 0 int, 0 impl, 0 cont) and 1636 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.02 c presolving:
0.00/0.04 c (0.0s) running MILP presolver
0.00/0.04 c (0.0s) MILP presolver found nothing
0.00/0.06 c (round 1, exhaustive) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1636 upgd conss, 0 impls, 78 clqs
0.00/0.08 c (0.1s) probing: 51/2280 (2.2%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.00/0.08 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.00/0.09 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.19/0.26 c (0.3s) symmetry computation finished: 110 generators found (max: 1500, log10 of symmetry group size: 110.0) (symcode time: 0.16)
0.19/0.26 c dynamic symmetry handling statistics:
0.19/0.26 c orbitopal reduction: no components
0.19/0.26 c orbital reduction: 1 components of sizes 110
0.19/0.26 c lexicographic reduction: 110 permutations with support sizes 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 80, 40, 114, 418, 1128, 2280
0.19/0.26 c handled 1 out of 1 symmetry components
0.19/0.27 c presolving (2 rounds: 2 fast, 2 medium, 2 exhaustive):
0.19/0.27 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.19/0.27 c 0 implications, 78 cliques
0.19/0.27 c presolved problem has 2280 variables (2280 bin, 0 int, 0 impl, 0 cont) and 1636 constraints
0.19/0.27 c 78 constraints of type <setppc>
0.19/0.27 c 1558 constraints of type <logicor>
0.19/0.27 c transformed objective value is always integral (scale: 1)
0.19/0.27 c Presolving Time: 0.25
0.19/0.27 c - non default parameters ----------------------------------------------------------------------
0.19/0.27 c # SCIP version 10.0.0
0.19/0.27 c
0.19/0.27 c # maximal time in seconds to run
0.19/0.27 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.19/0.27 c limits/time = 3596.998006
0.19/0.27 c
0.19/0.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.19/0.27 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.19/0.27 c limits/memory = 27900
0.19/0.27 c
0.19/0.27 c # solving stops, if the given number of solutions were found; this limit is first checked in presolving (-1: no limit)
0.19/0.27 c # [type: int, advanced: FALSE, range: [-1,2147483647], default: -1]
0.19/0.27 c limits/solutions = 1
0.19/0.27 c
0.19/0.27 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.19/0.27 c # [type: int, advanced: FALSE, range: [0,7], default: 7]
0.19/0.27 c misc/usesymmetry = 3
0.19/0.27 c
0.19/0.27 c # belongs reading time to solving time?
0.19/0.27 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.19/0.27 c timing/reading = TRUE
0.19/0.27 c
0.19/0.27 c # Should we check whether the components of the symmetry group can be handled by double lex matrices?
0.19/0.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.27 c propagating/symmetry/detectdoublelex = FALSE
0.19/0.27 c
0.19/0.27 c # Should we try to detect symmetric subgroups of the symmetry group on binary variables?
0.19/0.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.27 c propagating/symmetry/detectsubgroups = FALSE
0.19/0.27 c
0.19/0.27 c # Type of symmetries that shall be computed?
0.19/0.27 c # [type: int, advanced: TRUE, range: [0,1], default: 0]
0.19/0.27 c propagating/symmetry/symtype = 1
0.19/0.27 c
0.19/0.27 c # Should components consisting of a single full reflection be handled?
0.19/0.27 c # [type: bool, advanced: TRUE, range: {TRUE,FALSE}, default: TRUE]
0.19/0.27 c propagating/symmetry/usesimplesgncomp = FALSE
0.19/0.27 c
0.19/0.27 c -----------------------------------------------------------------------------------------------
0.19/0.27 c start solving
0.19/0.27 c
0.19/0.29 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.19/0.29 c p 0.3s| 1 | 0 | 0 | - | locks| 0 |2280 |1637 |1636 | 0 | 0 | 0 | 0 | 0.000000e+00 | 0.000000e+00 | 0.00%| unknown
0.19/0.29 c
0.19/0.29 c SCIP Status : problem is solved [optimal solution found]
0.19/0.29 c Solving Time (sec) : 0.29
0.19/0.29 c Solving Nodes : 1
0.19/0.29 c Primal Bound : +0.00000000000000e+00 (1 solutions)
0.19/0.29 c Dual Bound : +0.00000000000000e+00
0.19/0.29 c Gap : 0.00 %
0.19/0.29 s SATISFIABLE
0.19/0.29 v -x1507 -x1501 -x1488 -x229 -x207 -x221 -x201 -x219 -x1519 -x208 -x273 -x272 -x271 -x269 -x265 -x264 -x1073 -x1072 -x1053 -x1046
0.19/0.29 v -x1079 -x1518 -x597 -x578 -x569 -x1505 -x589 -x277 -x1056 -x1043 -x236 -x480 -x479 -x478 -x476 -x475 -x473 -x472 -x460 -x453
0.19/0.29 v -x451 -x450 -x447 -x257 -x1069 -x215 -x439 -x438 -x430 -x427 -x425 -x423 -x416 -x415 -x408 -x407 -x404 -x403 -x1068 -x566 -x429
0.19/0.29 v -x1055 -x401 -x1057 -x37 -x34 -x30 -x27 -x25 -x22 -x20 -x11 -x10 -x6 -x3 -x270 -x205 -x564 -x21 -x226 -x583 -x319 -x318 -x317
0.19/0.29 v -x314 -x311 -x305 -x293 -x431 -x288 -x1060 -x1486 -x1514 -x579 -x1313 -x1307 -x1306 -x1298 -x1288 -x1285 -x1283 -x1281 -x1299
0.19/0.29 v x1198 -x1179 -x1178 -x1167 -x1165 -x1161 -x1169 -x1047 -x1483 -x224 -x1517 -x206 -x1114 -x1104 -x1098 -x1097 -x1096 -x1093
0.19/0.29 v -x1091 -x1086 -x1085 -x1081 -x437 -x285 -x1077 -x211 -x294 -x1199 -x292 -x406 -x461 -x1 -x441 -x1164 -x1041 -x1319 -x1318
0.19/0.29 v -x262 -x1196 -x1185 -x440 -x7 -x1100 -x223 -x1163 -x1497 -x1070 -x238 -x574 -x409 -x1286 -x580 -x36 -x1489 -x32 -x446 -x1499
0.19/0.29 v -x313 -x435 -x588 -x452 -x217 -x259 -x248 -x410 -x231 -x1440 -x1438 -x1436 -x1435 -x1432 -x1431 -x1426 -x1420 -x1418 -x1417
0.19/0.29 v -x1416 -x1415 -x1414 -x1412 -x1411 -x1410 -x1405 -x1403 -x1402 -x310 -x1200 -x573 -x255 -x448 -x309 -x1099 -x1413 -x233 -x456
0.19/0.29 v -x1496 -x1090 -x413 -x464 -x442 -x1177 -x419 -x77 -x74 -x73 -x72 -x71 -x66 -x65 -x64 -x63 -x61 -x59 -x53 -x49 -x48 -x46 -x42
0.19/0.29 v -x568 -x1087 -x283 -x222 -x18 -x477 -x39 -x1300 -x13 -x296 -x60 -x1184 -x243 -x1282 -x274 -x268 -x1075 -x1401 -x518 -x508 -x507
0.19/0.29 v -x502 -x501 -x498 -x497 -x496 -x494 -x492 -x491 -x487 -x485 -x484 -x58 -x266 -x1439 -x1316 -x1312 -x1427 -x1503 -x1103 -x1094
0.19/0.29 v -x79 -x75 -x251 -x1292 -x443 -x1063 -x1120 -x252 -x4 -x1308 -x449 -x1071 -x281 -x1510 -x719 -x717 -x714 -x713 -x711 -x708
0.19/0.29 v -x707 -x702 -x701 -x700 -x699 -x698 -x692 -x691 -x684 -x78 -x1301 -x300 -x505 -x19 -x120 -x119 -x118 -x115 -x113 -x109 -x105
0.19/0.29 v -x100 -x91 -x90 -x89 -x88 -x86 -x83 -x81 -x1293 -x466 -x686 -x1050 -x402 -x299 -x69 -x1189 -x276 -x720 -x1482 -x709 -x278 -x565
0.19/0.29 v -x87 -x55 -x1506 -x1180 -x242 -x213 -x1404 -x1174 -x1290 -x562 -x595 -x287 -x159 -x158 -x155 -x153 -x151 -x149 -x148 -x147
0.19/0.29 v -x146 -x145 -x144 -x141 -x138 -x135 -x132 -x126 -x124 -x121 -x80 -x1171 -x51 -x718 -x246 -x590 -x1406 -x1078 -x598 -x137 -x1065
0.19/0.29 v -x1182 -x1434 -x474 -x249 -x1481 -x1428 -x1421 -x458 -x957 -x954 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941
0.19/0.29 v -x940 -x938 -x937 -x936 -x935 -x933 -x931 -x929 -x927 -x926 -x922 -x134 -x424 -x457 -x232 -x517 -x1188 -x228 -x1409 -x1314 -x715
0.19/0.29 v -x110 -x102 -x705 -x593 -x45 -x586 -x1118 -x563 -x127 -x1190 -x1422 -x301 -x463 -x1484 -x683 -x1109 -x1119 -x260 -x1175 -x1194
0.19/0.29 v -x685 -x489 -x250 -x1061 -x795 -x794 -x793 -x792 -x790 -x789 -x787 -x785 -x784 -x782 -x780 -x779 -x778 -x777 -x771 -x768
0.19/0.29 v -x767 -x766 -x765 -x764 -x763 -x762 -x761 -x1399 -x1398 -x1397 -x1394 -x1393 -x1392 -x1390 -x1389 -x1387 -x1386 -x1385 -x1384
0.19/0.29 v -x1382 -x1380 -x1379 -x1377 -x1373 -x1372 -x1369 -x1368 -x1365 -x1361 -x290 -x690 -x1437 -x921 -x495 -x575 -x1106 -x247 -x920
0.19/0.29 v -x918 -x916 -x915 -x914 -x913 -x912 -x910 -x907 -x903 -x900 -x899 -x896 -x892 -x891 -x890 -x889 -x887 -x884 -x882 -x881 -x1092
0.19/0.29 v -x418 -x773 -x1287 -x570 -x880 -x879 -x878 -x875 -x872 -x870 -x869 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858
0.19/0.29 v -x857 -x855 -x854 -x853 -x852 -x849 -x848 -x847 -x843 -x842 -x841 -x96 -x244 -x82 -x582 -x103 -x696 x592 -x911 -x704 -x876
0.19/0.29 v -x600 -x687 -x1101 -x31 -x9 -x867 -x774 -x227 -x469 -x1183 -x1498 -x1076 -x57 -x851 -x1193 -x1388 -x202 -x500 -x850 -x1107 -x1048
0.19/0.29 v -x470 -x1082 -x204 -x1504 -x581 -x2 -x1162 -x237 -x1095 -x465 -x520 -x307 -x1364 -x1240 -x1239 -x1237 -x1236 -x1235 -x1234
0.19/0.29 v -x1232 -x1231 -x1230 -x1229 -x1226 -x1224 -x1222 -x1221 -x1219 -x1217 -x1216 -x1215 -x1214 -x1213 -x1212 -x1211 -x1210 -x1209
0.19/0.29 v -x1206 -x1205 -x1201 -x16 -x710 -x1284 -x400 -x398 -x396 -x395 -x393 -x392 -x390 -x388 -x387 -x385 -x382 -x379 -x376 -x374
0.19/0.29 v -x373 -x371 -x367 -x366 -x365 -x364 -x363 -x362 -x94 -x871 -x796 -x898 -x901 -x1195 -x360 -x359 -x357 -x355 -x354 -x353 -x352
0.19/0.29 v -x351 -x350 -x348 -x347 -x346 -x344 -x341 -x337 -x336 -x335 -x334 -x332 -x331 -x329 -x326 -x325 -x324 -x323 -x322 -x321 -x444
0.19/0.29 v -x298 -x455 -x44 -x1516 -x1074 -x417 -x316 -x919 -x897 -x576 -x960 -x788 -x885 -x571 -x1228 -x1500 -x157 -x798 -x327 -x384
0.19/0.29 v -x856 -x280 -x904 -x1302 -x883 -x381 -x214 -x56 -x394 -x1362 -x1317 -x50 -x256 -x462 -x140 -x369 -x958 -x599 -x939 -x209 -x267
0.19/0.29 v -x1044 -x874 -x1197 -x712 -x342 -x1363 -x585 -x693 -x377 -x1191 -x1067 -x1049 -x343 -x577 -x572 -x1051 -x26 -x428 -x584 -x1115
0.19/0.29 v -x253 -x345 -x1400 -x129 -x703 -x800 -x873 -x218 -x888 -x411 -x1172 -x328 -x203 -x117 -x340 -x560 -x558 -x557 -x556 -x555
0.19/0.29 v -x553 -x552 -x550 -x549 -x548 -x547 -x546 -x545 -x543 -x542 -x541 -x540 -x538 -x537 -x535 -x534 -x532 -x531 -x530 -x529 -x526
0.19/0.29 v -x523 -x522 -x639 -x638 -x637 -x636 -x634 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619
0.19/0.29 v x618 -x617 -x616 -x615 -x614 -x613 -x611 -x610 -x607 -x606 -x605 -x604 -x603 -x602 -x35 -x1112 -x17 -x536 -x1083 -x635 -x131
0.19/0.29 v -x770 -x98 -x245 -x510 -x142 -x1309 -x308 -x467 -x1429 -x1391 -x97 -x1512 -x225 -x1511 -x594 -x680 -x679 -x678 -x677 -x673
0.19/0.29 v -x672 -x669 -x668 -x666 -x665 -x664 -x663 -x661 -x659 -x658 x657 -x656 -x655 -x654 -x653 -x652 -x649 -x648 -x647 -x646 -x645
0.19/0.29 v -x644 -x643 -x642 -x641 -x108 -x775 -x230 -x559 -x1419 -x289 -x660 -x511 -x877 -x503 -x405 -x567 -x1102 -x1433 -x436 -x1395
0.19/0.29 v -x1170 -x386 -x1381 -x28 -x1204 -x539 -x716 -x150 -x791 -x1202 -x101 -x284 -x143 -x1203 -x1383 -x239 -x1495 -x650 -x840 -x838
0.19/0.29 v -x837 -x835 -x834 -x832 -x830 -x828 -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 -x815 -x814 -x813
0.19/0.29 v -x812 -x810 -x809 -x808 -x807 -x806 -x805 -x804 -x803 -x802 -x801 -x380 -x241 -x1502 -x688 -x133 -x906 -x389 -x1366 -x528
0.19/0.29 v -x527 -x303 -x839 -x330 -x1225 -x116 -x1110 -x1117 -x591 -x786 -x306 -x254 -x234 -x1038 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031
0.19/0.29 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014
0.19/0.29 v x1013 -x1012 -x1011 -x1010 -x1009 -x1007 -x1005 -x1003 -x1001 -x128 -x706 -x1037 -x515 -x391 -x1181 -x1407 -x1218 -x1320 -x670
0.19/0.29 v -x1425 -x235 -x1374 -x422 -x1485 -x612 -x40 -x1296 -x315 -x1006 -x772 -x930 -x776 -x512 -x1289 -x516 -x781 -x433 -x950 -x1310
0.19/0.29 v -x107 -x956 -x41 -x1487 -x1000 -x999 -x998 -x996 -x995 -x994 -x993 -x992 -x991 -x989 -x988 -x987 -x986 -x985 -x984 -x981 -x978
0.19/0.29 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x980 -x92 -x1315 -x951 -x139 -x695
0.19/0.29 v -x43 -x111 -x1371 -x1080 -x1084 -x601 -x1493 -x1052 -x361 -x23 -x1430 -x499 -x302 -x1002 -x833 -x125 -x370 -x908 -x1207 -x651
0.19/0.29 v -x275 -x1108 -x783 -x1492 -x519 -x114 -x1116 -x67 -x1378 -x1089 -x338 x372 -x1367 -x8 -x955 -x282 -x633 -x5 -x675 -x33 -x160
0.19/0.29 v x1113 -x979 -x1040 -x1370 -x200 -x199 -x198 -x196 -x195 -x194 -x193 -x192 -x191 -x189 -x188 -x187 -x186 -x184 -x183 -x182 -x181
0.19/0.29 v -x179 -x178 -x177 -x176 -x175 -x174 -x173 -x172 -x171 -x170 -x169 -x168 -x166 -x165 -x164 -x163 -x162 -x161 -x524 -x676 -x85
0.19/0.29 v -x1042 -x1111 -x1066 -x368 -x14 -x397 -x1168 -x1039 -x481 -x671 -x459 -x509 -x689 -x1280 -x1279 -x1278 -x1277 -x1276 -x1275
0.19/0.29 v -x1274 -x1273 -x1272 -x1271 -x1270 -x1269 -x1268 -x1267 -x1266 -x1264 -x1263 -x1261 -x1260 -x1259 -x1258 -x1257 -x1256 -x1255
0.19/0.29 v -x1254 -x1253 -x1252 -x1251 -x1250 -x1249 -x1248 -x1246 -x1245 -x1244 -x1243 -x1242 -x1241 -x122 -x1064 -x29 -x488 -x312
0.19/0.29 v -x1305 -x356 -x1424 -x490 -x136 -x263 -x493 -x1233 -x2185 -x2184 -x2183 -x2182 -x2181 -x2180 -x2179 -x2178 -x2177 -x2176 -x2175
0.19/0.29 v -x2174 -x2173 -x2172 -x2171 -x2170 -x2169 -x2168 -x2167 -x1515 x261 -x1303 -x504 -x152 -x667 -x525 -x1223 -x167 -x54 -x977
0.19/0.29 v x471 -x216 -x797 -x886 x62 -x349 -x1088 -x959 -x180 -x923 -x210 -x983 -x894 -x1396 -x1311 -x640 -x587 -x608 -x674 -x70 -x514
0.19/0.29 v -x123 -x1520 -x291 -x130 x1304 -x609 -x551 -x375 -x412 -x1058 -x47 -x76 x554 -x24 -x1294 -x1008 -x486 -x1490 -x445 -x1187 -x434
0.19/0.29 v -x104 -x909 -x976 -x1479 -x1478 -x1477 -x1476 -x1475 -x1474 -x1473 -x1472 -x1471 -x1470 -x1469 -x1468 -x1467 -x1466 -x1465
0.19/0.29 v -x1464 -x1463 -x1462 -x1461 -x1460 -x1459 -x1458 -x1457 -x1456 -x1455 -x1454 -x1453 -x1452 -x1451 -x1450 -x1449 -x1448 -x1447
0.19/0.29 v -x1446 -x1445 -x1444 x1443 -x1442 -x1441 x482 -x1480 -x432 x917 x156 -x953 -x924 -x190 -x468 -x799 -x925 -x1513 x1045 -x1059
0.19/0.29 v -x38 -x297 -x1710 -x1709 -x1708 -x1707 -x1706 -x1705 -x1704 -x1703 -x1702 -x1701 -x1700 -x1699 -x1698 -x1697 -x1696 -x1695
0.19/0.29 v -x1694 -x1693 -x1692 -x697 x1691 -x1690 -x1689 -x1688 -x1687 -x1686 -x1685 -x1684 -x1683 -x1682 -x1681 -x1680 -x1679 -x1678
0.19/0.29 v -x1677 -x1676 -x1675 -x1674 -x1673 x769 -x279 -x1360 -x1359 -x1357 -x1356 -x1355 -x1354 -x1353 -x1352 -x1351 -x1350 -x1349 -x1347
0.19/0.29 v -x1346 -x1345 -x1344 -x1343 -x1342 -x1341 -x1340 -x1339 -x1338 -x1337 -x1336 -x1335 -x1334 -x1333 -x1332 -x1331 -x1330 -x1329
0.19/0.29 v -x1328 -x1327 -x1326 -x1325 -x1324 -x1323 -x1322 x1321 x185 x694 -x1508 -x295 -x1653 x1652 -x1651 -x1650 -x1649 -x1648
0.19/0.29 v -x1647 -x1646 -x1645 -x1644 -x1643 -x1642 -x1641 -x1640 -x1639 -x1638 -x1637 -x1636 -x1635 x1247 x15 x240 x1376 -x1843 -x1842
0.19/0.29 v x1841 -x1840 -x1839 -x1838 -x1837 -x1836 -x1835 -x1834 -x1833 -x1832 -x1831 -x1830 -x1829 -x1828 -x1827 -x1826 -x1825 -x1297
0.19/0.29 v -x975 -x934 -x662 -x836 -x1491 -x932 -x544 -x93 -x1186 -x533 -x1558 -x1557 -x1556 x1555 -x1554 -x1553 -x1552 -x1551 -x1550 -x1549
0.19/0.29 v -x1548 -x1547 -x1546 -x1545 -x1544 -x1543 -x1542 -x1541 -x1540 -x682 -x1291 -x893 x1976 -x1975 -x1974 -x1973 -x1972 -x1971
0.19/0.29 v -x1970 -x1969 -x1968 -x1967 -x1966 -x1965 -x1964 -x1963 -x1962 -x1961 -x1960 -x1959 -x1958 -x304 -x197 -x902 -x681 -x95 -x1166
0.19/0.29 v -x2204 x2203 -x2202 -x2201 -x2200 -x2199 -x2198 -x2197 -x2196 -x2195 -x2194 -x2193 -x2192 -x2191 -x2190 -x2189 -x2188 -x2187
0.19/0.29 v -x2186 -x596 -x2223 -x2222 x2221 -x2220 -x2219 -x2218 -x2217 -x2216 -x2215 -x2214 -x2213 -x2212 -x2211 -x2210 -x2209 -x2208
0.19/0.29 v -x2207 -x2206 -x2205 -x997 x1509 x286 -x905 x84 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 -x752 -x751 -x750 -x749
0.19/0.29 v -x748 -x747 -x746 -x745 -x744 -x743 -x742 -x741 x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728
0.19/0.29 v -x727 -x726 -x725 -x724 -x723 -x722 -x721 -x506 x1423 x339 -x1160 x1159 -x1158 -x1157 -x1156 -x1155 -x1154 -x1153 -x1152 -x1151
0.19/0.29 v -x1150 -x1149 -x1148 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 -x1133 -x1132
0.19/0.29 v -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x454 -x1004 -x1062 -x2280 -x2279 -x2278 x2277
0.19/0.29 v -x2276 -x2275 -x2274 -x2273 -x2272 -x2271 -x2270 -x2269 -x2268 -x2267 -x2266 -x2265 -x2264 -x2263 -x2262 -x320 -x358 -x2166
0.19/0.29 v -x2165 -x2164 -x2163 x2162 -x2161 -x2160 -x2159 -x2158 -x2157 -x2156 -x2155 -x2154 -x2153 -x2152 -x2151 -x2150 -x2149 -x2148
0.19/0.29 v -x154 -x895 -x52 -x1596 -x1595 -x1594 -x1593 x1592 -x1591 -x1590 -x1589 -x1588 -x1587 -x1586 -x1585 -x1584 -x1583 -x1582 -x1581
0.19/0.29 v -x1580 -x1579 -x1578 -x844 -x1957 -x1956 -x1955 -x1954 -x1953 x1952 -x1951 -x1950 -x1949 -x1948 -x1947 -x1946 -x1945 -x1944
0.19/0.29 v -x1943 -x1942 -x1941 -x1940 -x1939 -x383 -x1358 -x1147 -x1634 -x1633 -x1632 -x1631 -x1630 x1629 -x1628 -x1627 -x1626 -x1625
0.19/0.29 v -x1624 -x1623 -x1622 -x1621 -x1620 -x1619 -x1618 -x1617 -x1616 -x846 -x333 -x1265 -x2261 -x2260 -x2259 -x2258 -x2257 -x2256
0.19/0.29 v x2255 -x2254 -x2253 -x2252 -x2251 -x2250 -x2249 -x2248 -x2247 -x2246 -x2245 -x2244 -x2243 -x399 -x2033 -x2032 -x2031 -x2030
0.19/0.29 v -x2029 -x2028 -x2027 x2026 -x2025 -x2024 -x2023 -x2022 -x2021 -x2020 -x2019 -x2018 -x2017 -x2016 -x2015 x1227 -x106 -x1054 x928
0.19/0.29 v -x1375 -x521 -x112 -x220 -x2109 -x2108 -x2107 -x2106 -x2105 -x2104 -x2103 -x2102 x2101 -x2100 -x2099 -x2098 -x2097 -x2096
0.19/0.29 v -x2095 -x2094 -x2093 -x2092 -x2091 -x831 -x1615 -x1614 -x1613 -x1612 -x1611 -x1610 x1609 -x1608 -x1607 -x1606 -x1605 -x1604
0.19/0.29 v -x1603 -x1602 -x1601 -x1600 -x1599 -x1598 -x1597 -x845 -x258 -x1881 -x1880 -x1879 -x1878 -x1877 -x1876 -x1875 x1874 -x1873 -x1872
0.19/0.29 v -x1871 -x1870 -x1869 -x1868 -x1867 -x1866 -x1865 -x1864 -x1863 -x99 -x1577 -x1576 -x1575 -x1574 -x1573 -x1572 -x1571 -x1570
0.19/0.29 v x1569 -x1568 -x1567 -x1566 -x1565 -x1564 -x1563 -x1562 -x1561 -x1560 -x1559 -x483 -x68 -x1539 -x1538 -x1537 -x1536 -x1535
0.19/0.29 v -x1534 -x1533 -x1532 -x1531 x1530 -x1529 -x1528 -x1527 -x1526 -x1525 -x1524 -x1523 -x1522 -x1521 -x561 -x1192 -x1805 -x1804
0.19/0.29 v -x1803 -x1802 -x1801 -x1800 -x1799 -x1798 -x1797 -x1796 x1795 -x1794 -x1793 -x1792 -x1791 -x1790 -x1789 -x1788 -x1787 -x1295
0.19/0.29 v -x1262 -x2147 -x2146 -x2145 -x2144 -x2143 -x2142 -x2141 -x2140 -x2139 x2138 -x2137 -x2136 -x2135 -x2134 -x2133 -x2132 -x2131
0.19/0.29 v -x2130 -x2129 -x513 -x1995 -x1994 -x1993 -x1992 -x1991 -x1990 -x1989 -x1988 -x1987 -x1986 x1985 -x1984 -x1983 -x1982 -x1981 -x1980
0.19/0.29 v -x1979 -x1978 -x1977 -x1105 -x1919 -x1918 -x1917 -x1916 -x1915 -x1914 -x1913 -x1912 -x1911 -x1910 -x1909 x1908 -x1907 -x1906
0.19/0.29 v -x1905 -x1904 -x1903 -x1902 -x1901 -x421 -x1938 -x1937 -x1936 -x1935 -x1934 -x1933 -x1932 -x1931 -x1930 -x1929 -x1928 -x1927
0.19/0.29 v x1926 -x1925 -x1924 -x1923 -x1922 -x1921 -x1920 -x982 -x1862 -x1861 -x1860 -x1859 -x1858 -x1857 -x1856 -x1855 -x1854 -x1853
0.19/0.29 v -x1852 x1851 -x1850 -x1849 -x1848 -x1847 -x1846 -x1845 -x1844 -x378 -x2014 -x2013 -x2012 -x2011 -x2010 -x2009 -x2008 -x2007
0.19/0.29 v -x2006 -x2005 -x2004 -x2003 -x2002 x2001 -x2000 -x1999 -x1998 -x1997 -x1996 x426 -x1348 -x1208 -x2128 -x2127 -x2126 -x2125
0.19/0.29 v -x2124 -x2123 -x2122 -x2121 -x2120 -x2119 -x2118 -x2117 -x2116 -x2115 x2114 -x2113 -x2112 -x2111 -x2110 -x952 -x2052 -x2051
0.19/0.29 v -x2050 -x2049 -x2048 -x2047 -x2046 -x2045 -x2044 -x2043 -x2042 -x2041 -x2040 -x2039 -x2038 x2037 -x2036 -x2035 -x2034 x868 -x420
0.19/0.29 v -x1767 -x1766 -x1765 -x1764 -x1763 -x1762 -x1761 -x1760 -x1759 -x1758 -x1757 -x1756 x1755 -x1754 -x1753 -x1752 -x1751 -x1750
0.19/0.29 v -x1749 -x1173 -x212 -x2242 -x2241 -x2240 -x2239 -x2238 -x2237 -x2236 -x2235 -x2234 -x2233 -x2232 -x2231 -x2230 -x2229 -x2228
0.19/0.29 v -x2227 x2226 -x2225 -x2224 -x1238 -x1900 -x1899 -x1898 -x1897 -x1896 -x1895 -x1894 -x1893 -x1892 -x1891 -x1890 -x1889 -x1888
0.19/0.29 v x1887 -x1886 -x1885 -x1884 -x1883 -x1882 -x1220 -x2090 -x2089 -x2088 -x2087 -x2086 -x2085 -x2084 -x2083 -x2082 -x2081 -x2080
0.19/0.29 v -x2079 -x2078 -x2077 -x2076 -x2075 -x2074 x2073 -x2072 x990 -x1672 -x1671 -x1670 -x1669 -x1668 -x1667 -x1666 -x1665 -x1664
0.19/0.29 v -x1663 -x1662 -x1661 -x1660 -x1659 x1658 -x1657 -x1656 -x1655 -x1654 -x1408 -x2071 -x2070 -x2069 -x2068 -x2067 -x2066 -x2065
0.19/0.29 v -x2064 -x2063 -x2062 -x2061 -x2060 -x2059 -x2058 -x2057 -x2056 -x2055 -x2054 x2053 -x829 -x414 -x1824 -x1823 -x1822 -x1821
0.19/0.29 v -x1820 -x1819 -x1818 -x1817 -x1816 -x1815 -x1814 -x1813 -x1812 -x1811 -x1810 x1809 -x1808 -x1807 -x1806 -x1176 -x1786 -x1785
0.19/0.29 v -x1784 -x1783 -x1782 -x1781 -x1780 -x1779 -x1778 -x1777 -x1776 -x1775 -x1774 -x1773 -x1772 -x1771 x1770 -x1769 -x1768 -x1494
0.19/0.29 v -x1748 -x1747 -x1746 -x1745 -x1744 -x1743 -x1742 -x1741 -x1740 -x1739 -x1738 -x1737 -x1736 -x1735 -x1734 -x1733 -x1732 x1731
0.19/0.29 v -x1730 -x12 -x1729 -x1728 -x1727 -x1726 -x1725 -x1724 -x1723 -x1722 -x1721 -x1720 -x1719 -x1718 -x1717 -x1716 -x1715 -x1714
0.19/0.29 v -x1713 -x1712 x1711 x811
0.19/0.29 c SCIP Status : problem is solved [optimal solution found]
0.19/0.29 c Total Time : 0.29
0.19/0.29 c solving : 0.29
0.19/0.29 c presolving : 0.25 (included in solving)
0.19/0.29 c reading : 0.01 (included in solving)
0.19/0.29 c copying : 0.00 (0 times copied the problem)
0.19/0.29 c Original Problem :
0.19/0.29 c Problem name : HOME/instance-4442205-1721297365.opb
0.19/0.29 c Variables : 2280 (2280 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.29 c Constraints : 1636 initial, 1636 maximal
0.19/0.29 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.19/0.29 c Presolved Problem :
0.19/0.29 c Problem name : t_HOME/instance-4442205-1721297365.opb
0.19/0.29 c Variables : 2280 (2280 binary, 0 integer, 0 implicit integer, 0 continuous)
0.19/0.29 c Constraints : 1636 initial, 1637 maximal
0.19/0.29 c Objective : minimize, 0 non-zeros (abs.min = 1e+20, abs.max = -1e+20)
0.19/0.29 c Nonzeros : 34200 constraint, 2280 clique table
0.19/0.29 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.19/0.29 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c dualsparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c gateextraction : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c implics : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.19/0.29 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c milp : 0.02 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c sparsify : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c trivial : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.19/0.29 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c dualfix : 0.00 0.00 2 0 0 0 0 0 0 0 0 0
0.19/0.29 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c probing : 0.01 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c symmetry : 0.17 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c setppc : 0.00 0.00 3 0 0 0 0 0 0 0 0 0
0.19/0.29 c linear : 0.02 0.00 2 0 0 0 0 0 0 0 0 0
0.19/0.29 c logicor : 0.01 0.00 3 0 0 0 0 0 0 0 0 0
0.19/0.29 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.19/0.29 c root node : - - - 0 - - 0 - - - - -
0.19/0.29 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.19/0.29 c benderslp : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.19/0.29 c integral : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.19/0.29 c setppc : 78 78 0 341 0 0 0 4 0 6 0 0 0 0 0
0.19/0.29 c logicor : 1558+ 1559 0 202 0 0 0 2 0 0 0 0 0 0 0
0.19/0.29 c benders : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.19/0.29 c fixedvar : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.19/0.29 c countsols : 0 0 0 0 0 0 0 3 0 0 0 0 0 0 0
0.19/0.29 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.19/0.29 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c setppc : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c logicor : 0.01 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.19/0.29 c dualfix : 1 0 0 0
0.19/0.29 c genvbounds : 0 0 0 0
0.19/0.29 c nlobbt : 0 0 0 0
0.19/0.29 c obbt : 0 0 0 0
0.19/0.29 c probing : 0 0 0 0
0.19/0.29 c pseudoobj : 0 0 0 0
0.19/0.29 c redcost : 0 0 0 0
0.19/0.29 c rootredcost : 0 0 0 0
0.19/0.29 c symmetry : 0 0 0 0
0.19/0.29 c vbounds : 160 0 0 0
0.19/0.29 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.19/0.29 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c probing : 0.01 0.00 0.01 0.00 0.00 0.00
0.19/0.29 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c symmetry : 0.17 0.00 0.17 0.00 0.00 0.00
0.19/0.29 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.19/0.29 c Symmetry :
0.19/0.29 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.19/0.29 c orbital reduction: 0 reductions applied, 0 cutoffs
0.19/0.29 c lexicographic red: 0 reductions applied, 0 cutoffs
0.19/0.29 c shadow tree time : 0.00 s
0.19/0.29 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.19/0.29 c propagation : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.19/0.29 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.19/0.29 c bound exceed. LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.19/0.29 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.19/0.29 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.19/0.29 c applied globally : 0.00 - - 0 0 0.0 - - 0 - -
0.19/0.29 c applied locally : - - - 0 0 0.0 - - 0 - -
0.19/0.29 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.19/0.29 c cut pool : 0.00 - 0 0 - - 0 0 - - - - - (maximal pool size: 0)
0.19/0.29 c aggregation : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c > cmir : - - - - - - - 0 0 0 0 0 -
0.19/0.29 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.19/0.29 c > knapsackcover : - - - - - - - 0 0 0 0 0 -
0.19/0.29 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c clique : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c > gomorymi : - - - - - - - 0 0 0 0 0 -
0.19/0.29 c > strongcg : - - - - - - - 0 0 0 0 0 -
0.19/0.29 c impliedbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c mcf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c multilinear : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c rapidlearning : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c rlt : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c zerohalf : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.19/0.29 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.19/0.29 c hybrid : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c Pricers : ExecTime SetupTime Calls Vars
0.19/0.29 c problem variables: 0.00 - 0 0
0.19/0.29 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.19/0.29 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.19/0.29 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.19/0.29 c LP solutions : 0.00 - - 0 0
0.19/0.29 c relax solutions : 0.00 - - 0 0
0.19/0.29 c pseudo solutions : 0.00 - - 0 0
0.19/0.29 c strong branching : 0.00 - - 0 0
0.19/0.29 c actconsdiving : 0.00 0.00 0 0 0
0.19/0.29 c adaptivediving : 0.00 0.00 0 0 0
0.19/0.29 c alns : 0.00 0.00 0 0 0
0.19/0.29 c bound : 0.00 0.00 0 0 0
0.19/0.29 c clique : 0.01 0.00 1 0 0
0.19/0.29 c coefdiving : 0.00 0.00 0 0 0
0.19/0.29 c completesol : 0.00 0.00 0 0 0
0.19/0.29 c conflictdiving : 0.00 0.00 0 0 0
0.19/0.29 c crossover : 0.00 0.00 0 0 0
0.19/0.29 c dins : 0.00 0.00 0 0 0
0.19/0.29 c distributiondivin: 0.00 0.00 0 0 0
0.19/0.29 c dps : 0.00 0.00 0 0 0
0.19/0.29 c dualval : 0.00 0.00 0 0 0
0.19/0.29 c farkasdiving : 0.00 0.00 0 0 0
0.19/0.29 c feasjump : 0.00 0.00 0 0 0
0.19/0.29 c feaspump : 0.00 0.00 0 0 0
0.19/0.29 c fixandinfer : 0.00 0.00 0 0 0
0.19/0.29 c fracdiving : 0.00 0.00 0 0 0
0.19/0.29 c gins : 0.00 0.00 0 0 0
0.19/0.29 c guideddiving : 0.00 0.00 0 0 0
0.19/0.29 c indcoefdiving : 0.00 0.00 0 0 0
0.19/0.29 c indicator : 0.00 0.00 0 0 0
0.19/0.29 c indicatordiving : 0.00 0.00 0 0 0
0.19/0.29 c indoneopt : 0.00 0.00 0 0 0
0.19/0.29 c indrounding : 0.00 0.00 0 0 0
0.19/0.29 c indtwoopt : 0.00 0.00 0 0 0
0.19/0.29 c intdiving : 0.00 0.00 0 0 0
0.19/0.29 c intshifting : 0.00 0.00 0 0 0
0.19/0.29 c linesearchdiving : 0.00 0.00 0 0 0
0.19/0.29 c localbranching : 0.00 0.00 0 0 0
0.19/0.29 c locks : 0.01 0.00 1 1 1
0.19/0.29 c lpface : 0.00 0.00 0 0 0
0.19/0.29 c mpec : 0.00 0.00 0 0 0
0.19/0.29 c multistart : 0.00 0.00 0 0 0
0.19/0.29 c mutation : 0.00 0.00 0 0 0
0.19/0.29 c nlpdiving : 0.00 0.00 0 0 0
0.19/0.29 c objpscostdiving : 0.00 0.00 0 0 0
0.19/0.29 c octane : 0.00 0.00 0 0 0
0.19/0.29 c ofins : 0.00 0.00 0 0 0
0.19/0.29 c oneopt : 0.00 0.00 0 0 0
0.19/0.29 c padm : 0.00 0.00 0 0 0
0.19/0.29 c proximity : 0.00 0.00 0 0 0
0.19/0.29 c pscostdiving : 0.00 0.00 0 0 0
0.19/0.29 c randrounding : 0.00 0.00 0 0 0
0.19/0.29 c rens : 0.00 0.00 0 0 0
0.19/0.29 c reoptsols : 0.00 0.00 0 0 0
0.19/0.29 c repair : 0.00 0.00 0 0 0
0.19/0.29 c rins : 0.00 0.00 0 0 0
0.19/0.29 c rootsoldiving : 0.00 0.00 0 0 0
0.19/0.29 c rounding : 0.00 0.00 0 0 0
0.19/0.29 c scheduler : 0.00 0.00 0 0 0
0.19/0.29 c shiftandpropagate: 0.00 0.00 0 0 0
0.19/0.29 c shifting : 0.00 0.00 0 0 0
0.19/0.29 c simplerounding : 0.00 0.00 0 0 0
0.19/0.29 c smallcard : 0.00 0.00 0 0 0
0.19/0.29 c subnlp : 0.00 0.00 0 0 0
0.19/0.29 c trivial : 0.00 0.00 2 0 0
0.19/0.29 c trivialnegation : 0.00 0.00 0 0 0
0.19/0.29 c trustregion : 0.00 0.00 0 0 0
0.19/0.29 c trysol : 0.00 0.00 0 0 0
0.19/0.29 c twoopt : 0.00 0.00 0 0 0
0.19/0.29 c undercover : 0.00 0.00 0 0 0
0.19/0.29 c vbounds : 0.00 0.00 0 0 0
0.19/0.29 c veclendiving : 0.00 0.00 0 0 0
0.19/0.29 c zeroobj : 0.00 0.00 0 0 0
0.19/0.29 c zirounding : 0.00 0.00 0 0 0
0.19/0.29 c other solutions : - - - 0 -
0.19/0.29 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 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.19/0.29 c trustregion : 0 0.00 0.00 0 0 0 0.00000 0.00000 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 0
0.19/0.29 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.19/0.29 c primal LP : 0.00 0 0 0.00 - 0.00 0
0.19/0.29 c dual LP : 0.00 0 0 0.00 - 0.00 0
0.19/0.29 c lex dual LP : 0.00 0 0 0.00 -
0.19/0.29 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.19/0.29 c resolve instable : 0.00 0 0 0.00 -
0.19/0.29 c diving/probing LP: 0.00 0 0 0.00 -
0.19/0.29 c strong branching : 0.00 0 0 0.00 - - - 0
0.19/0.29 c (at root node) : - 0 0 0.00 -
0.19/0.29 c conflict analysis: 0.00 0 0 0.00 -
0.19/0.29 c B&B Tree :
0.19/0.29 c number of runs : 1
0.19/0.29 c nodes : 1 (0 internal, 1 leaves)
0.19/0.29 c feasible leaves : 0
0.19/0.29 c infeas. leaves : 0
0.19/0.29 c objective leaves : 0
0.19/0.29 c nodes (total) : 1 (0 internal, 1 leaves)
0.19/0.29 c nodes left : 0
0.19/0.29 c max depth : 0
0.19/0.29 c max depth (total): 0
0.19/0.29 c backtracks : 0 (0.0%)
0.19/0.29 c early backtracks : 0 (0.0%)
0.19/0.29 c nodes exc. ref. : 0 (0.0%)
0.19/0.29 c delayed cutoffs : 0
0.19/0.29 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.19/0.29 c avg switch length: 2.00
0.19/0.29 c switching time : 0.00
0.19/0.29 c Root Node :
0.19/0.29 c First LP value : -
0.19/0.29 c First LP Iters : 0
0.19/0.29 c First LP Time : 0.00
0.19/0.29 c Final Dual Bound : +0.00000000000000e+00
0.19/0.29 c Final Root Iters : 0
0.19/0.29 c Root LP Estimate : -
0.19/0.29 c Solution :
0.19/0.29 c Solutions found : 1 (1 improvements)
0.19/0.29 c First Solution : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.29 seconds, depth 76, found by <locks>)
0.19/0.29 c Gap First Sol. : 0.00 %
0.19/0.29 c Gap Last Sol. : 0.00 %
0.19/0.29 c Primal Bound : +0.00000000000000e+00 (in run 1, after 1 nodes, 0.29 seconds, depth 76, found by <locks>)
0.19/0.29 c Dual Bound : +0.00000000000000e+00
0.19/0.29 c Gap : 0.00 %
0.19/0.29 c Integrals : Total Avg%
0.19/0.29 c primal-dual : 28.71 99.71
0.19/0.29 c primal-ref : - - (not evaluated)
0.19/0.29 c dual-ref : - - (not evaluated)
0.19/0.30 c Time complete: 0.295793.