[Couenne] How does the option art_cutff really work?
Pietro Belotti
petr.7b6 at gmail.com
Mon Apr 2 13:17:08 EDT 2018
Hi Suyun,
art_cutoff is used such that any solution with value >= art_cutoff is not
even tested, therefore any solution is only tested if strictly better than
art_cutoff. This option was introduced to help bound reduction, but clearly
may exclude several solutions. Setting art_cutoff to a larger value should
help Couenne find the feasible solution as it is done when art_cutoff is
not specified.
Since your objective function is integer, I would suggest setting
art_cutoff to 1.
Regards,
Pietro
On Fri, Mar 30, 2018 at 8:17 PM, Suyun Liu <sul217 at lehigh.edu> wrote:
> 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/20180402/f6ff1d9e/attachment-0001.html>
More information about the Couenne
mailing list