STATISTICS Problem name : scip Variables : 106 (22 binary, 4 integer, 0 implicit integer, 80 continuous) Constraints : 0 initial, 121 maximal OBJECTIVE Sense : minimize VARIABLES [binary] : obj=1.5, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0.6, original bounds=[0,1] [binary] : obj=1.1, original bounds=[0,1] [binary] : obj=0.75, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0.8, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=1, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=1.2, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [binary] : obj=0, original bounds=[0,1] [integer] : obj=0, original bounds=[0,0] [integer] : obj=0, original bounds=[0,0] [integer] : obj=0, original bounds=[0,0] [integer] : obj=0, original bounds=[0,0] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[-100,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[-100,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[0,100] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[1,100] [continuous] : obj=0, original bounds=[0,10] [continuous] : obj=0, original bounds=[0.2,100] [continuous] : obj=0, original bounds=[4.5,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[-inf,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] [continuous] : obj=0, original bounds=[0,+inf] CONSTRAINTS [linear] : -[B] -0.6[B] -1.1[B] -0.75[B] -[B] -0.8[B] -[B] -[B] -[B] -1.5[B] -1.2[B] <= 0; [linear] : [B] +0.6[B] +1.1[B] +0.75[B] +[B] +0.8[B] +[B] +[B] +[B] +1.5[B] +1.2[B] <= 4; [linear] : [C] -[C] +[C] -[C] <= 0; [linear] : -[C] +0.4[C] +[C] -[C] <= 0; [linear] : [C] +[C] -[C] <= 0; [linear] : [C] +[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : +4.5[C] -[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] -[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] -[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -10[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -100[C] +[C] <= 0; [linear] : -[C] +100[C] -0.1[C] +10[C] +100[C] -4.5[C] -[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] +100[C] <= -1; [linear] : [C] <= 0; [linear] : +9[B] +[C] <= 9; [linear] : -4.9[B] +[C] <= 0; [linear] : +10[B] +[C] <= 10; [linear] : +10[B] +[C] <= 10; [linear] : -10[B] +[C] <= 0; [linear] : +9[B] +[C] <= 9; [linear] : +9[B] +[C] <= 9; [linear] : +5[B] +[C] <= 5; [linear] : +9[B] +[C] <= 9; [linear] : +9.8[B] +[C] <= 9.8; [linear] : +4.9[B] -[C] <= 4.9; [linear] : +10[B] -[C] <= 10; [linear] : +5.5[B] -[C] <= 5.5; [linear] : [C] +[C] +[C] +[C] -[C] == 0; [linear] : -[C] -[C] +[C] +[C] == 0; [linear] : -[C] +[C] +[C] +[C] +[C] == 0; [linear] : [C] -[C] +[C] == 0; [linear] : [C] -[C] -[C] +[C] == 0; [linear] : -[C] -[C] -[C] +[C] == 0; [linear] : -[C] -[C] -[C] -[C] +[C] == 0; [linear] : [C] -[C] +[C] == 0; [linear] : -[C] -[C] -[C] -[C] +[C] == 0; [linear] : [C] -[C] -[C] -[C] == 0; [linear] : -[C] -[C] -[C] -[C] +[C] == 0; [linear] : [C] +[C] -[C] == 0; [linear] : [C] +[C] +[C] -[C] == 0; [linear] : [C] +[C] +[C] -[C] == 0; [linear] : [C] -[C] +[C] +[C] -[C] == 0; [linear] : [C] +[C] -[C] == 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] -[C] -[C] <= 0; [linear] : [C] +[C] -[C] -[C] -[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] -[C] +[C] -[C] -[C] <= 0; [linear] : [C] -[C] -[C] -[C] +[C] -[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] -[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] -[C] +[C] -[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : -[C] -[C] +[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : -[C] +[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : -[C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : -[C] +[C] +[C] -[C] -[C] <= 0; [linear] : [C] -[C] -[C] +[C] -[C] <= 0; [linear] : [B] +[B] == 1; [linear] : -[C] +[C] -[C] +[C] -[C] <= 0; [linear] : [C] -[C] +[C] -[C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : -[C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : -[C] -[C] <= 0; [linear] : [C] -[C] <= 0; [linear] : -[C] -[C] <= 0; [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); [indicator] : = 1 -> = 0 (); END