[Couenne] incorrect solution

[François Dionne]

Dear mailing list,

I downloaded the stable branch of Couenne by SVN on 31 march 2009,
compiled it with g++ 4.2.4 and ran it on Ubuntu Linux Hardy Heron.
I wrote my model in Ampl and generated some test data.

Here's the problem: when I solve the problem, Couenne reports an optimal
solution but when I read the value of the variables, one of the integer
variables is given a value below its lower bound, in violation of the
problem's constraints.

You will find a stub named mymodel.nl attached to this message.

Goodbye, have a nice day.

-------------- next part --------------
g9 5 1 0 98 20090209 0 4 0 240	# problem mymodel
 75 98 1 0 62	# vars, constraints, objectives, ranges, eqns
 45 0	# nonlinear constraints, objectives
 0 0	# network constraints: nonlinear, linear
 44 0 0	# nonlinear vars in constraints, objectives, both
 0 0 0 1	# linear network variables; functions; arith, flags
 0 4 0 2 0	# discrete variables: binary, integer, nonlinear (b,c,o)
 294 1	# nonzeros in Jacobian, gradients
 0 0	# max name lengths: constraints, variables
 0 0 0 0 0	# common exprs: b,c,o,c1,o1
C0
o54
4
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n17880
v13
o2
o0
n1
v0
o0
n-1063
v16
o16
o2
o43
o0
n1
v0
o0
n16817
v18
o16
o2
v1
o1
v13
o3
v42
n2
C1
o54
4
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n16817
v18
o2
o0
n1
v0
o0
n-1063
v21
o16
o2
o43
o0
n1
v0
o0
n15754
v23
o16
o2
v2
o1
v18
o3
v42
n2
C2
o54
4
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n15754
v23
o2
o0
n1
v0
o0
n-1063
v26
o16
o2
o43
o0
n1
v0
o0
n14691
v28
o16
o2
v3
o1
v23
o3
v42
n2
C3
o54
5
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
v14
v15
o2
o0
n1
v0
o0
n-169
v17
o16
o2
o43
o0
n1
v0
o0
v19
v20
o16
o2
v4
o0
n-84.5
v14
o16
o2
v7
o1
v15
o3
v43
n2
C4
o54
5
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
v19
v20
o2
o0
n1
v0
o0
n-169
v22
o16
o2
o43
o0
n1
v0
o0
v24
v25
o16
o2
v5
o0
n-84.5
v19
o16
o2
v8
o1
v20
o3
v43
n2
C5
o54
5
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
v24
v25
o2
o0
n1
v0
o0
n-169
v27
o16
o2
o43
o0
n1
v0
o0
v29
v30
o16
o2
v6
o0
n-84.5
v24
o16
o2
v9
o1
v25
o3
v43
n2
C6
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C7
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C8
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C9
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C10
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C11
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C12
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C13
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C14
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C15
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C16
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C17
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
C18
o16
o5
o43
o0
n1
v0
n2
C19
o16
o5
o43
o0
n1
v0
n2
C20
o16
o5
o43
o0
n1
v0
n2
C21
o16
o5
o43
o0
n1
v0
n2
C22
o16
o5
o43
o0
n1
v0
n2
C23
o16
o5
o43
o0
n1
v0
n2
C24
o16
o5
o43
o0
n1
v0
n2
C25
o16
o5
o43
o0
n1
v0
n2
C26
o16
o5
o43
o0
n1
v0
n2
C27
o16
o5
o43
o0
n1
v0
n2
C28
o16
o5
o43
o0
n1
v0
n2
C29
o16
o5
o43
o0
n1
v0
n2
C30
o54
6
o2
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
o0
n327938
v31
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n-35760
v32
o2
o0
n1
v0
o0
n2126
v33
o16
o2
o5
o43
o0
n1
v0
n2
o0
n293241
v34
o16
o2
o43
o0
n1
v0
o0
n-33634
v35
o16
o2
v10
o0
o1
v31
v13
o3
v42
n3
C31
o54
6
o2
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
o0
n293241
v34
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n-33634
v35
o2
o0
n1
v0
o0
n2126
v36
o16
o2
o5
o43
o0
n1
v0
n2
o0
n260670
v37
o16
o2
o43
o0
n1
v0
o0
n-31508
v38
o16
o2
v11
o0
o1
v34
v18
o3
v42
n3
C32
o54
6
o2
o2
o0
n1
v0
o5
o43
o0
n1
v0
n2
o0
n260670
v37
o2
o2
o0
n1
v0
o43
o0
n1
v0
o0
n-31508
v38
o2
o0
n1
v0
o0
n2126
v39
o16
o2
o5
o43
o0
n1
v0
n2
o0
n230225
v40
o16
o2
o43
o0
n1
v0
o0
n-29382
v41
o16
o2
v12
o0
o1
v37
v23
o3
v42
n3
C33
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C34
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C35
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C36
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C37
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C38
o16
o2
o0
n1
v0
o5
o43
o0
n1
v0
n3
C39
o16
o5
o43
o0
n1
v0
n3
C40
o16
o5
o43
o0
n1
v0
n3
C41
o16
o5
o43
o0
n1
v0
n3
C42
o16
o5
o43
o0
n1
v0
n3
C43
o16
o5
o43
o0
n1
v0
n3
C44
o16
o5
o43
o0
n1
v0
n3
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
O0 1
n0
r
4 -1063
4 -1063
4 -1063
4 -169
4 -169
4 -169
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 0
1 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
4 2126
4 2126
4 2126
1 0
1 0
1 0
1 0
1 0
1 0
2 0
2 0
2 0
2 0
2 0
2 0
4 0
4 763
4 2004
4 -6
4 -762
4 -465
4 0
4 2704
4 0
4 0
4 2704
4 0
4 0
4 2704
4 0
4 0
4 2704
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 0
4 169
4 0
4 0
4 338
4 0
4 0
4 507
4 0
4 0
4 0
4 0
4 0
b
0 0.05 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
2 -1062
0 -1378 -728
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 -3266 -2290
0 -5451 -4475
0 -25 -13
0 1 489
k74
45
48
51
54
57
60
63
66
69
72
75
78
81
84
86
88
90
92
96
99
102
105
108
112
115
118
121
124
126
128
130
132
134
136
139
142
145
148
151
154
156
158
191
205
207
209
211
214
217
220
223
226
229
231
233
235
239
241
243
247
249
251
253
257
259
261
263
267
269
271
273
281
286
290
J0 8
0 0
1 0
13 0
16 0
18 0
21 -1
42 0
47 -17348.5
J1 8
0 0
2 0
18 0
21 0
23 0
26 -1
42 0
48 -16285.5
J2 8
0 0
3 0
23 0
26 0
28 0
42 0
49 -15222.5
53 -1
J3 10
0 0
4 0
7 0
14 0
15 0
17 0
19 0
20 0
22 -1
43 0
J4 10
0 0
5 0
8 0
19 0
20 0
22 0
24 0
25 0
27 -1
43 0
J5 10
0 0
6 0
9 0
24 0
25 0
27 0
29 0
30 0
43 0
54 -1
J6 2
0 0
47 1
J7 2
0 0
48 1
J8 2
0 0
49 1
J9 2
0 0
1 1
J10 2
0 0
2 1
J11 2
0 0
3 1
J12 2
0 0
4 1
J13 2
0 0
5 1
J14 2
0 0
6 1
J15 2
0 0
7 1
J16 2
0 0
8 1
J17 2
0 0
9 1
J18 2
0 0
47 1
J19 2
0 0
48 1
J20 2
0 0
49 1
J21 2
0 0
1 1
J22 2
0 0
2 1
J23 2
0 0
3 1
J24 2
0 0
4 1
J25 2
0 0
5 1
J26 2
0 0
6 1
J27 2
0 0
7 1
J28 2
0 0
8 1
J29 2
0 0
9 1
J30 11
0 0
10 0
13 0
31 0
32 0
33 0
34 0
35 0
36 -1
42 0
50 -310412.3333333333
J31 11
0 0
11 0
18 0
34 0
35 0
36 0
37 0
38 0
39 -1
42 0
51 -276778.3333333333
J32 11
0 0
12 0
23 0
37 0
38 0
39 0
40 0
41 0
42 0
52 -245270.33333333334
55 -1
J33 2
0 0
50 1
J34 2
0 0
51 1
J35 2
0 0
52 1
J36 2
0 0
10 1
J37 2
0 0
11 1
J38 2
0 0
12 1
J39 2
0 0
50 1
J40 2
0 0
51 1
J41 2
0 0
52 1
J42 2
0 0
10 1
J43 2
0 0
11 1
J44 2
0 0
12 1
J45 2
44 1
74 -1
J46 2
45 1
74 -1
J47 2
46 1
74 -1
J48 3
42 1
44 2
74 1
J49 2
45 2
71 1
J50 2
46 2
72 1
J51 3
13 1
42 -30
56 1
J52 2
14 1
58 1
J53 2
15 1
43 -16
J54 3
18 1
42 -30
59 1
J55 2
19 1
61 1
J56 3
20 1
43 -16
62 1
J57 3
23 1
42 -30
63 1
J58 2
24 1
65 1
J59 3
25 1
43 -16
66 1
J60 3
28 1
42 -30
67 1
J61 2
29 1
69 1
J62 3
30 1
43 -16
70 1
J63 2
16 1
42 1
J64 2
17 1
43 1
J65 2
21 1
42 1
J66 2
22 1
43 1
J67 2
26 1
42 1
J68 2
27 1
43 1
J69 2
42 1
53 1
J70 2
43 1
54 1
J71 4
31 1
42 -900
56 60
57 -1
J72 4
34 1
42 -900
59 60
60 -1
J73 4
37 1
42 -900
63 60
64 -1
J74 4
40 1
42 -900
67 60
68 -1
J75 3
32 1
42 60
56 -2
J76 3
35 1
42 60
59 -2
J77 3
38 1
42 60
63 -2
J78 3
41 1
42 60
67 -2
J79 2
33 1
42 -2
J80 2
36 1
42 -2
J81 2
39 1
42 -2
J82 2
42 -2
55 1
J83 2
56 1
71 -1
J84 2
58 1
73 -1
J85 3
42 -1
59 1
71 -1
J86 2
61 1
73 -1
J87 2
43 -1
62 1
J88 3
42 -2
63 1
71 -1
J89 2
65 1
73 -1
J90 2
43 -2
66 1
J91 3
42 -3
67 1
71 -1
J92 2
69 1
73 -1
J93 2
43 -3
70 1
J94 2
57 1
72 -1
J95 4
42 -1
60 1
71 -2
72 -1
J96 4
42 -4
64 1
71 -4
72 -1
J97 4
42 -9
68 1
71 -6
72 -1
G0 1
0 1