[Couenne] How does the option art_cutff really work?

Suyun Liu sul217 at lehigh.edu
Fri Mar 30 15:17:17 EDT 2018


Hi Pietro,

Just in case the attachment is not available. I put the content of the .nl
file in the following:

==================Begin of .nl file================
g3 1 1 0 # problem unknown
 251 340 1 0 80 # vars, constraints, objectives, ranges, eqns
 20 0 0 0 0 0 # nonlinear constrs, objs; ccons: lin, nonlin, nd, nzlb
 0 0 # network constraints: nonlinear, linear
 63 0 0 # nonlinear vars in constraints, objectives, both
 0 0 0 1 # linear network variables; functions; arith, flags
 80 0 0 0 0 # discrete variables: binary, integer, nonlinear (b,c,o)
 1208 20 # nonzeros in Jacobian, obj. gradient
 0 0 # max name lengths: constraints, variables
 0 0 0 0 0 # common exprs: b,c,o,c1,o1
C0
o54
3
o2
v3
v0
o2
v23
v1
o2
v43
v2
C1
o54
3
o2
v4
v0
o2
v24
v1
o2
v44
v2
C2
o54
3
o2
v5
v0
o2
v25
v1
o2
v45
v2
C3
o54
3
o2
v6
v0
o2
v26
v1
o2
v46
v2
C4
o54
3
o2
v7
v0
o2
v27
v1
o2
v47
v2
C5
o54
3
o2
v8
v0
o2
v28
v1
o2
v48
v2
C6
o54
3
o2
v9
v0
o2
v29
v1
o2
v49
v2
C7
o54
3
o2
v10
v0
o2
v30
v1
o2
v50
v2
C8
o54
3
o2
v11
v0
o2
v31
v1
o2
v51
v2
C9
o54
3
o2
v12
v0
o2
v32
v1
o2
v52
v2
C10
o54
3
o2
v13
v0
o2
v33
v1
o2
v53
v2
C11
o54
3
o2
v14
v0
o2
v34
v1
o2
v54
v2
C12
o54
3
o2
v15
v0
o2
v35
v1
o2
v55
v2
C13
o54
3
o2
v16
v0
o2
v36
v1
o2
v56
v2
C14
o54
3
o2
v17
v0
o2
v37
v1
o2
v57
v2
C15
o54
3
o2
v18
v0
o2
v38
v1
o2
v58
v2
C16
o54
3
o2
v19
v0
o2
v39
v1
o2
v59
v2
C17
o54
3
o2
v20
v0
o2
v40
v1
o2
v60
v2
C18
o54
3
o2
v21
v0
o2
v41
v1
o2
v61
v2
C19
o54
3
o2
v22
v0
o2
v42
v1
o2
v62
v2
C20
n0
C21
n0
C22
n0
C23
n0
C24
n0
C25
n0
C26
n0
C27
n0
C28
n0
C29
n0
C30
n0
C31
n0
C32
n0
C33
n0
C34
n0
C35
n0
C36
n0
C37
n0
C38
n0
C39
n0
C40
n0
C41
n0
C42
n0
C43
n0
C44
n0
C45
n0
C46
n0
C47
n0
C48
n0
C49
n0
C50
n0
C51
n0
C52
n0
C53
n0
C54
n0
C55
n0
C56
n0
C57
n0
C58
n0
C59
n0
C60
n0
C61
n0
C62
n0
C63
n0
C64
n0
C65
n0
C66
n0
C67
n0
C68
n0
C69
n0
C70
n0
C71
n0
C72
n0
C73
n0
C74
n0
C75
n0
C76
n0
C77
n0
C78
n0
C79
n0
C80
n0
C81
n0
C82
n0
C83
n0
C84
n0
C85
n0
C86
n0
C87
n0
C88
n0
C89
n0
C90
n0
C91
n0
C92
n0
C93
n0
C94
n0
C95
n0
C96
n0
C97
n0
C98
n0
C99
n0
C100
n0
C101
n0
C102
n0
C103
n0
C104
n0
C105
n0
C106
n0
C107
n0
C108
n0
C109
n0
C110
n0
C111
n0
C112
n0
C113
n0
C114
n0
C115
n0
C116
n0
C117
n0
C118
n0
C119
n0
C120
n0
C121
n0
C122
n0
C123
n0
C124
n0
C125
n0
C126
n0
C127
n0
C128
n0
C129
n0
C130
n0
C131
n0
C132
n0
C133
n0
C134
n0
C135
n0
C136
n0
C137
n0
C138
n0
C139
n0
C140
n0
C141
n0
C142
n0
C143
n0
C144
n0
C145
n0
C146
n0
C147
n0
C148
n0
C149
n0
C150
n0
C151
n0
C152
n0
C153
n0
C154
n0
C155
n0
C156
n0
C157
n0
C158
n0
C159
n0
C160
n0
C161
n0
C162
n0
C163
n0
C164
n0
C165
n0
C166
n0
C167
n0
C168
n0
C169
n0
C170
n0
C171
n0
C172
n0
C173
n0
C174
n0
C175
n0
C176
n0
C177
n0
C178
n0
C179
n0
C180
n0
C181
n0
C182
n0
C183
n0
C184
n0
C185
n0
C186
n0
C187
n0
C188
n0
C189
n0
C190
n0
C191
n0
C192
n0
C193
n0
C194
n0
C195
n0
C196
n0
C197
n0
C198
n0
C199
n0
C200
n0
C201
n0
C202
n0
C203
n0
C204
n0
C205
n0
C206
n0
C207
n0
C208
n0
C209
n0
C210
n0
C211
n0
C212
n0
C213
n0
C214
n0
C215
n0
C216
n0
C217
n0
C218
n0
C219
n0
C220
n0
C221
n0
C222
n0
C223
n0
C224
n0
C225
n0
C226
n0
C227
n0
C228
n0
C229
n0
C230
n0
C231
n0
C232
n0
C233
n0
C234
n0
C235
n0
C236
n0
C237
n0
C238
n0
C239
n0
C240
n0
C241
n0
C242
n0
C243
n0
C244
n0
C245
n0
C246
n0
C247
n0
C248
n0
C249
n0
C250
n0
C251
n0
C252
n0
C253
n0
C254
n0
C255
n0
C256
n0
C257
n0
C258
n0
C259
n0
C260
n0
C261
n0
C262
n0
C263
n0
C264
n0
C265
n0
C266
n0
C267
n0
C268
n0
C269
n0
C270
n0
C271
n0
C272
n0
C273
n0
C274
n0
C275
n0
C276
n0
C277
n0
C278
n0
C279
n0
C280
n0
C281
n0
C282
n0
C283
n0
C284
n0
C285
n0
C286
n0
C287
n0
C288
n0
C289
n0
C290
n0
C291
n0
C292
n0
C293
n0
C294
n0
C295
n0
C296
n0
C297
n0
C298
n0
C299
n0
C300
n0
C301
n0
C302
n0
C303
n0
C304
n0
C305
n0
C306
n0
C307
n0
C308
n0
C309
n0
C310
n0
C311
n0
C312
n0
C313
n0
C314
n0
C315
n0
C316
n0
C317
n0
C318
n0
C319
n0
C320
n0
C321
n0
C322
n0
C323
n0
C324
n0
C325
n0
C326
n0
C327
n0
C328
n0
C329
n0
C330
n0
C331
n0
C332
n0
C333
n0
C334
n0
C335
n0
C336
n0
C337
n0
C338
n0
C339
n0
O0 0
n0
x0
r
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
4 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
1 0.0
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
2 -0.05
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 100000.0
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 -0.05
1 0.0
1 -1.0
1 -1.0
1 -1.0
1 -1.0
1 0.0
1 -1.0
1 -1.0
1 -1.0
1 -1.0
1 -1.0
1 0.0
1 0.0
1 -1.0
1 0.0
1 -1.0
1 -1.0
1 -1.0
1 -1.0
1 -1.0
b
0 -5 5
0 -5 5
0 -5 5
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
2 0
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
0 -5 5
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
3
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
0 0 1
k250
20
40
60
65
70
75
80
85
90
95
100
105
110
115
120
125
130
135
140
145
150
155
160
165
170
175
180
185
190
195
200
205
210
215
220
225
230
235
240
245
250
255
260
265
270
275
280
285
290
295
300
305
310
315
320
325
330
335
340
345
350
355
360
376
392
408
427
446
465
485
505
525
539
553
567
575
583
591
611
631
651
671
691
711
730
749
768
788
808
828
848
851
854
857
860
863
866
869
872
875
878
881
884
887
890
893
896
899
902
905
908
911
914
917
920
923
926
929
932
935
938
941
944
947
950
953
956
959
962
965
968
971
974
977
980
983
986
989
992
995
998
1001
1004
1007
1010
1013
1016
1019
1022
1025
1028
1030
1032
1034
1036
1038
1040
1042
1044
1046
1048
1050
1052
1054
1056
1058
1060
1062
1064
1066
1068
1070
1072
1074
1076
1078
1080
1082
1084
1086
1088
1090
1092
1094
1096
1098
1100
1102
1104
1106
1108
1110
1112
1114
1116
1118
1120
1122
1124
1126
1128
1130
1132
1134
1136
1138
1140
1142
1144
1146
1148
1150
1152
1154
1156
1158
1160
1162
1164
1166
1168
1170
1172
1174
1176
1178
1180
1182
1184
1186
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
J0 8
90 1.0
151 -1.0
0 0
1 0
2 0
3 0
23 0
43 0
J1 8
90 1.0
152 -1.0
0 0
1 0
2 0
4 0
24 0
44 0
J2 8
90 1.0
153 -1.0
0 0
1 0
2 0
5 0
25 0
45 0
J3 8
90 1.0
154 -1.0
0 0
1 0
2 0
6 0
26 0
46 0
J4 8
90 1.0
155 -1.0
0 0
1 0
2 0
7 0
27 0
47 0
J5 8
90 1.0
156 -1.0
0 0
1 0
2 0
8 0
28 0
48 0
J6 8
90 1.0
157 -1.0
0 0
1 0
2 0
9 0
29 0
49 0
J7 8
90 1.0
158 -1.0
0 0
1 0
2 0
10 0
30 0
50 0
J8 8
90 1.0
159 -1.0
0 0
1 0
2 0
11 0
31 0
51 0
J9 8
90 1.0
160 -1.0
0 0
1 0
2 0
12 0
32 0
52 0
J10 8
90 1.0
161 -1.0
0 0
1 0
2 0
13 0
33 0
53 0
J11 8
90 1.0
162 -1.0
0 0
1 0
2 0
14 0
34 0
54 0
J12 8
90 1.0
163 -1.0
0 0
1 0
2 0
15 0
35 0
55 0
J13 8
90 1.0
164 -1.0
0 0
1 0
2 0
16 0
36 0
56 0
J14 8
90 1.0
165 -1.0
0 0
1 0
2 0
17 0
37 0
57 0
J15 8
90 1.0
166 -1.0
0 0
1 0
2 0
18 0
38 0
58 0
J16 8
90 1.0
167 -1.0
0 0
1 0
2 0
19 0
39 0
59 0
J17 8
90 1.0
168 -1.0
0 0
1 0
2 0
20 0
40 0
60 0
J18 8
90 1.0
169 -1.0
0 0
1 0
2 0
21 0
41 0
61 0
J19 8
90 1.0
170 -1.0
0 0
1 0
2 0
22 0
42 0
62 0
J20 8
66 0.809045
69 0.0819672
72 -0.212121
78 0.251863
81 0.549957
84 -0.866667
87 1
91 -1
J21 8
67 0.809045
70 0.0819672
73 -0.212121
79 0.251863
82 0.549957
85 -0.866667
88 1
111 -1
J22 8
68 0.809045
71 0.0819672
74 -0.212121
80 0.251863
83 0.549957
86 -0.866667
89 1
131 -1
J23 8
63 -0.764706
66 0.0954774
69 0.508197
78 0.272727
81 -0.345004
84 0.1
87 1
92 -1
J24 8
64 -0.764706
67 0.0954774
70 0.508197
79 0.272727
82 -0.345004
85 0.1
88 1
112 -1
J25 8
65 -0.764706
68 0.0954774
71 0.508197
80 0.272727
83 -0.345004
86 0.1
89 1
132 -1
J26 8
63 -0.882353
69 -0.213115
72 -0.59596
78 -0.263785
81 -0.947054
84 -0.966667
87 1
93 -1
J27 8
64 -0.882353
70 -0.213115
73 -0.59596
79 -0.263785
82 -0.947054
85 -0.966667
88 1
113 -1
J28 8
65 -0.882353
71 -0.213115
74 -0.59596
80 -0.263785
83 -0.947054
86 -0.966667
89 1
133 -1
J29 10
63 -0.882353
66 -0.286432
69 -0.213115
72 -0.636364
75 -0.820331
78 -0.391952
81 -0.790777
84 -0.966667
87 1
94 -1
J30 10
64 -0.882353
67 -0.286432
70 -0.213115
73 -0.636364
76 -0.820331
79 -0.391952
82 -0.790777
85 -0.966667
88 1
114 -1
J31 10
65 -0.882353
68 -0.286432
71 -0.213115
74 -0.636364
77 -0.820331
80 -0.391952
83 -0.790777
86 -0.966667
89 1
134 -1
J32 10
63 -0.882353
66 -0.105528
69 0.245902
72 -0.313131
75 -0.91253
78 -0.0700447
81 -0.902647
84 -0.933333
87 1
95 -1
J33 10
64 -0.882353
67 -0.105528
70 0.245902
73 -0.313131
76 -0.91253
79 -0.0700447
82 -0.902647
85 -0.933333
88 1
115 -1
J34 10
65 -0.882353
68 -0.105528
71 0.245902
74 -0.313131
77 -0.91253
80 -0.0700447
83 -0.902647
86 -0.933333
89 1
135 -1
J35 8
63 -0.529412
66 0.467337
69 0.508197
78 -0.0700447
81 -0.606319
84 0.333333
87 1
96 -1
J36 8
64 -0.529412
67 0.467337
70 0.508197
79 -0.0700447
82 -0.606319
85 0.333333
88 1
116 -1
J37 8
65 -0.529412
68 0.467337
71 0.508197
80 -0.0700447
83 -0.606319
86 0.333333
89 1
136 -1
J38 9
63 0.0588235
66 -0.427136
69 0.311475
72 -0.252525
78 -0.0223547
81 -0.984629
84 -0.333333
87 1
97 -1
J39 9
64 0.0588235
67 -0.427136
70 0.311475
73 -0.252525
79 -0.0223547
82 -0.984629
85 -0.333333
88 1
117 -1
J40 9
65 0.0588235
68 -0.427136
71 0.311475
74 -0.252525
80 -0.0223547
83 -0.984629
86 -0.333333
89 1
137 -1
J41 10
63 -0.764706
66 -0.115578
69 0.213115
72 -0.616162
75 -0.874704
78 -0.135618
81 -0.87105
84 -0.966667
87 1
98 -1
J42 10
64 -0.764706
67 -0.115578
70 0.213115
73 -0.616162
76 -0.874704
79 -0.135618
82 -0.87105
85 -0.966667
88 1
118 -1
J43 10
65 -0.764706
68 -0.115578
71 0.213115
74 -0.616162
77 -0.874704
80 -0.135618
83 -0.87105
86 -0.966667
89 1
138 -1
J44 9
63 -0.529412
66 0.517588
69 0.47541
72 -0.232323
78 -0.114754
81 -0.815542
84 -0.5
87 1
99 -1
J45 9
64 -0.529412
67 0.517588
70 0.47541
73 -0.232323
79 -0.114754
82 -0.815542
85 -0.5
88 1
119 -1
J46 9
65 -0.529412
68 0.517588
71 0.47541
74 -0.232323
80 -0.114754
83 -0.815542
86 -0.5
89 1
139 -1
J47 9
66 0.145729
69 0.311475
72 -0.313131
75 -0.326241
78 0.317437
81 -0.923997
84 -0.8
87 1
100 -1
J48 9
67 0.145729
70 0.311475
73 -0.313131
76 -0.326241
79 0.317437
82 -0.923997
85 -0.8
88 1
120 -1
J49 9
68 0.145729
71 0.311475
74 -0.313131
77 -0.326241
80 0.317437
83 -0.923997
86 -0.8
89 1
140 -1
J50 9
66 0.175879
69 0.311475
72 -0.373737
75 -0.874704
78 0.347243
81 -0.990606
84 -0.9
87 1
101 -1
J51 9
67 0.175879
70 0.311475
73 -0.373737
76 -0.874704
79 0.347243
82 -0.990606
85 -0.9
88 1
121 -1
J52 9
68 0.175879
71 0.311475
74 -0.373737
77 -0.874704
80 0.347243
83 -0.990606
86 -0.9
89 1
141 -1
J53 8
63 -0.764706
66 0.0854271
69 0.311475
78 -0.195231
81 -0.845431
84 0.0333333
87 1
102 -1
J54 8
64 -0.764706
67 0.0854271
70 0.311475
79 -0.195231
82 -0.845431
85 0.0333333
88 1
122 -1
J55 8
65 -0.764706
68 0.0854271
71 0.311475
80 -0.195231
83 -0.845431
86 0.0333333
89 1
142 -1
J56 9
63 -0.176471
66 0.0954774
69 0.311475
72 -0.373737
78 0.0700448
81 -0.104184
84 -0.266667
87 1
103 -1
J57 9
64 -0.176471
67 0.0954774
70 0.311475
73 -0.373737
79 0.0700448
82 -0.104184
85 -0.266667
88 1
123 -1
J58 9
65 -0.176471
68 0.0954774
71 0.311475
74 -0.373737
80 0.0700448
83 -0.104184
86 -0.266667
89 1
143 -1
J59 8
63 0.411765
66 0.0653266
69 0.311475
78 -0.296572
81 -0.949616
84 -0.233333
87 1
104 -1
J60 8
64 0.411765
67 0.0653266
70 0.311475
79 -0.296572
82 -0.949616
85 -0.233333
88 1
124 -1
J61 8
65 0.411765
68 0.0653266
71 0.311475
80 -0.296572
83 -0.949616
86 -0.233333
89 1
144 -1
J62 8
63 -0.411765
66 0.155779
69 0.245902
78 -0.0700447
81 -0.773698
84 -0.233333
87 1
105 -1
J63 8
64 -0.411765
67 0.155779
70 0.245902
79 -0.0700447
82 -0.773698
85 -0.233333
88 1
125 -1
J64 8
65 -0.411765
68 0.155779
71 0.245902
80 -0.0700447
83 -0.773698
86 -0.233333
89 1
145 -1
J65 8
63 -0.529412
66 0.376884
69 0.377049
78 -0.0700447
81 -0.851409
84 -0.7
87 1
106 -1
J66 8
64 -0.529412
67 0.376884
70 0.377049
79 -0.0700447
82 -0.851409
85 -0.7
88 1
126 -1
J67 8
65 -0.529412
68 0.376884
71 0.377049
80 -0.0700447
83 -0.851409
86 -0.7
89 1
146 -1
J68 10
63 -0.882353
66 -0.0954774
69 0.0163934
72 -0.757576
75 -0.898345
78 -0.18927
81 -0.571307
84 -0.9
87 1
107 -1
J69 10
64 -0.882353
67 -0.0954774
70 0.0163934
73 -0.757576
76 -0.898345
79 -0.18927
82 -0.571307
85 -0.9
88 1
127 -1
J70 10
65 -0.882353
68 -0.0954774
71 0.0163934
74 -0.757576
77 -0.898345
80 -0.18927
83 -0.571307
86 -0.9
89 1
147 -1
J71 7
66 0.0150754
69 0.0491803
72 -0.656566
78 -0.374069
81 -0.851409
87 1
108 -1
J72 7
67 0.0150754
70 0.0491803
73 -0.656566
79 -0.374069
82 -0.851409
88 1
128 -1
J73 7
68 0.0150754
71 0.0491803
74 -0.656566
80 -0.374069
83 -0.851409
89 1
148 -1
J74 10
63 -0.764706
66 0.0552764
69 -0.0491803
72 -0.191919
75 -0.777778
78 0.0402385
81 -0.874466
84 -0.866667
87 1
109 -1
J75 10
64 -0.764706
67 0.0552764
70 -0.0491803
73 -0.191919
76 -0.777778
79 0.0402385
82 -0.874466
85 -0.866667
88 1
129 -1
J76 10
65 -0.764706
68 0.0552764
71 -0.0491803
74 -0.191919
77 -0.777778
80 0.0402385
83 -0.874466
86 -0.866667
89 1
149 -1
J77 10
63 -0.882353
66 -0.125628
69 -0.0163934
72 -0.252525
75 -0.822695
78 0.108793
81 -0.631939
84 -0.966667
87 1
110 -1
J78 10
64 -0.882353
67 -0.125628
70 -0.0163934
73 -0.252525
76 -0.822695
79 0.108793
82 -0.631939
85 -0.966667
88 1
130 -1
J79 10
65 -0.882353
68 -0.125628
71 -0.0163934
74 -0.252525
77 -0.822695
80 0.108793
83 -0.631939
86 -0.966667
89 1
150 -1
J80 2
91 1
3 -1
J81 2
111 1
23 -1
J82 2
131 1
43 -1
J83 2
92 1
4 -1
J84 2
112 1
24 -1
J85 2
132 1
44 -1
J86 2
93 1
5 -1
J87 2
113 1
25 -1
J88 2
133 1
45 -1
J89 2
94 1
6 -1
J90 2
114 1
26 -1
J91 2
134 1
46 -1
J92 2
95 1
7 -1
J93 2
115 1
27 -1
J94 2
135 1
47 -1
J95 2
96 1
8 -1
J96 2
116 1
28 -1
J97 2
136 1
48 -1
J98 2
97 1
9 -1
J99 2
117 1
29 -1
J100 2
137 1
49 -1
J101 2
98 1
10 -1
J102 2
118 1
30 -1
J103 2
138 1
50 -1
J104 2
99 1
11 -1
J105 2
119 1
31 -1
J106 2
139 1
51 -1
J107 2
100 1
12 -1
J108 2
120 1
32 -1
J109 2
140 1
52 -1
J110 2
101 1
13 -1
J111 2
121 1
33 -1
J112 2
141 1
53 -1
J113 2
102 1
14 -1
J114 2
122 1
34 -1
J115 2
142 1
54 -1
J116 2
103 1
15 -1
J117 2
123 1
35 -1
J118 2
143 1
55 -1
J119 2
104 1
16 -1
J120 2
124 1
36 -1
J121 2
144 1
56 -1
J122 2
105 1
17 -1
J123 2
125 1
37 -1
J124 2
145 1
57 -1
J125 2
106 1
18 -1
J126 2
126 1
38 -1
J127 2
146 1
58 -1
J128 2
107 1
19 -1
J129 2
127 1
39 -1
J130 2
147 1
59 -1
J131 2
108 1
20 -1
J132 2
128 1
40 -1
J133 2
148 1
60 -1
J134 2
109 1
21 -1
J135 2
129 1
41 -1
J136 2
149 1
61 -1
J137 2
110 1
22 -1
J138 2
130 1
42 -1
J139 2
150 1
62 -1
J140 1
3 1
J141 1
23 1
J142 1
43 1
J143 1
4 1
J144 1
24 1
J145 1
44 1
J146 1
5 1
J147 1
25 1
J148 1
45 1
J149 1
6 1
J150 1
26 1
J151 1
46 1
J152 1
7 1
J153 1
27 1
J154 1
47 1
J155 1
8 1
J156 1
28 1
J157 1
48 1
J158 1
9 1
J159 1
29 1
J160 1
49 1
J161 1
10 1
J162 1
30 1
J163 1
50 1
J164 1
11 1
J165 1
31 1
J166 1
51 1
J167 1
12 1
J168 1
32 1
J169 1
52 1
J170 1
13 1
J171 1
33 1
J172 1
53 1
J173 1
14 1
J174 1
34 1
J175 1
54 1
J176 1
15 1
J177 1
35 1
J178 1
55 1
J179 1
16 1
J180 1
36 1
J181 1
56 1
J182 1
17 1
J183 1
37 1
J184 1
57 1
J185 1
18 1
J186 1
38 1
J187 1
58 1
J188 1
19 1
J189 1
39 1
J190 1
59 1
J191 1
20 1
J192 1
40 1
J193 1
60 1
J194 1
21 1
J195 1
41 1
J196 1
61 1
J197 1
22 1
J198 1
42 1
J199 1
62 1
J200 3
91 -1
3 1
171 100000
J201 3
111 -1
23 1
191 100000
J202 3
131 -1
43 1
211 100000
J203 3
92 -1
4 1
172 100000
J204 3
112 -1
24 1
192 100000
J205 3
132 -1
44 1
212 100000
J206 3
93 -1
5 1
173 100000
J207 3
113 -1
25 1
193 100000
J208 3
133 -1
45 1
213 100000
J209 3
94 -1
6 1
174 100000
J210 3
114 -1
26 1
194 100000
J211 3
134 -1
46 1
214 100000
J212 3
95 -1
7 1
175 100000
J213 3
115 -1
27 1
195 100000
J214 3
135 -1
47 1
215 100000
J215 3
96 -1
8 1
176 100000
J216 3
116 -1
28 1
196 100000
J217 3
136 -1
48 1
216 100000
J218 3
97 -1
9 1
177 100000
J219 3
117 -1
29 1
197 100000
J220 3
137 -1
49 1
217 100000
J221 3
98 -1
10 1
178 100000
J222 3
118 -1
30 1
198 100000
J223 3
138 -1
50 1
218 100000
J224 3
99 -1
11 1
179 100000
J225 3
119 -1
31 1
199 100000
J226 3
139 -1
51 1
219 100000
J227 3
100 -1
12 1
180 100000
J228 3
120 -1
32 1
200 100000
J229 3
140 -1
52 1
220 100000
J230 3
101 -1
13 1
181 100000
J231 3
121 -1
33 1
201 100000
J232 3
141 -1
53 1
221 100000
J233 3
102 -1
14 1
182 100000
J234 3
122 -1
34 1
202 100000
J235 3
142 -1
54 1
222 100000
J236 3
103 -1
15 1
183 100000
J237 3
123 -1
35 1
203 100000
J238 3
143 -1
55 1
223 100000
J239 3
104 -1
16 1
184 100000
J240 3
124 -1
36 1
204 100000
J241 3
144 -1
56 1
224 100000
J242 3
105 -1
17 1
185 100000
J243 3
125 -1
37 1
205 100000
J244 3
145 -1
57 1
225 100000
J245 3
106 -1
18 1
186 100000
J246 3
126 -1
38 1
206 100000
J247 3
146 -1
58 1
226 100000
J248 3
107 -1
19 1
187 100000
J249 3
127 -1
39 1
207 100000
J250 3
147 -1
59 1
227 100000
J251 3
108 -1
20 1
188 100000
J252 3
128 -1
40 1
208 100000
J253 3
148 -1
60 1
228 100000
J254 3
109 -1
21 1
189 100000
J255 3
129 -1
41 1
209 100000
J256 3
149 -1
61 1
229 100000
J257 3
110 -1
22 1
190 100000
J258 3
130 -1
42 1
210 100000
J259 3
150 -1
62 1
230 100000
J260 2
3 1
171 -100000
J261 2
23 1
191 -100000
J262 2
43 1
211 -100000
J263 2
4 1
172 -100000
J264 2
24 1
192 -100000
J265 2
44 1
212 -100000
J266 2
5 1
173 -100000
J267 2
25 1
193 -100000
J268 2
45 1
213 -100000
J269 2
6 1
174 -100000
J270 2
26 1
194 -100000
J271 2
46 1
214 -100000
J272 2
7 1
175 -100000
J273 2
27 1
195 -100000
J274 2
47 1
215 -100000
J275 2
8 1
176 -100000
J276 2
28 1
196 -100000
J277 2
48 1
216 -100000
J278 2
9 1
177 -100000
J279 2
29 1
197 -100000
J280 2
49 1
217 -100000
J281 2
10 1
178 -100000
J282 2
30 1
198 -100000
J283 2
50 1
218 -100000
J284 2
11 1
179 -100000
J285 2
31 1
199 -100000
J286 2
51 1
219 -100000
J287 2
12 1
180 -100000
J288 2
32 1
200 -100000
J289 2
52 1
220 -100000
J290 2
13 1
181 -100000
J291 2
33 1
201 -100000
J292 2
53 1
221 -100000
J293 2
14 1
182 -100000
J294 2
34 1
202 -100000
J295 2
54 1
222 -100000
J296 2
15 1
183 -100000
J297 2
35 1
203 -100000
J298 2
55 1
223 -100000
J299 2
16 1
184 -100000
J300 2
36 1
204 -100000
J301 2
56 1
224 -100000
J302 2
17 1
185 -100000
J303 2
37 1
205 -100000
J304 2
57 1
225 -100000
J305 2
18 1
186 -100000
J306 2
38 1
206 -100000
J307 2
58 1
226 -100000
J308 2
19 1
187 -100000
J309 2
39 1
207 -100000
J310 2
59 1
227 -100000
J311 2
20 1
188 -100000
J312 2
40 1
208 -100000
J313 2
60 1
228 -100000
J314 2
21 1
189 -100000
J315 2
41 1
209 -100000
J316 2
61 1
229 -100000
J317 2
22 1
190 -100000
J318 2
42 1
210 -100000
J319 2
62 1
230 -100000
J320 2
151 1
231 -100000
J321 2
152 -1
232 -100000
J322 2
153 -1
233 -100000
J323 2
154 -1
234 -100000
J324 2
155 -1
235 -100000
J325 2
156 1
236 -100000
J326 2
157 -1
237 -100000
J327 2
158 -1
238 -100000
J328 2
159 -1
239 -100000
J329 2
160 -1
240 -100000
J330 2
161 -1
241 -100000
J331 2
162 1
242 -100000
J332 2
163 1
243 -100000
J333 2
164 -1
244 -100000
J334 2
165 1
245 -100000
J335 2
166 -1
246 -100000
J336 2
167 -1
247 -100000
J337 2
168 -1
248 -100000
J338 2
169 -1
249 -100000
J339 2
170 -1
250 -100000
G0 20
231 1
232 1
233 1
234 1
235 1
236 1
237 1
238 1
239 1
240 1
241 1
242 1
243 1
244 1
245 1
246 1
247 1
248 1
249 1
250 1


==================End of .nl file================

Thanks again!


Best Regards,
Suyun


On Wed, Mar 28, 2018 at 12:17 PM, Pietro Belotti <petr.7b6 at gmail.com> wrote:

> Hi Suyun,
>
> this is a rather extreme example, but setting art_cutoff doesn't provide
> Couenne with a solution, rather it further restricts the problem by
> imposing an upper bound on the objective function. This is quite useful for
> bound reduction and for obtaining a good dual bound (it's zero throughout
> the second solve), but it obviously changes the execution path. This in
> turn might make it hard for Couenne's rounding heuristic to actually find
> the corresponding solution.
>
> It might also be that Couenne does find a solution (although different
> from the one in the first solve), but Cbc doesn't recognize it to be
> feasible (this is a known issue), hence the upper bound stays at 1e+50
> until the last node.
>
> If you can share the .nl file I might be able to give it a look.
>
> Regards,
> Pietro
>
>
> On Tue, Mar 27, 2018 at 11:47 PM, Suyun Liu <sul217 at lehigh.edu> wrote:
>
>> Hi all,
>>
>> I am using Couenne to solve a MINLP model. Before I set the artificial
>> cutoff, the output log file is as follow:
>>
>>
>> ANALYSIS TEST: NLP0012I
>>               Num      Status      Obj             It       time
>>        Location
>> NLP0014I             1         OPT -1.9980011e-07      207 1.284
>> *Couenne: new cutoff value 0.0000000000e+00 (1.344 seconds)*
>> Loaded instance "/tmp/tmpfway44.pyomo.nl"
>> Constraints:          340
>> Variables:            251 (80 integer)
>> Auxiliaries:          181 (1 integer)
>>
>> Coin0506I Presolve 386 (-81) rows, 211 (-221) columns and 1343 (-249)
>> elements
>> Clp0006I 0  Obj 0 Primal inf 5492.8755 (104)
>> Clp0006I 82  Obj 8.5520883e-16 Primal inf 1685.5012 (94)
>> Clp0006I 147  Obj 8.0836286e-16 Primal inf 763.81651 (82)
>> Clp0006I 200  Obj 1.2095835e-15 Primal inf 65.049667 (25)
>> Clp0006I 218  Obj 8.849406e-16
>> Clp0000I Optimal - objective value 0
>> Clp0032I Optimal objective 0 - 218 iterations time 0.012, Presolve 0.00
>> Clp0000I Optimal - objective value 0
>> Cbc0012I Integer solution of 0 found by Couenne Rounding NLP after 0
>> iterations and 0 nodes (0.00 seconds)
>> NLP Heuristic: time limit reached.
>> Clp0006I 0  Obj 5741236.1 Dual inf 397.13524 (85)
>> Clp0006I 0  Obj 5741236.1 Dual inf 397.13524 (85)
>> Clp0006I 43  Obj 5740630.1 Dual inf 1021.1571 (76)
>> Clp0006I 89  Obj 5740105.7 Dual inf 85.705639 (60)
>> Clp0006I 134  Obj 5739789.8 Dual inf 11.116202 (30)
>> Clp0006I 176  Obj 5739764.1
>> Clp0000I Optimal - objective value 5739764.1
>> *Cbc0001I Search completed - best objective 0, took 176 iterations and 0
>> nodes (0.02 seconds)*
>> Cbc0035I Maximum depth 0, 0 variables fixed on reduced cost
>> Clp0006I 0  Obj 0 Primal inf 198.78648 (63)
>> Clp0006I 36  Obj 3.3917289e-16 Primal inf 637.71469 (85)
>> Clp0006I 92  Obj -7.8568705e-16 Primal inf 895.90803 (77)
>> Clp0006I 150  Obj -2.5890557e-15 Primal inf 9.9742629e-05 (25)
>> Clp0006I 151  Obj -2.5890544e-15 Primal inf 0.00017072599 (25)
>> Clp0006I 152  Obj 0 Primal inf 0.0035095124 (25) Dual inf 3.4537304 (5)
>> Clp0006I 158  Obj 0 Primal inf 0.0035095527 (24)
>> Clp0001I Primal infeasible - objective value 0
>> Clp1001I Initial range of elements is 1e-05 to 1
>> Clp1003I Final range of elements is 0.14320674 to 6.9829115
>> Clp0022I Absolute values of scaled rhs range from 1 to 135.69747, minimum
>> gap 1e+100
>> Clp0020I Absolute values of scaled objective range from 1 to 1
>> Clp0021I Absolute values of scaled bounds range from 6.9971591e-13 to
>> 14320.674, minimum gap 1.4320674
>> Clp0006I 0  Obj 0 Primal inf 0.0035095527 (24)
>> Clp0006I 0  Obj 0 Primal inf 0.0035095527 (24)
>> Clp0006I 0  Obj 0 Primal inf 0.0035095527 (24)
>> Clp0001I Primal infeasible - objective value 0
>>   "Finished"
>>
>> Linearization cuts added at root node:        467
>> Linearization cuts added in total:            467  (separation time:
>> 0.004s)
>> Total solve time:                           0.036s (0.036s in
>> branch-and-bound)
>> Lower bound:                                    0
>> Upper bound:                                    0  (gap: 0.00%)
>> Branch-and-bound nodes:                         0
>> Stats: /tmp/tmpfway44.pyomo.nl  251 [var]   80 [int]  340 [con]  181
>> [aux]    467 [root]      467 [tot]  0.004 [sep]    0.036 [time]    0.036
>> [bb]         0.000000e+00 [lower]         0.000000e+00 [upper]       0
>> [nodes]
>>
>>
>> Since I have already got a local optimal (which is actually the global
>> minimum) via other method and hence I put the objective value 0 as the
>> cutoff through the art_cutoff option. The new log file is as follow:
>>
>>
>>
>> ANALYSIS TEST: *Couenne: new cutoff value 0.0000000000e+00 (0.04
>> seconds)*
>> *CutOff set to 0.000000*
>> NLP0012I
>>               Num      Status      Obj             It       time
>>        Location
>> NLP0014I             1         OPT 0      104 1.296
>> Loaded instance "/tmp/tmpZ1I5T7.pyomo.nl"
>> Constraints:          340
>> Variables:            251 (80 integer)
>> Auxiliaries:          181 (1 integer)
>>
>> Coin0506I Presolve 386 (-81) rows, 211 (-221) columns and 1343 (-249)
>> elements
>> Clp0006I 0  Obj 0 Primal inf 5492.8755 (104)
>> Clp0006I 82  Obj 8.5520883e-16 Primal inf 1685.5012 (94)
>> Clp0006I 147  Obj 8.0836286e-16 Primal inf 763.81651 (82)
>> Clp0006I 200  Obj 1.2095835e-15 Primal inf 65.049667 (25)
>> Clp0006I 218  Obj 8.849406e-16
>> Clp0000I Optimal - objective value 0
>> Clp0032I Optimal objective 0 - 218 iterations time 0.012, Presolve 0.00
>> Clp0000I Optimal - objective value 0
>> NLP Heuristic: time limit reached.
>> Clp0006I 0  Obj 5741236.1 Dual inf 397.13524 (85)
>> Clp0006I 0  Obj 5741236.1 Dual inf 397.13524 (85)
>> Clp0006I 43  Obj 5740630.1 Dual inf 1021.1571 (76)
>> Clp0006I 89  Obj 5740105.7 Dual inf 85.705639 (60)
>> Clp0006I 134  Obj 5739789.8 Dual inf 11.116202 (30)
>> Clp0006I 176  Obj 5739764.1
>> Clp0000I Optimal - objective value 5739764.1
>> Optimality Based BT: 0 improved bounds
>> Probing: 0 improved bounds
>> *NLP Heuristic: time limit reached.*
>> Cbc0013I At root node, 0 cuts changed objective from 0 to 0 in 1 passes
>> Cbc0014I Cut generator 0 (Couenne convexifier cuts) - 0 row cuts average
>> 0.0 elements, 0 column cuts (0 active)
>> Cbc0010I After 0 nodes, 1 on tree, 1e+50 best solution, best possible
>> -1.7976931e+308 (0.88 seconds)
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 1 improved bounds
>> Cbc0010I After 100 nodes, 49 on tree, 1e+50 best solution, best possible
>> 0 (12.16 seconds)
>> Cbc0010I After 200 nodes, 80 on tree, 1e+50 best solution, best possible
>> 0 (12.95 seconds)
>> Optimality Based BT: 0 improved bounds
>> Optimality Based BT: 1 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Cbc0010I After 300 nodes, 112 on tree, 1e+50 best solution, best possible
>> 0 (20.70 seconds)
>> Cbc0010I After 400 nodes, 155 on tree, 1e+50 best solution, best possible
>> 0 (21.35 seconds)
>> Cbc0010I After 500 nodes, 180 on tree, 1e+50 best solution, best possible
>> 0 (21.90 seconds)
>> Optimality Based BT: 1 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Cbc0010I After 600 nodes, 214 on tree, 1e+50 best solution, best possible
>> 0 (27.98 seconds)
>> Cbc0010I After 700 nodes, 259 on tree, 1e+50 best solution, best possible
>> 0 (28.64 seconds)
>> Cbc0010I After 800 nodes, 288 on tree, 1e+50 best solution, best possible
>> 0 (29.20 seconds)
>> Optimality Based BT: 1 improved bounds
>> Cbc0010I After 900 nodes, 314 on tree, 1e+50 best solution, best possible
>> 0 (30.21 seconds)
>> Cbc0010I After 1000 nodes, 362 on tree, 1e+50 best solution, best
>> possible 0 (30.82 seconds)
>> Cbc0010I After 1100 nodes, 388 on tree, 1e+50 best solution, best
>> possible 0 (31.41 seconds)
>> Cbc0010I After 1200 nodes, 421 on tree, 1e+50 best solution, best
>> possible 0 (32.47 seconds)
>> Cbc0010I After 1300 nodes, 458 on tree, 1e+50 best solution, best
>> possible 0 (33.08 seconds)
>> Cbc0010I After 1400 nodes, 502 on tree, 1e+50 best solution, best
>> possible 0 (34.14 seconds)
>> Cbc0010I After 1500 nodes, 524 on tree, 1e+50 best solution, best
>> possible 0 (34.68 seconds)
>> Cbc0010I After 1600 nodes, 558 on tree, 1e+50 best solution, best
>> possible 0 (35.24 seconds)
>> Cbc0010I After 1700 nodes, 596 on tree, 1e+50 best solution, best
>> possible 0 (35.76 seconds)
>> Cbc0010I After 1800 nodes, 614 on tree, 1e+50 best solution, best
>> possible 0 (36.20 seconds)
>> Cbc0010I After 1900 nodes, 650 on tree, 1e+50 best solution, best
>> possible 0 (36.92 seconds)
>> Cbc0010I After 2000 nodes, 683 on tree, 1e+50 best solution, best
>> possible 0 (37.42 seconds)
>> Cbc0010I After 2100 nodes, 703 on tree, 1e+50 best solution, best
>> possible 0 (37.97 seconds)
>> Cbc0010I After 2200 nodes, 732 on tree, 1e+50 best solution, best
>> possible 0 (38.50 seconds)
>> Cbc0010I After 2300 nodes, 770 on tree, 1e+50 best solution, best
>> possible 0 (39.04 seconds)
>> Cbc0010I After 2400 nodes, 791 on tree, 1e+50 best solution, best
>> possible 0 (40.32 seconds)
>> Cbc0010I After 2500 nodes, 834 on tree, 1e+50 best solution, best
>> possible 0 (41.12 seconds)
>> Cbc0010I After 2600 nodes, 870 on tree, 1e+50 best solution, best
>> possible 0 (41.71 seconds)
>> Cbc0010I After 2700 nodes, 906 on tree, 1e+50 best solution, best
>> possible 0 (42.27 seconds)
>> Cbc0010I After 2800 nodes, 948 on tree, 1e+50 best solution, best
>> possible 0 (42.91 seconds)
>> Cbc0010I After 2900 nodes, 970 on tree, 1e+50 best solution, best
>> possible 0 (43.44 seconds)
>> Cbc0010I After 3000 nodes, 1007 on tree, 1e+50 best solution, best
>> possible 0 (44.03 seconds)
>> Cbc0010I After 3100 nodes, 1037 on tree, 1e+50 best solution, best
>> possible 0 (44.66 seconds)
>> Cbc0010I After 3200 nodes, 1052 on tree, 1e+50 best solution, best
>> possible 0 (45.22 seconds)
>> Cbc0010I After 3300 nodes, 1095 on tree, 1e+50 best solution, best
>> possible 0 (45.74 seconds)
>> Cbc0010I After 3400 nodes, 1119 on tree, 1e+50 best solution, best
>> possible 0 (46.21 seconds)
>> Cbc0010I After 3500 nodes, 1142 on tree, 1e+50 best solution, best
>> possible 0 (46.91 seconds)
>> Cbc0010I After 3600 nodes, 1188 on tree, 1e+50 best solution, best
>> possible 0 (47.48 seconds)
>> Cbc0010I After 3700 nodes, 1212 on tree, 1e+50 best solution, best
>> possible 0 (48.04 seconds)
>> Cbc0010I After 3800 nodes, 1250 on tree, 1e+50 best solution, best
>> possible 0 (48.62 seconds)
>> Cbc0010I After 3900 nodes, 1287 on tree, 1e+50 best solution, best
>> possible 0 (49.35 seconds)
>> Cbc0010I After 4000 nodes, 1310 on tree, 1e+50 best solution, best
>> possible 0 (50.00 seconds)
>> Cbc0010I After 4100 nodes, 1345 on tree, 1e+50 best solution, best
>> possible 0 (50.54 seconds)
>> Cbc0010I After 4200 nodes, 1382 on tree, 1e+50 best solution, best
>> possible 0 (51.16 seconds)
>> Cbc0010I After 4300 nodes, 1415 on tree, 1e+50 best solution, best
>> possible 0 (51.73 seconds)
>> Cbc0010I After 4400 nodes, 1456 on tree, 1e+50 best solution, best
>> possible 0 (52.40 seconds)
>> Cbc0010I After 4500 nodes, 1476 on tree, 1e+50 best solution, best
>> possible 0 (52.94 seconds)
>> Cbc0010I After 4600 nodes, 1521 on tree, 1e+50 best solution, best
>> possible 0 (53.58 seconds)
>> Cbc0010I After 4700 nodes, 1545 on tree, 1e+50 best solution, best
>> possible 0 (54.18 seconds)
>> Cbc0010I After 4800 nodes, 1570 on tree, 1e+50 best solution, best
>> possible 0 (54.73 seconds)
>> Cbc0010I After 4900 nodes, 1609 on tree, 1e+50 best solution, best
>> possible 0 (55.41 seconds)
>> Cbc0010I After 5000 nodes, 1632 on tree, 1e+50 best solution, best
>> possible 0 (55.93 seconds)
>> Cbc0010I After 5100 nodes, 1675 on tree, 1e+50 best solution, best
>> possible 0 (56.58 seconds)
>> Cbc0010I After 5200 nodes, 1697 on tree, 1e+50 best solution, best
>> possible 0 (57.18 seconds)
>> Cbc0010I After 5300 nodes, 1742 on tree, 1e+50 best solution, best
>> possible 0 (57.82 seconds)
>> Cbc0010I After 5400 nodes, 1772 on tree, 1e+50 best solution, best
>> possible 0 (58.50 seconds)
>> Cbc0010I After 5500 nodes, 1805 on tree, 1e+50 best solution, best
>> possible 0 (59.12 seconds)
>> Cbc0010I After 5600 nodes, 1823 on tree, 1e+50 best solution, best
>> possible 0 (59.68 seconds)
>> Cbc0010I After 5700 nodes, 1864 on tree, 1e+50 best solution, best
>> possible 0 (60.28 seconds)
>> Cbc0010I After 5800 nodes, 1894 on tree, 1e+50 best solution, best
>> possible 0 (60.90 seconds)
>> Cbc0010I After 5900 nodes, 1920 on tree, 1e+50 best solution, best
>> possible 0 (61.46 seconds)
>> Cbc0010I After 6000 nodes, 1951 on tree, 1e+50 best solution, best
>> possible 0 (62.11 seconds)
>> Cbc0010I After 6100 nodes, 1970 on tree, 1e+50 best solution, best
>> possible 0 (62.68 seconds)
>> Cbc0010I After 6200 nodes, 2010 on tree, 1e+50 best solution, best
>> possible 0 (63.22 seconds)
>> Cbc0010I After 6300 nodes, 2037 on tree, 1e+50 best solution, best
>> possible 0 (63.79 seconds)
>> Cbc0010I After 6400 nodes, 2073 on tree, 1e+50 best solution, best
>> possible 0 (64.39 seconds)
>> Cbc0010I After 6500 nodes, 2100 on tree, 1e+50 best solution, best
>> possible 0 (65.02 seconds)
>> Cbc0010I After 6600 nodes, 2141 on tree, 1e+50 best solution, best
>> possible 0 (65.67 seconds)
>> Cbc0010I After 6700 nodes, 2177 on tree, 1e+50 best solution, best
>> possible 0 (66.32 seconds)
>> Cbc0010I After 6800 nodes, 2203 on tree, 1e+50 best solution, best
>> possible 0 (66.94 seconds)
>> Cbc0010I After 6900 nodes, 2229 on tree, 1e+50 best solution, best
>> possible 0 (67.48 seconds)
>> Cbc0010I After 7000 nodes, 2266 on tree, 1e+50 best solution, best
>> possible 0 (68.08 seconds)
>> Cbc0010I After 7100 nodes, 2282 on tree, 1e+50 best solution, best
>> possible 0 (68.62 seconds)
>> Cbc0010I After 7200 nodes, 2317 on tree, 1e+50 best solution, best
>> possible 0 (69.24 seconds)
>> Cbc0010I After 7300 nodes, 2346 on tree, 1e+50 best solution, best
>> possible 0 (69.87 seconds)
>> Cbc0010I After 7400 nodes, 2381 on tree, 1e+50 best solution, best
>> possible 0 (70.46 seconds)
>> Cbc0010I After 7500 nodes, 2406 on tree, 1e+50 best solution, best
>> possible 0 (71.06 seconds)
>> Cbc0010I After 7600 nodes, 2447 on tree, 1e+50 best solution, best
>> possible 0 (71.72 seconds)
>> Cbc0010I After 7700 nodes, 2467 on tree, 1e+50 best solution, best
>> possible 0 (72.25 seconds)
>> Cbc0010I After 7800 nodes, 2505 on tree, 1e+50 best solution, best
>> possible 0 (72.89 seconds)
>> Cbc0010I After 7900 nodes, 2541 on tree, 1e+50 best solution, best
>> possible 0 (73.48 seconds)
>> Cbc0010I After 8000 nodes, 2569 on tree, 1e+50 best solution, best
>> possible 0 (74.10 seconds)
>> Cbc0010I After 8100 nodes, 2601 on tree, 1e+50 best solution, best
>> possible 0 (74.70 seconds)
>> Cbc0010I After 8200 nodes, 2629 on tree, 1e+50 best solution, best
>> possible 0 (75.25 seconds)
>> Cbc0010I After 8300 nodes, 2668 on tree, 1e+50 best solution, best
>> possible 0 (75.92 seconds)
>> Cbc0010I After 8400 nodes, 2698 on tree, 1e+50 best solution, best
>> possible 0 (76.45 seconds)
>> Cbc0010I After 8500 nodes, 2736 on tree, 1e+50 best solution, best
>> possible 0 (77.06 seconds)
>> Cbc0010I After 8600 nodes, 2762 on tree, 1e+50 best solution, best
>> possible 0 (77.76 seconds)
>> Cbc0010I After 8700 nodes, 2801 on tree, 1e+50 best solution, best
>> possible 0 (78.46 seconds)
>> Cbc0010I After 8800 nodes, 2825 on tree, 1e+50 best solution, best
>> possible 0 (79.02 seconds)
>> Cbc0010I After 8900 nodes, 2860 on tree, 1e+50 best solution, best
>> possible 0 (79.74 seconds)
>> Cbc0010I After 9000 nodes, 2890 on tree, 1e+50 best solution, best
>> possible 0 (80.33 seconds)
>> Cbc0010I After 9100 nodes, 2915 on tree, 1e+50 best solution, best
>> possible 0 (80.94 seconds)
>> Cbc0010I After 9200 nodes, 2943 on tree, 1e+50 best solution, best
>> possible 0 (81.55 seconds)
>> Cbc0010I After 9300 nodes, 2976 on tree, 1e+50 best solution, best
>> possible 0 (82.18 seconds)
>> Cbc0010I After 9400 nodes, 3007 on tree, 1e+50 best solution, best
>> possible 0 (82.84 seconds)
>> Cbc0010I After 9500 nodes, 3041 on tree, 1e+50 best solution, best
>> possible 0 (83.46 seconds)
>> Cbc0010I After 9600 nodes, 3080 on tree, 1e+50 best solution, best
>> possible 0 (84.21 seconds)
>> Cbc0010I After 9700 nodes, 3107 on tree, 1e+50 best solution, best
>> possible 0 (84.81 seconds)
>> Cbc0010I After 9800 nodes, 3142 on tree, 1e+50 best solution, best
>> possible 0 (85.55 seconds)
>> Cbc0010I After 9900 nodes, 3172 on tree, 1e+50 best solution, best
>> possible 0 (86.20 seconds)
>> Cbc0010I After 10000 nodes, 3206 on tree, 1e+50 best solution, best
>> possible 0 (86.90 seconds)
>> Cbc0010I After 10100 nodes, 3236 on tree, 1e+50 best solution, best
>> possible 0 (87.53 seconds)
>> Cbc0010I After 10200 nodes, 3263 on tree, 1e+50 best solution, best
>> possible 0 (88.17 seconds)
>> Cbc0010I After 10300 nodes, 3299 on tree, 1e+50 best solution, best
>> possible 0 (88.94 seconds)
>> Cbc0010I After 10400 nodes, 3320 on tree, 1e+50 best solution, best
>> possible 0 (89.55 seconds)
>> Cbc0010I After 10500 nodes, 3346 on tree, 1e+50 best solution, best
>> possible 0 (90.20 seconds)
>> Cbc0010I After 10600 nodes, 3380 on tree, 1e+50 best solution, best
>> possible 0 (90.84 seconds)
>> Cbc0010I After 10700 nodes, 3409 on tree, 1e+50 best solution, best
>> possible 0 (91.42 seconds)
>> Cbc0010I After 10800 nodes, 3435 on tree, 1e+50 best solution, best
>> possible 0 (92.02 seconds)
>> Cbc0010I After 10900 nodes, 3464 on tree, 1e+50 best solution, best
>> possible 0 (92.76 seconds)
>> Cbc0010I After 11000 nodes, 3500 on tree, 1e+50 best solution, best
>> possible 0 (93.47 seconds)
>> Cbc0010I After 11100 nodes, 3527 on tree, 1e+50 best solution, best
>> possible 0 (94.12 seconds)
>> Cbc0010I After 11200 nodes, 3560 on tree, 1e+50 best solution, best
>> possible 0 (94.86 seconds)
>> Cbc0010I After 11300 nodes, 3590 on tree, 1e+50 best solution, best
>> possible 0 (95.53 seconds)
>> Cbc0010I After 11400 nodes, 3622 on tree, 1e+50 best solution, best
>> possible 0 (96.08 seconds)
>> Cbc0010I After 11500 nodes, 3641 on tree, 1e+50 best solution, best
>> possible 0 (96.62 seconds)
>> Cbc0010I After 11600 nodes, 3677 on tree, 1e+50 best solution, best
>> possible 0 (97.32 seconds)
>> Cbc0010I After 11700 nodes, 3706 on tree, 1e+50 best solution, best
>> possible 0 (97.92 seconds)
>> Cbc0010I After 11800 nodes, 3743 on tree, 1e+50 best solution, best
>> possible 0 (98.71 seconds)
>> Cbc0010I After 11900 nodes, 3777 on tree, 1e+50 best solution, best
>> possible 0 (99.34 seconds)
>> Cbc0010I After 12000 nodes, 3812 on tree, 1e+50 best solution, best
>> possible 0 (100.10 seconds)
>> Cbc0010I After 12100 nodes, 3842 on tree, 1e+50 best solution, best
>> possible 0 (100.74 seconds)
>> Cbc0010I After 12200 nodes, 3878 on tree, 1e+50 best solution, best
>> possible 0 (101.45 seconds)
>> Cbc0010I After 12300 nodes, 3908 on tree, 1e+50 best solution, best
>> possible 0 (102.14 seconds)
>> Cbc0010I After 12400 nodes, 3934 on tree, 1e+50 best solution, best
>> possible 0 (102.70 seconds)
>> Cbc0010I After 12500 nodes, 3962 on tree, 1e+50 best solution, best
>> possible 0 (103.57 seconds)
>> Cbc0010I After 12600 nodes, 3998 on tree, 1e+50 best solution, best
>> possible 0 (104.24 seconds)
>> Cbc0010I After 12700 nodes, 4032 on tree, 1e+50 best solution, best
>> possible 0 (104.92 seconds)
>> Cbc0010I After 12800 nodes, 4058 on tree, 1e+50 best solution, best
>> possible 0 (105.61 seconds)
>> Cbc0010I After 12900 nodes, 4084 on tree, 1e+50 best solution, best
>> possible 0 (106.24 seconds)
>> Cbc0010I After 13000 nodes, 4120 on tree, 1e+50 best solution, best
>> possible 0 (106.94 seconds)
>> Cbc0010I After 13100 nodes, 4140 on tree, 1e+50 best solution, best
>> possible 0 (107.50 seconds)
>> Cbc0010I After 13200 nodes, 4170 on tree, 1e+50 best solution, best
>> possible 0 (108.17 seconds)
>> Cbc0010I After 13300 nodes, 4200 on tree, 1e+50 best solution, best
>> possible 0 (108.84 seconds)
>> Cbc0010I After 13400 nodes, 4222 on tree, 1e+50 best solution, best
>> possible 0 (109.41 seconds)
>> Cbc0010I After 13500 nodes, 4249 on tree, 1e+50 best solution, best
>> possible 0 (110.04 seconds)
>> Cbc0010I After 13600 nodes, 4278 on tree, 1e+50 best solution, best
>> possible 0 (110.66 seconds)
>> Cbc0010I After 13700 nodes, 4304 on tree, 1e+50 best solution, best
>> possible 0 (111.33 seconds)
>> Cbc0010I After 13800 nodes, 4337 on tree, 1e+50 best solution, best
>> possible 0 (111.98 seconds)
>> Cbc0010I After 13900 nodes, 4359 on tree, 1e+50 best solution, best
>> possible 0 (112.58 seconds)
>> Cbc0010I After 14000 nodes, 4390 on tree, 1e+50 best solution, best
>> possible 0 (113.21 seconds)
>> Cbc0010I After 14100 nodes, 4415 on tree, 1e+50 best solution, best
>> possible 0 (113.82 seconds)
>> Cbc0010I After 14200 nodes, 4438 on tree, 1e+50 best solution, best
>> possible 0 (114.42 seconds)
>> Cbc0010I After 14300 nodes, 4468 on tree, 1e+50 best solution, best
>> possible 0 (115.07 seconds)
>> Cbc0010I After 14400 nodes, 4496 on tree, 1e+50 best solution, best
>> possible 0 (115.68 seconds)
>> Cbc0010I After 14500 nodes, 4518 on tree, 1e+50 best solution, best
>> possible 0 (116.22 seconds)
>> Cbc0010I After 14600 nodes, 4541 on tree, 1e+50 best solution, best
>> possible 0 (116.77 seconds)
>> Cbc0010I After 14700 nodes, 4569 on tree, 1e+50 best solution, best
>> possible 0 (117.33 seconds)
>> Cbc0010I After 14800 nodes, 4597 on tree, 1e+50 best solution, best
>> possible 0 (117.93 seconds)
>> Cbc0010I After 14900 nodes, 4613 on tree, 1e+50 best solution, best
>> possible 0 (118.48 seconds)
>> Cbc0010I After 15000 nodes, 4638 on tree, 1e+50 best solution, best
>> possible 0 (119.29 seconds)
>> Cbc0010I After 15100 nodes, 4661 on tree, 1e+50 best solution, best
>> possible 0 (119.80 seconds)
>> Cbc0010I After 15200 nodes, 4685 on tree, 1e+50 best solution, best
>> possible 0 (120.36 seconds)
>> Cbc0010I After 15300 nodes, 4709 on tree, 1e+50 best solution, best
>> possible 0 (120.90 seconds)
>> Cbc0010I After 15400 nodes, 4733 on tree, 1e+50 best solution, best
>> possible 0 (121.44 seconds)
>> Cbc0010I After 15500 nodes, 4758 on tree, 1e+50 best solution, best
>> possible 0 (121.97 seconds)
>> Cbc0010I After 15600 nodes, 4783 on tree, 1e+50 best solution, best
>> possible 0 (122.50 seconds)
>> Cbc0010I After 15700 nodes, 4799 on tree, 1e+50 best solution, best
>> possible 0 (123.00 seconds)
>> Cbc0010I After 15800 nodes, 4826 on tree, 1e+50 best solution, best
>> possible 0 (123.54 seconds)
>> Cbc0010I After 15900 nodes, 4852 on tree, 1e+50 best solution, best
>> possible 0 (124.08 seconds)
>> Optimality Based BT: 1 improved bounds
>> Optimality Based BT: 0 improved bounds
>> Cbc0010I After 16000 nodes, 4879 on tree, 1e+50 best solution, best
>> possible 0 (126.41 seconds)
>> Cbc0010I After 16100 nodes, 4917 on tree, 1e+50 best solution, best
>> possible 0 (126.96 seconds)
>> Optimality Based BT: 1 improved bounds
>> Optimality Based BT: 1 improved bounds
>> Cbc0010I After 16200 nodes, 4950 on tree, 1e+50 best solution, best
>> possible 0 (128.80 seconds)
>> Cbc0010I After 16300 nodes, 4983 on tree, 1e+50 best solution, best
>> possible 0 (129.40 seconds)
>> Cbc0010I After 16400 nodes, 5003 on tree, 1e+50 best solution, best
>> possible 0 (129.96 seconds)
>> Optimality Based BT: 0 improved bounds
>> Cbc0010I After 16500 nodes, 5038 on tree, 1e+50 best solution, best
>> possible 0 (132.18 seconds)
>> Cbc0010I After 16600 nodes, 5074 on tree, 1e+50 best solution, best
>> possible 0 (132.78 seconds)
>> Cbc0010I After 16700 nodes, 5099 on tree, 1e+50 best solution, best
>> possible 0 (133.82 seconds)
>> Cbc0010I After 16800 nodes, 5136 on tree, 1e+50 best solution, best
>> possible 0 (134.33 seconds)
>> Cbc0010I After 16900 nodes, 5182 on tree, 1e+50 best solution, best
>> possible 0 (135.08 seconds)
>> Cbc0010I After 17000 nodes, 5224 on tree, 1e+50 best solution, best
>> possible 0 (135.83 seconds)
>> Cbc0010I After 17100 nodes, 5251 on tree, 1e+50 best solution, best
>> possible 0 (136.39 seconds)
>> Cbc0010I After 17200 nodes, 5268 on tree, 1e+50 best solution, best
>> possible 0 (136.87 seconds)
>> Cbc0010I After 17300 nodes, 5310 on tree, 1e+50 best solution, best
>> possible 0 (137.41 seconds)
>> Cbc0010I After 17400 nodes, 5331 on tree, 1e+50 best solution, best
>> possible 0 (137.93 seconds)
>> Cbc0010I After 17500 nodes, 5375 on tree, 1e+50 best solution, best
>> possible 0 (138.60 seconds)
>> Cbc0010I After 17600 nodes, 5401 on tree, 1e+50 best solution, best
>> possible 0 (139.19 seconds)
>> Cbc0010I After 17700 nodes, 5431 on tree, 1e+50 best solution, best
>> possible 0 (139.73 seconds)
>> Cbc0010I After 17800 nodes, 5470 on tree, 1e+50 best solution, best
>> possible 0 (140.33 seconds)
>> Cbc0010I After 17900 nodes, 5506 on tree, 1e+50 best solution, best
>> possible 0 (140.88 seconds)
>> Cbc0010I After 18000 nodes, 5537 on tree, 1e+50 best solution, best
>> possible 0 (141.44 seconds)
>> Cbc0010I After 18100 nodes, 5582 on tree, 1e+50 best solution, best
>> possible 0 (142.03 seconds)
>> Cbc0010I After 18200 nodes, 5610 on tree, 1e+50 best solution, best
>> possible 0 (142.62 seconds)
>> Cbc0010I After 18300 nodes, 5636 on tree, 1e+50 best solution, best
>> possible 0 (143.18 seconds)
>> Cbc0010I After 18400 nodes, 5673 on tree, 1e+50 best solution, best
>> possible 0 (144.00 seconds)
>> Cbc0010I After 18500 nodes, 5695 on tree, 1e+50 best solution, best
>> possible 0 (144.71 seconds)
>> Cbc0010I After 18600 nodes, 5720 on tree, 1e+50 best solution, best
>> possible 0 (145.24 seconds)
>> Cbc0010I After 18700 nodes, 5751 on tree, 1e+50 best solution, best
>> possible 0 (145.86 seconds)
>> Cbc0010I After 18800 nodes, 5770 on tree, 1e+50 best solution, best
>> possible 0 (146.30 seconds)
>> Cbc0010I After 18900 nodes, 5802 on tree, 1e+50 best solution, best
>> possible 0 (146.88 seconds)
>> Cbc0010I After 19000 nodes, 5826 on tree, 1e+50 best solution, best
>> possible 0 (147.54 seconds)
>> Cbc0010I After 19100 nodes, 5855 on tree, 1e+50 best solution, best
>> possible 0 (148.07 seconds)
>> Cbc0010I After 19200 nodes, 5888 on tree, 1e+50 best solution, best
>> possible 0 (148.64 seconds)
>> Cbc0010I After 19300 nodes, 5923 on tree, 1e+50 best solution, best
>> possible 0 (149.10 seconds)
>> Cbc0010I After 19400 nodes, 5953 on tree, 1e+50 best solution, best
>> possible 0 (149.67 seconds)
>> Cbc0010I After 19500 nodes, 5992 on tree, 1e+50 best solution, best
>> possible 0 (150.29 seconds)
>> Cbc0010I After 19600 nodes, 6025 on tree, 1e+50 best solution, best
>> possible 0 (150.84 seconds)
>> Cbc0010I After 19700 nodes, 6046 on tree, 1e+50 best solution, best
>> possible 0 (151.33 seconds)
>> Cbc0010I After 19800 nodes, 6089 on tree, 1e+50 best solution, best
>> possible 0 (151.96 seconds)
>> Cbc0010I After 19900 nodes, 6108 on tree, 1e+50 best solution, best
>> possible 0 (152.53 seconds)
>> Cbc0010I After 20000 nodes, 6126 on tree, 1e+50 best solution, best
>> possible 0 (153.05 seconds)
>> Cbc0004I Integer solution of 0 found after 579240 iterations and 20044
>> nodes (153.27 seconds)
>> Cbc0001I Search completed - best objective 0, took 579240 iterations and
>> 20044 nodes (153.58 seconds)
>> Cbc0035I Maximum depth 190, 0 variables fixed on reduced cost
>>   "Finished"
>>
>> Linearization cuts added at root node:        467
>> Linearization cuts added in total:            467  (separation time: 0s)
>> Total solve time:                         153.592s (153.592s in
>> branch-and-bound)
>> Lower bound:                                    0
>> Upper bound:                                    0  (gap: 0.00%)
>> Branch-and-bound nodes:                     20044
>> Stats: /tmp/tmpZ1I5T7.pyomo.nl  251 [var]   80 [int]  340 [con]  181
>> [aux]    467 [root]      467 [tot]      0 [sep]  153.592 [time]  153.592
>> [bb]         0.000000e+00 [lower]         0.000000e+00 [upper]   20044
>> [nodes]
>> Performance of                           FBBT:       6.948s,    16443
>> runs. fix:   0.243451 shrnk:    2.40865 ubd:   0.661224 2ubd:         60
>> infeas:          0
>>
>>
>> It seems like the artificial cutoff is the same as that from ANALYSIS
>> TEST. The first case solves the problem at the root node by heuristic.
>> However, the second one doesn't. Could someone figure out why 20044 more
>> nodes are explored after giving the cutoff value artificially?  Thanks!
>>
>> Regards,
>> Suyun
>>
>>
>> _______________________________________________
>> Couenne mailing list
>> Couenne at list.coin-or.org
>> https://list.coin-or.org/mailman/listinfo/couenne
>>
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/couenne/attachments/20180330/5b3f8351/attachment-0001.html>


More information about the Couenne mailing list