[Scip] Problem when reading debug solution

Jana Kutscheid jkutscheid at web.de
Tue Apr 29 17:04:59 CEST 2014


Hi SCIP users!

I got a strange problem when I try to read a debug solution.

My debug solution (attached file testsolrelax) is is slightly modified 
version of a solution which I got from SCIP before.

When I read it as a debug solution only 5 out of 51 variables get 
recognized.

***** debug: reading solution file <testsolrelax>
***** debug: read 51 non-zero entries (5 variables found)

I made some additional checks (see attached file output).
I printed the names of the variables which are found/not found in 
scip/debug.c and afterwards the variables I get when I call 
SCIPgetVars(...). I also printed the pointer to the scip instance to 
make sure it's the same.

The not found variables appear with the same name, so I don't understand 
why they are not found when constructing the debug solution. The 5 
variables which are found are the the first in the solution file...

Before I get even more confused: does anyone have an idea what I might 
have missed?

Thanks,
Jana
-------------- next part --------------
objective value:                                  510
x#1#6#1#1                                           1 	(obj:20)
x#2#1#1#1                                           1 	(obj:20)
x#3#2#1#1                                           1 	(obj:30)
x#4#3#1#1                                           1 	(obj:70)
x#5#4#1#1                                           1 	(obj:30)
x#1#4#1#3                                           1 	(obj:50)
x#2#1#1#3                                           1 	(obj:20)
x#3#2#1#3                                           1 	(obj:30)
x#4#6#1#3                                           1 	(obj:30)
x#5#3#1#3                                           1 	(obj:40)
x#1#6#1#5                                           1 	(obj:20)
x#2#1#1#5                                           1 	(obj:20)
x#3#2#1#5                                           1 	(obj:30)
x#4#3#1#5                                           1 	(obj:70)
x#5#4#1#5                                           1 	(obj:30)
t#1#A1_c#1                                          1 	(obj:0)
t#1#A1_a#3                                          1 	(obj:0)
t#1#A1_b#5                                          1 	(obj:0)
h#1#A1_a#1                                          1 	(obj:0)
h#1#A1_b#1                                          1 	(obj:0)
h#1#A1_c#1                                          1 	(obj:0)
t#5#N1_b#1                                          1 	(obj:0)
t#5#N1_a#3                                          1 	(obj:0)
t#5#N1_c#5                                          1 	(obj:0)
h#5#N1_a#1                                          1 	(obj:0)
h#5#N1_b#1                                          1 	(obj:0)
h#5#N1_c#1                                          1 	(obj:0)
t#2#B1_b#1                                          1 	(obj:0)
t#2#B1_c#3                                          1 	(obj:0)
t#2#B1_a#5                                          1 	(obj:0)
h#2#B1_a#1                                          1 	(obj:0)
h#2#B1_b#1                                          1 	(obj:0)
h#2#B1_c#1                                          1 	(obj:0)
t#2#B2_a#1                                          1 	(obj:0)
t#2#B2_b#3                                          1 	(obj:0)
t#2#B2_c#5                                          1 	(obj:0)
h#2#B2_a#1                                          1 	(obj:0)
h#2#B2_b#1                                          1 	(obj:0)
h#2#B2_c#1                                          1 	(obj:0)
t#3#C1_a#1                                          1 	(obj:0)
t#3#C1_b#3                                          1 	(obj:0)
t#3#C1_c#5                                          1 	(obj:0)
h#3#C1_a#1                                          1 	(obj:0)
h#3#C1_b#1                                          1 	(obj:0)
h#3#C1_c#1                                          1 	(obj:0)
t#4#D1_a#1                                          1 	(obj:0)
t#4#D1_b#3                                          1 	(obj:0)
t#4#D1_c#5                                          1 	(obj:0)
h#4#D1_a#1                                          1 	(obj:0)
h#4#D1_b#1                                          1 	(obj:0)
h#4#D1_c#1                                          1 	(obj:0)
-------------- next part --------------
SCIP version 3.1.0 [precision: 8 byte] [memory: block] [mode: debug] [LP solver: SoPlex 2.0.0] [GitHash: 577ee45]
Copyright (c) 2002-2014 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)

create problem
=============
***** debug: reading solution file <testsolrelax>
h#1#A1_a#1 not found
h#1#A1_b#1 not found
h#1#A1_c#1 not found
h#2#B1_a#1 not found
h#2#B1_b#1 not found
h#2#B1_c#1 not found
h#2#B2_a#1 not found
h#2#B2_b#1 not found
h#2#B2_c#1 not found
h#3#C1_a#1 not found
h#3#C1_b#1 not found
h#3#C1_c#1 not found
h#4#D1_a#1 not found
h#4#D1_b#1 not found
h#4#D1_c#1 not found
h#5#N1_a#1 not found
h#5#N1_b#1 not found
h#5#N1_c#1 not found
t#1#A1_a#3 not found
t#1#A1_b#5 not found
t#1#A1_c#1 not found
t#2#B1_a#5 not found
t#2#B1_b#1 not found
t#2#B1_c#3 not found
t#2#B2_a#1 not found
t#2#B2_b#3 not found
t#2#B2_c#5 not found
t#3#C1_a#1 not found
t#3#C1_b#3 not found
t#3#C1_c#5 not found
t#4#D1_a#1 not found
t#4#D1_b#3 not found
t#4#D1_c#5 not found
t#5#N1_a#3 not found
t#5#N1_b#1 not found
t#5#N1_c#5 not found
x#1#4#1#3 not found
x#1#6#1#1 found
x#1#6#1#5 not found
x#2#1#1#1 found
x#2#1#1#3 not found
x#2#1#1#5 not found
x#3#2#1#1 found
x#3#2#1#3 not found
x#3#2#1#5 not found
x#4#3#1#1 found
x#4#3#1#5 not found
x#4#6#1#3 not found
x#5#3#1#3 not found
x#5#4#1#1 found
x#5#4#1#5 not found
0x254e470
***** debug: read 51 non-zero entries (5 variables found)
  [binary] <x#1#2#1#1>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#1>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#1>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#1>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#1>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#1>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#1>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#1>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#1>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#1>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#1>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#1>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#1>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#1>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#1>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#1>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#1>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#1>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#1>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#1>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#1>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#1>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#1>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#1>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#1>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#1>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#1>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#1>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#1>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#1>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#1>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#1>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#1>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#1#2>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#2>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#2>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#2>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#2>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#2>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#2>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#2>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#2>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#2>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#2>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#2>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#2>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#2>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#2>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#2>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#2>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#2>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#2>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#2>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#2>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#2>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#2>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#2>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#2>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#2>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#2>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#2>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#2>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#2>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#2>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#2>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#2>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#1#3>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#3>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#3>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#3>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#3>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#3>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#3>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#3>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#3>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#3>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#3>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#3>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#3>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#3>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#3>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#3>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#3>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#3>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#3>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#3>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#3>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#3>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#3>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#3>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#3>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#3>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#3>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#3>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#3>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#3>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#3>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#3>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#3>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#1#4>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#4>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#4>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#4>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#4>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#4>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#4>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#4>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#4>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#4>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#4>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#4>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#4>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#4>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#4>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#4>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#4>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#4>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#4>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#4>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#4>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#4>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#4>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#4>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#4>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#4>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#4>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#4>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#4>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#4>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#4>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#4>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#4>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#1#5>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#5>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#5>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#5>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#5>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#5>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#5>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#5>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#5>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#5>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#5>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#5>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#5>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#5>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#5>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#5>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#5>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#5>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#5>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#5>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#5>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#5>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#5>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#5>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#5>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#5>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#5>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#5>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#5>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#5>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#5>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#5>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#5>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#1#6>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#1#6>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#1#6>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#1#6>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#1#6>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#1#6>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#1#6>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#1#6>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#1#6>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#1#6>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#1#6>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#1#6>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#1#6>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#1#6>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#1#6>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#1#6>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#1#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#2#2#6>: obj=20, original bounds=[0,1]
  [binary] <x#1#3#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#1#4#2#6>: obj=50, original bounds=[0,1]
  [binary] <x#1#6#2#6>: obj=20, original bounds=[0,1]
  [binary] <x#2#1#2#6>: obj=20, original bounds=[0,1]
  [binary] <x#2#3#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#2#4#2#6>: obj=70, original bounds=[0,1]
  [binary] <x#2#6#2#6>: obj=40, original bounds=[0,1]
  [binary] <x#3#1#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#3#2#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#3#4#2#6>: obj=70, original bounds=[0,1]
  [binary] <x#3#6#2#6>: obj=40, original bounds=[0,1]
  [binary] <x#4#1#2#6>: obj=50, original bounds=[0,1]
  [binary] <x#4#2#2#6>: obj=70, original bounds=[0,1]
  [binary] <x#4#3#2#6>: obj=70, original bounds=[0,1]
  [binary] <x#4#6#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#5#1#2#6>: obj=20, original bounds=[0,1]
  [binary] <x#5#2#2#6>: obj=40, original bounds=[0,1]
  [binary] <x#5#3#2#6>: obj=40, original bounds=[0,1]
  [binary] <x#5#4#2#6>: obj=30, original bounds=[0,1]
  [binary] <x#5#6#2#6>: obj=0, original bounds=[0,1]
  [binary] <x#1#S_1#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_2#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_3#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#1#S_4#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_1#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_2#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_3#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#2#S_4#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_1#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_2#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_3#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#3#S_4#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_1#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_2#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_3#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#4#S_4#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_1#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_2#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_3#2#6>: obj=0, original bounds=[0,0]
  [binary] <x#5#S_4#2#6>: obj=0, original bounds=[0,0]
  [binary] <t#1#A1_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#1#A1_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#1#A1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#5#N1_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#5#N1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#2#B1_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#2#B1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#2#B2_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#2#B2_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#3#C1_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#3#C1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#1>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#1>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#1>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#2>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#2>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#2>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#3>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#3>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#3>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#4>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#4>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#4>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#5>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#5>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#5>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_a#6>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_b#6>: obj=0, original bounds=[0,1]
  [binary] <t#4#D1_c#6>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_a#1>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_b#1>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_c#1>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_a#2>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_b#2>: obj=0, original bounds=[0,1]
  [binary] <h#4#D1_c#2>: obj=0, original bounds=[0,1]
  [integer] <y#2#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#5>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#5>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#2#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#5>: obj=0, original bounds=[0,100]
  [integer] <y#2#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#5>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#5>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#5>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#2#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#4>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#4>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#5#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#6#2#6>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#1#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#3#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#2#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#2#1#1>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#1>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#3#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#2>: obj=0, original bounds=[0,100]
  [integer] <y#4#2#2>: obj=0, original bounds=[0,100]
  [integer] <y#2#2#3>: obj=0, original bounds=[0,100]
  [integer] <y#5#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#4#1#6>: obj=0, original bounds=[0,100]
  [integer] <y#6#1#3>: obj=0, original bounds=[0,100]
  [integer] <y#1#2#5>: obj=0, original bounds=[0,100]
0x254e470


More information about the Scip mailing list