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-4432947-1721173778.opb>
0.00/0.01 c original problem has 1300 variables (1300 bin, 0 int, 0 impl, 0 cont) and 3558 constraints
0.00/0.01 c problem read in 0.01
0.00/0.01 c presolving:
0.00/0.02 c (round 1, fast) 457 del vars, 1018 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1597 clqs
0.00/0.02 c (round 2, fast) 481 del vars, 1188 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1549 clqs
0.00/0.02 c (round 3, fast) 484 del vars, 1191 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1549 clqs
0.00/0.02 c (0.0s) running MILP presolver
0.00/0.02 c (0.0s) MILP presolver (2 rounds): 120 aggregations, 0 fixings, 0 bound changes
0.00/0.02 c (round 4, medium) 604 del vars, 1191 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1309 clqs
0.00/0.02 c (round 5, fast) 604 del vars, 1431 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1309 clqs
0.00/0.03 c (round 6, exhaustive) 604 del vars, 1512 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1309 clqs
0.00/0.03 c (round 7, exhaustive) 604 del vars, 1512 del conss, 0 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 1993 upgd conss, 0 impls, 1309 clqs
0.00/0.04 c (round 8, exhaustive) 604 del vars, 2988 del conss, 431 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 1993 upgd conss, 0 impls, 1309 clqs
0.00/0.04 c (round 9, fast) 625 del vars, 2988 del conss, 431 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 1993 upgd conss, 0 impls, 1288 clqs
0.00/0.04 c (round 10, fast) 646 del vars, 3009 del conss, 431 add conss, 266 chg bounds, 0 chg sides, 0 chg coeffs, 1993 upgd conss, 0 impls, 1267 clqs
0.00/0.04 c (round 11, medium) 667 del vars, 3009 del conss, 431 add conss, 266 chg bounds, 21 chg sides, 21 chg coeffs, 1993 upgd conss, 0 impls, 1204 clqs
0.09/0.10 c (0.1s) probing: 604/633 (95.4%) - 0 fixings, 0 aggregations, 7523 implications, 0 bound changes
0.09/0.10 c (0.1s) probing aborted: 50/50 successive totally useless probings
0.09/0.10 c (0.1s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
0.09/0.10 c (0.1s) symmetry computation finished: 11 generators found (max: 1500, log10 of symmetry group size: 0.0) (symcode time: 0.00)
0.09/0.11 c dynamic symmetry handling statistics:
0.09/0.11 c orbitopal reduction: no components
0.09/0.11 c orbital reduction: 1 components of sizes 9
0.09/0.11 c lexicographic reduction: 11 permutations with support sizes 8, 8, 120, 156, 8, 8, 102, 156, 156, 8, 8
0.09/0.11 c handled 3 out of 3 symmetry components
0.09/0.11 c presolving (12 rounds: 12 fast, 6 medium, 4 exhaustive):
0.09/0.11 c 667 deleted vars, 3009 deleted constraints, 431 added constraints, 266 tightened bounds, 0 added holes, 21 changed sides, 21 changed coefficients
0.09/0.11 c 0 implications, 8726 cliques
0.09/0.11 c presolved problem has 633 variables (633 bin, 0 int, 0 impl, 0 cont) and 980 constraints
0.09/0.11 c 285 constraints of type <setppc>
0.09/0.11 c 389 constraints of type <and>
0.09/0.11 c 53 constraints of type <linear>
0.09/0.11 c 253 constraints of type <logicor>
0.09/0.11 c transformed objective value is always integral (scale: 1)
0.09/0.11 c Presolving Time: 0.10
0.09/0.11 c - non default parameters ----------------------------------------------------------------------
0.09/0.11 c # SCIP version 10.0.0
0.09/0.11 c
0.09/0.11 c # maximal time in seconds to run
0.09/0.11 c # [type: real, advanced: FALSE, range: [0,1e+20], default: 1e+20]
0.09/0.11 c limits/time = 3596.997045
0.09/0.11 c
0.09/0.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11 c # [type: real, advanced: FALSE, range: [0,8796093022207], default: 8796093022207]
0.09/0.11 c limits/memory = 27900
0.09/0.11 c
0.09/0.11 c # belongs reading time to solving time?
0.09/0.11 c # [type: bool, advanced: FALSE, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11 c timing/reading = TRUE
0.09/0.11 c
0.09/0.11 c -----------------------------------------------------------------------------------------------
0.09/0.11 c start solving
0.09/0.11 c
0.09/0.12 o -49409843
0.09/0.12 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.12 c p 0.1s| 1 | 0 | 0 | - | clique| 0 | 633 | 980 |1369 | 0 | 0 | 0 | 0 |-1.001010e+08 |-4.940984e+07 | 102.59%| unknown
0.09/0.13 o -49409893
0.09/0.13 c i 0.1s| 1 | 0 | 0 | - | oneopt| 0 | 633 |1029 |1369 | 0 | 0 | 49 | 0 |-1.001010e+08 |-4.940989e+07 | 102.59%| unknown
0.09/0.13 c 0.1s| 1 | 0 | 384 | - | 22M | 0 | 633 |1029 |1369 | 0 | 0 | 49 | 0 |-8.979195e+07 |-4.940989e+07 | 81.73%| unknown
0.09/0.15 o -58376937
0.09/0.15 c L 0.2s| 1 | 0 | 384 | - |undercov| 0 | 633 |1035 |1369 | 0 | 0 | 55 | 0 |-8.979195e+07 |-5.837694e+07 | 53.81%| unknown
0.20/0.25 c 0.3s| 1 | 0 | 489 | - | 22M | 0 | 633 |1231 |1427 | 58 | 1 | 55 | 0 |-8.654785e+07 |-5.837694e+07 | 48.26%| unknown
0.20/0.29 c 0.3s| 1 | 0 | 650 | - | 24M | 0 | 633 |1232 |1463 | 94 | 2 | 56 | 0 |-8.344795e+07 |-5.837694e+07 | 42.95%| unknown
0.30/0.32 c 0.3s| 1 | 0 | 757 | - | 25M | 0 | 633 |1237 |1497 | 128 | 3 | 61 | 0 |-8.125195e+07 |-5.837694e+07 | 39.19%| unknown
0.30/0.36 c 0.4s| 1 | 0 | 843 | - | 27M | 0 | 633 |1238 |1511 | 142 | 4 | 62 | 0 |-8.125195e+07 |-5.837694e+07 | 39.19%| unknown
0.30/0.40 c 0.4s| 1 | 0 | 954 | - | 29M | 0 | 633 |1239 |1522 | 153 | 5 | 63 | 0 |-8.122580e+07 |-5.837694e+07 | 39.14%| unknown
0.40/0.45 c 0.4s| 1 | 0 | 1068 | - | 30M | 0 | 633 |1241 |1539 | 170 | 6 | 65 | 0 |-8.119094e+07 |-5.837694e+07 | 39.08%| unknown
0.50/0.52 c 0.5s| 1 | 0 | 1165 | - | 32M | 0 | 633 |1246 |1561 | 192 | 7 | 70 | 0 |-8.106895e+07 |-5.837694e+07 | 38.87%| unknown
0.50/0.57 c 0.6s| 1 | 0 | 1261 | - | 34M | 0 | 633 |1248 |1573 | 204 | 8 | 72 | 0 |-8.106895e+07 |-5.837694e+07 | 38.87%| unknown
0.59/0.63 c 0.6s| 1 | 0 | 1377 | - | 37M | 0 | 633 |1248 |1580 | 211 | 9 | 72 | 0 |-8.106895e+07 |-5.837694e+07 | 38.87%| unknown
0.59/0.63 o -81068941
0.59/0.63 c r 0.6s| 1 | 0 | 1377 | - |shifting| 0 | 633 |1249 |1580 | 211 | 9 | 73 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.59/0.68 c 0.7s| 1 | 0 | 1449 | - | 38M | 0 | 633 |1249 |1585 | 216 | 10 | 73 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.59/0.68 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.59/0.68 c 0.7s| 1 | 0 | 1449 | - | 38M | 0 | 633 |1250 |1435 | 216 | 10 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.59/0.69 c 0.7s| 1 | 0 | 1519 | - | 38M | 0 | 633 |1238 |1340 | 223 | 11 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.70 c 0.7s| 1 | 0 | 1553 | - | 39M | 0 | 633 |1235 |1309 | 229 | 12 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.70 c 0.7s| 1 | 0 | 1553 | - | 39M | 0 | 633 |1235 |1263 | 229 | 12 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.70 c 0.7s| 1 | 0 | 1553 | - | 39M | 0 | 633 |1235 |1256 | 229 | 12 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.71 c 0.7s| 1 | 0 | 1586 | - | 39M | 0 | 633 |1229 |1253 | 238 | 13 | 74 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.71 c 0.7s| 1 | 0 | 1615 | - | 39M | 0 | 633 |1223 |1260 | 245 | 14 | 75 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.72 c 0.7s| 1 | 0 | 1635 | - | 39M | 0 | 633 |1219 |1266 | 251 | 15 | 75 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.72 c 0.7s| 1 | 0 | 1661 | - | 39M | 0 | 633 |1219 |1272 | 257 | 16 | 75 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.73 c 0.7s| 1 | 0 | 1682 | - | 39M | 0 | 633 |1220 |1246 | 261 | 17 | 76 | 0 |-8.106895e+07 |-8.106894e+07 | 0.00%| unknown
0.69/0.73 o -81068946
0.69/0.73 c r 0.7s| 1 | 0 | 1682 | - |shifting| 0 | 633 |1220 |1246 | 261 | 17 | 76 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.73 c 0.7s| 1 | 0 | 1706 | - | 39M | 0 | 633 |1219 |1252 | 267 | 18 | 76 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.74 c 0.7s| 1 | 0 | 1706 | - | 39M | 0 | 633 |1220 |1112 | 267 | 18 | 77 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.74 c 0.7s| 1 | 0 | 1706 | - | 39M | 0 | 633 | 707 |1133 | 267 | 18 | 77 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.74 c 0.7s| 1 | 0 | 1735 | - | 40M | 0 | 633 | 707 |1137 | 271 | 19 | 77 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.75 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
0.69/0.75 c 0.7s| 1 | 0 | 1762 | - | 40M | 0 | 633 | 707 |1144 | 278 | 20 | 77 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.75 c 0.8s| 1 | 0 | 1783 | - | 40M | 0 | 633 | 708 |1149 | 283 | 21 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.75 c 0.8s| 1 | 0 | 1796 | - | 40M | 0 | 633 | 708 |1153 | 287 | 22 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.76 c 0.8s| 1 | 0 | 1806 | - | 40M | 0 | 633 | 708 |1112 | 291 | 23 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.76 c 0.8s| 1 | 0 | 1814 | - | 40M | 0 | 633 | 707 |1116 | 295 | 24 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.77 c 0.8s| 1 | 0 | 1829 | - | 40M | 0 | 633 | 707 |1120 | 299 | 25 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.77 c 0.8s| 1 | 0 | 1840 | - | 40M | 0 | 633 | 705 |1125 | 304 | 26 | 78 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.77 c 0.8s| 1 | 0 | 1857 | - | 40M | 0 | 633 | 706 |1130 | 309 | 27 | 79 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.78 c 0.8s| 1 | 0 | 1864 | - | 40M | 0 | 633 | 703 |1134 | 313 | 28 | 79 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.69/0.78 c 0.8s| 1 | 0 | 1870 | - | 40M | 0 | 633 | 702 |1120 | 315 | 29 | 79 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.78/0.80 o -81068948
0.78/0.80 c d 0.8s| 1 | 0 | 2237 | - |farkasdi| 0 | 633 | 702 |1120 | 0 | 29 | 79 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.78/0.80 c 0.8s| 1 | 0 | 2237 | - | 40M | 0 | 633 | 702 |1120 | 315 | 29 | 79 | 0 |-8.106895e+07 |-8.106895e+07 | 0.00%| unknown
0.78/0.80 c
0.78/0.80 c SCIP Status : problem is solved [optimal solution found]
0.78/0.80 c Solving Time (sec) : 0.80
0.78/0.80 c Solving Nodes : 1
0.78/0.80 c Primal Bound : -8.10689480000000e+07 (7 solutions)
0.78/0.80 c Dual Bound : -8.10689480000000e+07
0.78/0.80 c Gap : 0.00 %
0.78/0.80 s OPTIMUM FOUND
0.78/0.80 v -x1298 -x1296 x1294 -x1292 -x1289 -x1287 x1285 -x1283 -x1280 -x1278 x1276 -x1274 x1271 -x1269 -x1267 -x1265 -x1262 -x1260 x1258
0.78/0.80 v -x1256 -x1253 -x1251 x1249 -x1247 -x1244 -x1242 x1240 -x1238 x1235 -x1233 -x1231 -x1229 x1226 -x1224 -x1222 -x1220 -x1217 -x1215
0.78/0.80 v x1213 -x1211 -x1208 -x1206 x1204 -x1202 -x1199 -x1197 x1195 -x1193 -x1190 -x1188 x1186 -x1184 -x1181 -x1179 x1177 -x1175
0.78/0.80 v x1172 -x1170 -x1168 -x1166 -x1163 -x1161 x1159 -x1157 -x1154 -x1152 x1150 -x1148 -x1145 -x1143 x1141 -x1139 x1136 -x1134 -x1132
0.78/0.80 v -x1130 -x1127 -x1125 x1123 -x1121 x1118 -x1116 -x1114 -x1112 -x1109 -x1107 x1105 -x1103 -x1100 -x1098 x1096 -x1094 x1091
0.78/0.80 v -x1089 -x1087 -x1085 x1082 x1083 x1081 x1078 x1079 x1077 x1074 x1075 x1073 x1070 x1071 x1069 x1066 x1067 x1065 x1062 x1063 x1061
0.78/0.80 v x1058 x1059 x1057 x1054 x1055 x1053 x1050 x1051 x1049 x1046 x1047 x1045 x1042 x1043 x1041 x1038 x1039 x1037 x1034 x1035 x1033
0.78/0.80 v x1030 x1031 x1029 x1026 x1027 x1025 x1022 x1023 x1021 x1018 x1019 x1017 x1014 x1015 x1013 x1010 x1011 x1009 x1006 x1007
0.78/0.80 v x1005 x1002 x1003 x1001 x998 x999 x997 x994 x995 x993 x990 x991 x989 -x986 -x985 -x984 -x988 x981 -x980 -x979 x983 -x976 x975
0.78/0.80 v x974 x978 -x971 -x970 -x969 -x973 -x968 -x967 x966 -x965 -x964 x963 -x962 -x961 -x960 x959 -x958 -x957 -x956 -x955 -x954 -x953
0.78/0.80 v -x952 -x951 x950 -x949 -x948 x947 -x946 -x945 -x944 -x943 x942 -x941 -x940 x939 -x938 -x937 -x936 -x935 x934 -x933 -x932 -x931
0.78/0.80 v -x930 -x929 -x928 -x927 x926 -x925 -x924 -x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 -x911 -x910
0.78/0.80 v -x909 -x908 -x907 x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 x891 -x890 -x889
0.78/0.80 v -x888 -x887 x886 -x885 -x884 -x883 -x882 -x881 -x880 x879 -x878 -x877 -x875 -x876 x873 -x874 -x871 -x872 -x869 -x870 -x868
0.78/0.80 v -x867 x866 -x865 -x864 -x863 -x862 -x861 -x860 x859 -x858 -x857 -x856 -x855 -x854 -x853 -x851 -x852 -x849 -x850 x847 -x848
0.78/0.80 v -x845 -x846 -x844 -x843 -x842 -x841 -x840 -x839 x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 x827 -x826 -x825
0.78/0.80 v -x824 -x823 -x822 -x821 -x820 -x819 -x818 x817 -x816 -x815 -x814 -x813 -x812 -x811 -x810 -x809 -x807 -x808 x805 x806 -x803
0.78/0.80 v -x804 -x801 -x802 -x800 -x799 -x798 -x797 -x795 -x796 -x793 -x794 x791 -x792 -x789 -x790 -x788 -x787 x786 -x785 -x784 x783
0.78/0.80 v -x782 -x781 -x780 x779 -x778 -x777 -x776 x775 -x774 -x773 -x772 -x771 -x770 -x769 -x768 -x767 -x766 -x765 -x764 -x763 -x762
0.78/0.80 v -x761 -x759 -x760 x757 -x758 -x755 -x756 -x753 -x754 -x751 -x752 -x749 -x750 x747 x748 -x745 -x746 -x744 -x743 -x742 -x741 -x740
0.78/0.80 v -x739 x738 -x737 -x736 -x735 -x734 -x733 -x731 -x732 -x729 -x730 x727 x728 -x725 -x726 -x723 -x724 x721 -x722 -x719 -x720
0.78/0.80 v -x717 -x718 -x715 -x716 x713 -x714 -x711 -x712 -x709 -x710 -x708 -x707 -x706 -x705 x704 x703 -x702 -x701 -x699 -x700 x697 -x698
0.78/0.80 v -x695 -x696 -x693 -x694 -x690 -x692 -x691 x687 -x689 -x688 -x684 -x686 x685 -x681 -x683 -x682 -x678 -x680 -x679 -x675 -x677
0.78/0.80 v x676 x672 -x674 -x673 -x669 -x671 -x670 -x666 -x668 -x667 -x663 -x665 -x664 x660 x662 x661 -x657 -x659 -x658 -x654 -x656 -x655
0.78/0.80 v -x651 -x653 x652 x648 -x650 -x649 -x645 -x647 -x646 x643 x641 x640 -x639 -x638 -x637 x636 -x635 -x634 x633 x632 x630 x629
0.78/0.80 v x628 x627 x626 -x625 -x624 -x623 x621 -x620 x619 -x618 -x617 x616 -x615 -x614 -x612 -x613 x610 x609 -x608 -x607 -x606 -x605
0.78/0.80 v -x604 -x602 -x601 -x600 -x599 -x598 -x596 -x597 -x594 -x593 -x592 -x591 -x590 -x588 -x589 x586 -x585 x584 -x583 -x582 x581 -x580
0.78/0.80 v -x579 -x578 -x577 -x575 -x574 -x573 -x572 -x571 -x570 x568 x566 -x565 x564 -x563 -x562 x560 x558 x557 -x556 -x555 -x554
0.78/0.80 v -x552 -x553 x550 -x549 x548 -x547 -x546 x545 -x543 -x544 -x541 -x540 -x539 -x538 -x537 -x536 -x534 -x535 -x532 -x531 -x530 -x529
0.78/0.80 v -x528 -x527 x526 -x525 -x524 -x523 -x522 x520 -x519 x518 -x517 -x516 -x515 -x514 -x513 -x511 -x510 -x509 -x508 -x507 x506
0.78/0.80 v -x505 -x504 -x503 -x502 x500 -x499 x498 -x497 -x496 -x494 -x495 -x492 -x491 -x490 -x489 -x488 -x486 -x487 -x484 -x483 -x482
0.78/0.80 v -x481 -x480 x479 x478 -x477 -x476 -x475 -x473 -x474 x471 -x470 x469 -x468 -x467 -x465 -x466 -x463 -x462 -x461 -x460 -x459 -x457
0.78/0.80 v -x458 -x455 -x454 -x453 -x452 -x451 -x450 -x449 -x447 -x446 -x445 -x444 -x443 x442 -x441 -x440 x438 -x437 x436 -x435 -x434
0.78/0.80 v -x432 -x433 x430 -x429 x428 -x427 -x426 x424 x422 -x421 x420 -x419 -x418 x416 x414 -x413 x412 -x411 -x410 x408 x406 x405 -x404
0.78/0.80 v -x403 -x402 x401 -x400 -x399 -x398 -x397 x395 -x394 x393 -x392 -x391 -x390 -x389 -x387 -x386 -x385 -x384 -x383 -x381 -x382
0.78/0.80 v -x379 -x378 -x377 -x376 -x375 -x373 -x374 x371 x370 -x369 -x368 -x367 -x366 -x365 -x363 -x362 -x361 -x360 -x359 x358 -x357 -x356
0.78/0.80 v -x354 -x353 -x352 -x351 -x350 -x349 -x348 -x346 -x347 x344 -x343 x342 -x341 -x340 x339 -x337 -x338 -x335 -x334 -x333 -x332
0.78/0.80 v -x331 -x330 -x329 -x328 -x326 -x325 -x324 -x323 -x322 -x321 -x319 -x320 x317 x316 -x315 -x314 -x313 -x312 -x311 -x309 -x308
0.78/0.80 v -x307 -x306 -x305 x304 -x302 -x303 -x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x290 -x289 -x288 -x287 -x286 x285
0.78/0.80 v -x283 -x284 x281 -x280 x279 -x278 -x277 x276 x275 x273 x272 -x271 -x270 -x269 -x267 -x268 x265 x264 -x263 -x262 -x261 -x260
0.78/0.80 v -x259 -x257 -x256 -x255 -x254 -x253 x252 x251 x249 x248 x247 x246 x245 -x244 -x243 x241 -x240 x239 -x238 -x237 -x235 -x236 x233
0.78/0.80 v -x232 x231 -x230 -x229 x228 -x227 -x226 -x225 -x224 x222 x221 -x220 -x219 -x218 -x217 -x216 -x214 -x213 -x212 -x211 -x210
0.78/0.80 v -x208 -x209 -x206 -x205 -x204 -x203 -x202 -x200 -x201 x198 -x197 x196 -x195 -x194 x193 x192 x190 -x189 x188 -x187 -x186 -x185
0.78/0.80 v -x184 -x182 -x181 -x180 -x179 -x178 -x176 -x177 x174 -x173 x172 -x171 -x170 -x168 -x169 -x166 -x165 -x164 -x163 -x162 -x161
0.78/0.80 v -x160 -x158 -x157 -x156 -x155 -x154 -x153 -x152 -x150 -x149 -x148 -x147 -x146 x144 x145 x142 -x141 x140 -x139 -x138 -x136 -x137
0.78/0.80 v x134 -x133 x132 -x131 -x130 x128 x126 -x125 x124 -x123 -x122 x121 -x120 -x118 -x119 x116 -x115 -x113 -x114 x111 -x110 -x109
0.78/0.80 v -x108 x106 x105 x103 -x104 x101 -x100 -x98 -x99 x96 -x95 -x94 -x93 x91 -x90 -x89 -x88 x86 x85 -x84 x81 x80 -x79 x78 x76 -x75
0.78/0.80 v -x74 -x73 x71 -x70 -x68 -x69 x66 -x65 -x63 -x64 x61 -x60 -x58 -x59 x56 -x55 -x53 -x54 x51 x50 -x49 x46 -x45 -x43 -x44 x41 -x40
0.78/0.80 v -x38 -x39 x36 -x35 -x34 -x33 x31 x30 -x29 x26 -x25 -x24 -x23 x21 x20 x18 -x19 x16 -x15 -x14 -x13 x11 -x10 -x8 -x9 x6 x5 x3
0.78/0.80 v -x4 x1084 x1080 x1076 x1072 x1068 x1064 x1060 x1056 x1052 x1048 x1044 x1040 x1036 x1032 x1028 x1024 x1020 x1016 x1012 x1008
0.78/0.80 v x1004 x1000 x996 x992 x83 x48 x28 x644 x569 x561 x425 x417 x409 x129 x117 x112 x107 x102 x97 x92 x87 x82 x77 x72 x67 x62 x57
0.78/0.80 v x52 x47 x42 x37 x32 x27 x22 x17 x12 x7 x2 x1 -x1300 -x1299 -x1297 x1295 -x1293 -x1291 -x1290 -x1288 x1286 -x1284 -x1282 -x1281
0.78/0.80 v -x1279 x1277 -x1275 -x1273 x1272 -x1270 -x1268 -x1266 -x1264 -x1263 -x1261 x1259 -x1257 -x1255 -x1254 -x1252 x1250 -x1248
0.78/0.80 v -x1246 -x1245 -x1243 x1241 -x1239 -x1237 x1236 -x1234 -x1232 -x1230 -x1228 x1227 -x1225 -x1223 -x1221 -x1219 -x1218 -x1216 x1214
0.78/0.80 v -x1212 -x1210 -x1209 -x1207 x1205 -x1203 -x1201 -x1200 -x1198 x1196 -x1194 -x1192 -x1191 -x1189 x1187 -x1185 -x1183 -x1182
0.78/0.80 v -x1180 x1178 -x1176 -x1174 x1173 -x1171 -x1169 -x1167 -x1165 -x1164 -x1162 x1160 -x1158 -x1156 -x1155 -x1153 x1151 -x1149 -x1147
0.78/0.80 v -x1146 -x1144 x1142 -x1140 -x1138 x1137 -x1135 -x1133 -x1131 -x1129 -x1128 -x1126 x1124 -x1122 -x1120 x1119 -x1117 -x1115
0.78/0.80 v -x1113 -x1111 -x1110 -x1108 x1106 -x1104 -x1102 -x1101 -x1099 x1097 -x1095 -x1093 x1092 -x1090 -x1088 -x1086 -x987 x982 x977
0.78/0.80 v -x972 x642 -x631 -x622 -x611 -x603 -x595 -x587 -x576 x567 x559 -x551 -x542 -x533 -x521 -x512 -x501 -x493 -x485 -x472 -x464
0.78/0.80 v -x456 -x448 -x439 -x431 x423 x415 x407 -x396 -x388 -x380 -x372 -x364 -x355 -x345 -x336 -x327 -x318 -x310 -x301 -x291 -x282 x274
0.78/0.80 v -x266 -x258 -x250 -x242 -x234 -x223 -x215 -x207 -x199 x191 -x183 -x175 -x167 -x159 -x151 x143 -x135 x127
0.78/0.80 c SCIP Status : problem is solved [optimal solution found]
0.78/0.80 c Total Time : 0.80
0.78/0.80 c solving : 0.80
0.78/0.80 c presolving : 0.10 (included in solving)
0.78/0.80 c reading : 0.01 (included in solving)
0.78/0.80 c copying : 0.01 (2 #copies) (minimal 0.00, maximal 0.00, average 0.00)
0.78/0.80 c Original Problem :
0.78/0.80 c Problem name : HOME/instance-4432947-1721173778.opb
0.78/0.80 c Variables : 1300 (1300 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.80 c Constraints : 3558 initial, 3558 maximal
0.78/0.80 c Objective : minimize, 184 non-zeros (abs.min = 1, abs.max = 1.19141e+08)
0.78/0.80 c Presolved Problem :
0.78/0.80 c Problem name : t_HOME/instance-4432947-1721173778.opb
0.78/0.80 c Variables : 633 (633 binary, 0 integer, 0 implicit integer, 0 continuous)
0.78/0.80 c Constraints : 980 initial, 1250 maximal
0.78/0.80 c Objective : minimize, 99 non-zeros (abs.min = 1, abs.max = 4.575e+06)
0.78/0.80 c Nonzeros : 2934 constraint, 14116 clique table
0.78/0.80 c Presolvers : ExecTime SetupTime Calls FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons AddCons ChgSides ChgCoefs
0.78/0.80 c boundshift : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c convertinttobin : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c domcol : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c dualagg : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c dualcomp : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c dualinfer : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c dualsparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c gateextraction : 0.00 0.00 2 0 0 0 0 0 1476 431 0 0
0.78/0.80 c implics : 0.00 0.00 6 0 0 0 0 0 0 0 0 0
0.78/0.80 c inttobinary : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c milp : 0.01 0.00 1 0 120 0 0 0 0 0 0 0
0.78/0.80 c qpkktref : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c redvub : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c sparsify : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c stuffing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c trivial : 0.00 0.00 12 0 0 0 0 0 0 0 0 0
0.78/0.80 c tworowbnd : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c dualfix : 0.00 0.00 12 4 0 0 0 0 0 0 0 0
0.78/0.80 c genvbounds : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c probing : 0.06 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c pseudoobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c symmetry : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c vbounds : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c setppc : 0.00 0.00 9 21 42 0 0 0 21 0 21 21
0.78/0.80 c and : 0.00 0.00 5 0 0 0 0 0 0 0 0 0
0.78/0.80 c linear : 0.01 0.00 15 266 214 0 266 0 1512 0 0 0
0.78/0.80 c logicor : 0.00 0.00 9 0 0 0 0 0 0 0 0 0
0.78/0.80 c benders : 0.00 0.00 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c components : 0.00 0.00 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c root node : - - - 217 - - 217 - - - - -
0.78/0.80 c Constraints : Number MaxNumber #Separate #Propagate #EnfoLP #EnfoRelax #EnfoPS #Check #ResProp Cutoffs DomReds Cuts Applied Conss Children
0.78/0.80 c benderslp : 0 0 0 0 0 0 0 31 0 0 0 0 0 0 0
0.78/0.80 c integral : 0 0 0 0 0 0 0 31 0 0 0 0 0 0 0
0.78/0.80 c setppc : 285+ 287 29 4080 0 0 0 25 79 16 0 1 0 0 0
0.78/0.80 c and : 389 389 29 4054 0 0 0 8 218 7 11 696 0 0 0
0.78/0.80 c linear : 53+ 249 30 3907 0 0 0 10 21 5 10 18 3 0 0
0.78/0.80 c logicor : 253+ 327 29 2020 0 0 0 7 42 14 17 70 2 0 0
0.78/0.80 c benders : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.78/0.80 c fixedvar : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.78/0.80 c countsols : 0 0 0 0 0 0 0 9 0 0 0 0 0 0 0
0.78/0.80 c components : 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c Constraint Timings : TotalTime SetupTime Separate Propagate EnfoLP EnfoPS EnfoRelax Check ResProp SB-Prop
0.78/0.80 c benderslp : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c integral : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c setppc : 0.01 0.00 0.00 0.01 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c and : 0.03 0.00 0.00 0.02 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c linear : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c logicor : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c benders : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c fixedvar : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c countsols : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c components : 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c Propagators : #Propagate #ResProp Cutoffs DomReds
0.78/0.80 c dualfix : 4 0 0 0
0.78/0.80 c genvbounds : 0 0 0 0
0.78/0.80 c nlobbt : 0 0 0 0
0.78/0.80 c obbt : 0 0 0 0
0.78/0.80 c probing : 0 0 0 0
0.78/0.80 c pseudoobj : 45 0 0 25
0.78/0.80 c redcost : 36 0 0 94
0.78/0.80 c rootredcost : 0 0 0 0
0.78/0.80 c symmetry : 0 0 0 0
0.78/0.80 c vbounds : 1876 0 0 0
0.78/0.80 c Propagator Timings : TotalTime SetupTime Presolve Propagate ResProp SB-Prop
0.78/0.80 c dualfix : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c genvbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c nlobbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c obbt : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c probing : 0.06 0.00 0.06 0.00 0.00 0.00
0.78/0.80 c pseudoobj : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c redcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c rootredcost : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c symmetry : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c vbounds : 0.00 0.00 0.00 0.00 0.00 0.00
0.78/0.80 c Symmetry :
0.78/0.80 c orbitopal red. : 0 reductions applied, 0 cutoffs
0.78/0.80 c orbital reduction: 0 reductions applied, 0 cutoffs
0.78/0.80 c lexicographic red: 0 reductions applied, 0 cutoffs
0.78/0.80 c shadow tree time : 0.00 s
0.78/0.80 c Conflict Analysis : Time Calls Success DomReds Conflicts Literals Reconvs ReconvLits Dualrays Nonzeros LP Iters (pool size: [10000,10000])
0.78/0.80 c propagation : 0.00 38 38 - 85 7.1 2 4.5 - - -
0.78/0.80 c infeasible LP : 0.00 0 0 - 0 0.0 0 0.0 0 0.0 0
0.78/0.80 c bound exceed. LP : 0.00 3 0 - 0 0.0 0 0.0 0 0.0 30
0.78/0.80 c strong branching : 0.00 0 0 - 0 0.0 0 0.0 - - 0
0.78/0.80 c pseudo solution : 0.00 0 0 - 0 0.0 0 0.0 - - -
0.78/0.80 c applied globally : 0.00 - - 0 79 6.1 - - 0 - -
0.78/0.80 c applied locally : - - - 0 0 0.0 - - 0 - -
0.78/0.80 c Separators : ExecTime SetupTime Calls RootCalls Cutoffs DomReds FoundCuts ViaPoolAdd DirectAdd Applied ViaPoolApp DirectApp Conss
0.78/0.80 c cut pool : 0.01 - 56 56 - - 3115 5259 - - - - - (maximal pool size: 3115)
0.78/0.80 c aggregation : 0.04 0.00 29 29 0 0 226 824 0 45 45 0 0
0.78/0.80 c > cmir : - - - - - - - 761 0 36 36 0 -
0.78/0.80 c > flowcover : - - - - - - - 0 0 0 0 0 -
0.78/0.80 c > knapsackcover : - - - - - - - 63 0 9 9 0 -
0.78/0.80 c cgmip : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c clique : 0.02 0.00 29 29 0 0 47 211 0 25 25 0 0
0.78/0.80 c closecuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c convexproj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c disjunctive : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c eccuts : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c gauge : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c gomory : 0.27 0.00 10 10 0 0 2003 2449 0 13 13 0 0
0.78/0.80 c > gomorymi : - - - - - - - 1177 0 6 6 0 -
0.78/0.80 c > strongcg : - - - - - - - 1272 0 7 7 0 -
0.78/0.80 c impliedbounds : 0.01 0.00 29 29 0 60 749 1412 0 179 179 0 0
0.78/0.80 c interminor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c intobj : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c lagromory : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c mcf : 0.00 0.00 1 1 0 0 0 0 0 0 0 0 0
0.78/0.80 c minor : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c mixing : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c multilinear : 0.00 0.00 29 29 0 0 0 0 0 0 0 0 0
0.78/0.80 c oddcycle : 0.00 0.00 0 0 0 0 0 0 0 0 0 0 0
0.78/0.80 c rapidlearning : 0.06 0.00 1 1 0 0 0 0 0 0 0 0 196
0.78/0.80 c rlt : 0.08 0.00 10 10 0 0 41 283 0 21 21 0 0
0.78/0.80 c zerohalf : 0.01 0.00 20 20 0 0 49 80 0 27 27 0 0
0.78/0.80 c Cutselectors : ExecTime SetupTime Calls RootCalls Selected Forced Filtered RootSelec RootForc RootFilt
0.78/0.80 c hybrid : 0.00 0.00 29 29 315 0 5729 315 0 5729
0.78/0.80 c ensemble : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c dynamic : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c Pricers : ExecTime SetupTime Calls Vars
0.78/0.80 c problem variables: 0.00 - 0 0
0.78/0.80 c Branching Rules : ExecTime SetupTime BranchLP BranchExt BranchPS Cutoffs DomReds Cuts Conss Children
0.78/0.80 c allfullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c cloud : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c distribution : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c fullstrong : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c gomory : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c inference : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c leastinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c lookahead : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c mostinf : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c multaggr : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c nodereopt : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c pscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c random : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c relpscost : 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c vanillafullstrong: 0.00 0.00 0 0 0 0 0 0 0 0
0.78/0.80 c Primal Heuristics : ExecTime SetupTime Calls Found Best
0.78/0.80 c LP solutions : 0.00 - - 0 0
0.78/0.80 c relax solutions : 0.00 - - 0 0
0.78/0.80 c pseudo solutions : 0.00 - - 0 0
0.78/0.80 c strong branching : 0.00 - - 0 0
0.78/0.80 c actconsdiving : 0.00 0.00 0 0 0
0.78/0.80 c adaptivediving : 0.00 0.00 0 0 0
0.78/0.80 c alns : 0.00 0.00 0 0 0
0.78/0.80 c bound : 0.00 0.00 0 0 0
0.78/0.80 c clique : 0.01 0.00 1 1 1
0.78/0.80 c coefdiving : 0.00 0.00 0 0 0
0.78/0.80 c completesol : 0.00 0.00 0 0 0
0.78/0.80 c conflictdiving : 0.00 0.00 0 0 0
0.78/0.80 c crossover : 0.00 0.00 0 0 0
0.78/0.80 c dins : 0.00 0.00 0 0 0
0.78/0.80 c distributiondivin: 0.00 0.00 0 0 0
0.78/0.80 c dps : 0.00 0.00 0 0 0
0.78/0.80 c dualval : 0.00 0.00 0 0 0
0.78/0.80 c farkasdiving : 0.01 0.00 1 1 1
0.78/0.80 c feasjump : 0.00 0.00 0 0 0
0.78/0.80 c feaspump : 0.00 0.00 0 0 0
0.78/0.80 c fixandinfer : 0.00 0.00 0 0 0
0.78/0.80 c fracdiving : 0.00 0.00 0 0 0
0.78/0.80 c gins : 0.00 0.00 0 0 0
0.78/0.80 c guideddiving : 0.00 0.00 0 0 0
0.78/0.80 c indcoefdiving : 0.00 0.00 0 0 0
0.78/0.80 c indicator : 0.00 0.00 0 0 0
0.78/0.80 c indicatordiving : 0.00 0.00 0 0 0
0.78/0.80 c indoneopt : 0.00 0.00 0 0 0
0.78/0.80 c indrounding : 0.00 0.00 0 0 0
0.78/0.80 c indtwoopt : 0.00 0.00 0 0 0
0.78/0.80 c intdiving : 0.00 0.00 0 0 0
0.78/0.80 c intshifting : 0.00 0.00 0 0 0
0.78/0.80 c linesearchdiving : 0.00 0.00 0 0 0
0.78/0.80 c localbranching : 0.00 0.00 0 0 0
0.78/0.80 c locks : 0.00 0.00 1 0 0
0.78/0.80 c lpface : 0.00 0.00 0 0 0
0.78/0.80 c mpec : 0.00 0.00 0 0 0
0.78/0.80 c multistart : 0.00 0.00 0 0 0
0.78/0.80 c mutation : 0.00 0.00 0 0 0
0.78/0.80 c nlpdiving : 0.00 0.00 0 0 0
0.78/0.80 c objpscostdiving : 0.00 0.00 0 0 0
0.78/0.80 c octane : 0.00 0.00 0 0 0
0.78/0.80 c ofins : 0.00 0.00 0 0 0
0.78/0.80 c oneopt : 0.00 0.00 4 1 1
0.78/0.80 c padm : 0.00 0.00 0 0 0
0.78/0.80 c proximity : 0.00 0.00 0 0 0
0.78/0.80 c pscostdiving : 0.00 0.00 0 0 0
0.78/0.80 c randrounding : 0.02 0.00 30 0 0
0.78/0.80 c rens : 0.00 0.00 0 0 0
0.78/0.80 c reoptsols : 0.00 0.00 0 0 0
0.78/0.80 c repair : 0.00 0.00 0 0 0
0.78/0.80 c rins : 0.00 0.00 0 0 0
0.78/0.80 c rootsoldiving : 0.00 0.00 0 0 0
0.78/0.80 c rounding : 0.00 0.00 30 0 0
0.78/0.80 c scheduler : 0.00 0.00 0 0 0
0.78/0.80 c shiftandpropagate: 0.00 0.00 0 0 0
0.78/0.80 c shifting : 0.01 0.00 30 3 2
0.78/0.80 c simplerounding : 0.00 0.00 0 0 0
0.78/0.80 c smallcard : 0.00 0.00 0 0 0
0.78/0.80 c subnlp : 0.00 0.00 0 0 0
0.78/0.80 c trivial : 0.00 0.00 2 0 0
0.78/0.80 c trivialnegation : 0.00 0.00 0 0 0
0.78/0.80 c trustregion : 0.00 0.00 0 0 0
0.78/0.80 c trysol : 0.00 0.00 0 0 0
0.78/0.80 c twoopt : 0.00 0.00 0 0 0
0.78/0.80 c undercover : 0.02 0.00 1 1 1
0.78/0.80 c vbounds : 0.01 0.00 1 0 0
0.78/0.80 c veclendiving : 0.00 0.00 0 0 0
0.78/0.80 c zeroobj : 0.00 0.00 0 0 0
0.78/0.80 c zirounding : 0.00 0.00 1 0 0
0.78/0.80 c other solutions : - - - 0 -
0.78/0.80 c LNS (Scheduler) : Calls SetupTime SolveTime SolveNodes Sols Best Exp3 Exp3-IX EpsGreedy UCB TgtFixRate Opt Inf Node Stal Sol Usr Othr Actv
0.78/0.80 c rens : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c rins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c mutation : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c localbranching : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c crossover : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c proximity : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c zeroobjective : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 c dins : 0 0.00 0.00 0 0 0 0.00000 0.12500 -1.00000 1.00000 0.900 0 0 0 0 0 0 0 1
0.78/0.80 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.78/0.80 c LP : Time Calls Iterations Iter/call Iter/sec Time-0-It Calls-0-It ItLimit
0.78/0.80 c primal LP : 0.00 4 0 0.00 - 0.00 4
0.78/0.80 c dual LP : 0.06 39 1870 62.33 30213.92 0.00 9
0.78/0.80 c lex dual LP : 0.00 0 0 0.00 -
0.78/0.80 c barrier LP : 0.00 0 0 0.00 - 0.00 0
0.78/0.80 c resolve instable : 0.00 0 0 0.00 -
0.78/0.80 c diving/probing LP: 0.01 9 367 40.78 27463.89
0.78/0.80 c strong branching : 0.00 0 0 0.00 - - - 0
0.78/0.80 c (at root node) : - 0 0 0.00 -
0.78/0.80 c conflict analysis: 0.00 3 30 10.00 -
0.78/0.80 c B&B Tree :
0.78/0.80 c number of runs : 1
0.78/0.80 c nodes : 1 (0 internal, 1 leaves)
0.78/0.80 c feasible leaves : 0
0.78/0.80 c infeas. leaves : 0
0.78/0.80 c objective leaves : 0
0.78/0.80 c nodes (total) : 1 (0 internal, 1 leaves)
0.78/0.80 c nodes left : 0
0.78/0.80 c max depth : 0
0.78/0.80 c max depth (total): 0
0.78/0.80 c backtracks : 0 (0.0%)
0.78/0.80 c early backtracks : 0 (0.0%)
0.78/0.80 c nodes exc. ref. : 0 (0.0%)
0.78/0.80 c delayed cutoffs : 0
0.78/0.80 c repropagations : 0 (0 domain reductions, 0 cutoffs)
0.78/0.80 c avg switch length: 2.00
0.78/0.80 c switching time : 0.00
0.78/0.80 c Root Node :
0.78/0.80 c First LP value : -8.97919452500000e+07
0.78/0.80 c First LP Iters : 384 (81235.46 Iter/sec)
0.78/0.80 c First LP Time : 0.00
0.78/0.80 c Final Dual Bound : -8.10689480000000e+07
0.78/0.80 c Final Root Iters : 1870
0.78/0.80 c Root LP Estimate : -
0.78/0.80 c Solution :
0.78/0.80 c Solutions found : 7 (6 improvements)
0.78/0.80 c First Solution : -4.94098430000000e+07 (in run 1, after 1 nodes, 0.11 seconds, depth 73, found by <clique>)
0.78/0.80 c Gap First Sol. : 102.59 %
0.78/0.80 c Gap Last Sol. : 0.00 %
0.78/0.80 c Primal Bound : -8.10689480000000e+07 (in run 1, after 1 nodes, 0.80 seconds, depth 10, found by <farkasdiving>)
0.78/0.80 c Dual Bound : -8.10689480000000e+07
0.78/0.80 c Gap : 0.00 %
0.78/0.80 c Integrals : Total Avg%
0.78/0.80 c primal-dual : 27.52 34.53
0.78/0.80 c primal-ref : - - (not evaluated)
0.78/0.80 c dual-ref : - - (not evaluated)
0.78/0.82 c Time complete: 0.815238.