Skip to content
Snippets Groups Projects
Commit 10896a1d authored by Hailu, Dawit's avatar Hailu, Dawit
Browse files

starting to meddle with the scip setup to integrate the solution system

parent c2331a1e
No related branches found
No related tags found
No related merge requests found
\ SCIP STATISTICS
\ Problem name : data/6f4s.lp_relaxscip
\ Variables : 54 (54 binary, 0 integer, 0 implicit integer, 0 continuous)
\ Constraints : 36
Minimize
Obj: +1 t_x_{1}_{0} +15 t_x_{1}_{15} +30 t_x_{1}_{30} +45 t_x_{1}_{45} +60 t_x_{1}_{60} +75 t_x_{1}_{75}
+90 t_x_{1}_{90} +105 t_x_{1}_{105} +120 t_x_{1}_{120} +15 t_x_{2}_{15} +30 t_x_{2}_{30} +45 t_x_{2}_{45}
+60 t_x_{2}_{60} +75 t_x_{2}_{75} +90 t_x_{2}_{90} +105 t_x_{2}_{105} +120 t_x_{2}_{120} +15 t_x_{3}_{15}
+30 t_x_{3}_{30} +45 t_x_{3}_{45} +60 t_x_{3}_{60} +75 t_x_{3}_{75} +90 t_x_{3}_{90} +105 t_x_{3}_{105}
+120 t_x_{3}_{120} +15 t_x_{4}_{15} +30 t_x_{4}_{30} +45 t_x_{4}_{45} +60 t_x_{4}_{60} +75 t_x_{4}_{75}
+90 t_x_{4}_{90} +105 t_x_{4}_{105} +120 t_x_{4}_{120} +15 t_x_{5}_{15} +30 t_x_{5}_{30} +45 t_x_{5}_{45}
+60 t_x_{5}_{60} +75 t_x_{5}_{75} +90 t_x_{5}_{90} +105 t_x_{5}_{105} +120 t_x_{5}_{120} +15 t_x_{6}_{15}
+30 t_x_{6}_{30} +45 t_x_{6}_{45} +60 t_x_{6}_{60} +75 t_x_{6}_{75} +90 t_x_{6}_{90} +105 t_x_{6}_{105}
+120 t_x_{6}_{120}
Subject to
slot1: +1 t_x_{1}_{0} +1 t_x_{2}_{0} <= +1
slot2: +1 t_x_{1}_{15} +1 t_x_{2}_{15} <= +1
slot3: +1 t_x_{1}_{30} +1 t_x_{2}_{30} <= +1
slot4: +1 t_x_{1}_{45} +1 t_x_{2}_{45} <= +1
slot5: +1 t_x_{1}_{60} +1 t_x_{2}_{60} <= +1
slot6: +1 t_x_{1}_{75} +1 t_x_{2}_{75} <= +1
slot7: +1 t_x_{1}_{90} +1 t_x_{2}_{90} <= +1
slot8: +1 t_x_{1}_{105} +1 t_x_{2}_{105} <= +1
F_6: +1 t_x_{6}_{0} +1 t_x_{6}_{15} +1 t_x_{6}_{30} +1 t_x_{6}_{45} +1 t_x_{6}_{60} +1 t_x_{6}_{75} +1 t_x_{6}_{90}
+1 t_x_{6}_{105} +1 t_x_{6}_{120} = +1
slot10: +1 t_x_{2}_{0} +1 t_x_{3}_{0} +1 t_x_{4}_{0} <= +1
slot11: +1 t_x_{2}_{15} +1 t_x_{3}_{15} +1 t_x_{4}_{15} <= +1
slot12: +1 t_x_{2}_{30} +1 t_x_{3}_{30} +1 t_x_{4}_{30} <= +1
slot13: +1 t_x_{2}_{45} +1 t_x_{3}_{45} +1 t_x_{4}_{45} <= +1
slot14: +1 t_x_{2}_{60} +1 t_x_{3}_{60} +1 t_x_{4}_{60} <= +1
slot15: +1 t_x_{2}_{75} +1 t_x_{3}_{75} +1 t_x_{4}_{75} <= +1
slot16: +1 t_x_{2}_{90} +1 t_x_{3}_{90} +1 t_x_{4}_{90} <= +1
F_4: +1 t_x_{4}_{0} +1 t_x_{4}_{15} +1 t_x_{4}_{30} +1 t_x_{4}_{45} +1 t_x_{4}_{60} +1 t_x_{4}_{75} +1 t_x_{4}_{90}
+1 t_x_{4}_{105} +1 t_x_{4}_{120} = +1
F_2: +1 t_x_{2}_{0} +1 t_x_{2}_{15} +1 t_x_{2}_{30} +1 t_x_{2}_{45} +1 t_x_{2}_{60} +1 t_x_{2}_{75} +1 t_x_{2}_{90}
+1 t_x_{2}_{105} +1 t_x_{2}_{120} = +1
slot19: +1 t_x_{1}_{0} +1 t_x_{3}_{0} +1 t_x_{5}_{0} <= +1
slot20: +1 t_x_{1}_{15} +1 t_x_{3}_{15} +1 t_x_{5}_{15} <= +1
slot21: +1 t_x_{1}_{30} +1 t_x_{3}_{30} +1 t_x_{5}_{30} <= +1
slot22: +1 t_x_{1}_{45} +1 t_x_{3}_{45} +1 t_x_{5}_{45} <= +1
slot23: +1 t_x_{1}_{60} +1 t_x_{3}_{60} +1 t_x_{5}_{60} <= +1
slot24: +1 t_x_{1}_{75} +1 t_x_{3}_{75} +1 t_x_{5}_{75} <= +1
F_1: +1 t_x_{1}_{0} +1 t_x_{1}_{15} +1 t_x_{1}_{30} +1 t_x_{1}_{45} +1 t_x_{1}_{60} +1 t_x_{1}_{75} +1 t_x_{1}_{90}
+1 t_x_{1}_{105} +1 t_x_{1}_{120} = +1
F_3: +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{60} +1 t_x_{3}_{75} +1 t_x_{3}_{90}
+1 t_x_{3}_{105} +1 t_x_{3}_{120} = +1
F_5: +1 t_x_{5}_{0} +1 t_x_{5}_{15} +1 t_x_{5}_{30} +1 t_x_{5}_{45} +1 t_x_{5}_{60} +1 t_x_{5}_{75} +1 t_x_{5}_{90}
+1 t_x_{5}_{105} +1 t_x_{5}_{120} = +1
slot28: +1 t_x_{4}_{0} +1 t_x_{5}_{0} +1 t_x_{6}_{0} <= +1
slot29: +1 t_x_{4}_{15} +1 t_x_{5}_{15} +1 t_x_{6}_{15} <= +1
slot30: +1 t_x_{4}_{30} +1 t_x_{5}_{30} +1 t_x_{6}_{30} <= +1
slot31: +1 t_x_{4}_{45} +1 t_x_{5}_{45} +1 t_x_{6}_{45} <= +1
slot32: +1 t_x_{4}_{60} +1 t_x_{5}_{60} +1 t_x_{6}_{60} <= +1
slot33: +1 t_x_{4}_{75} +1 t_x_{5}_{75} +1 t_x_{6}_{75} <= +1
slot35: +1 t_x_{4}_{105} +1 t_x_{5}_{105} +1 t_x_{6}_{105} <= +1
cf1_0: -1 t_x_{2}_{60} +1 t_x_{3}_{0} +1 t_x_{3}_{15} +1 t_x_{3}_{30} +1 t_x_{3}_{45} +1 t_x_{3}_{75}
>= +0
cf1_1: -1 t_x_{1}_{15} -1 t_x_{3}_{30} -1 t_x_{4}_{15} -1 t_x_{6}_{30} >= -3
Bounds
0 <= t_x_{1}_{0} <= 1
0 <= t_x_{1}_{15} <= 1
0 <= t_x_{1}_{30} <= 1
0 <= t_x_{1}_{45} <= 1
0 <= t_x_{1}_{60} <= 1
0 <= t_x_{1}_{75} <= 0
0 <= t_x_{1}_{90} <= 0
0 <= t_x_{1}_{105} <= 0
0 <= t_x_{1}_{120} <= 0
0 <= t_x_{2}_{0} <= 1
0 <= t_x_{2}_{15} <= 1
0 <= t_x_{2}_{30} <= 1
0 <= t_x_{2}_{45} <= 1
0 <= t_x_{2}_{60} <= 1
0 <= t_x_{2}_{75} <= 1
0 <= t_x_{2}_{90} <= 0
0 <= t_x_{2}_{105} <= 0
0 <= t_x_{2}_{120} <= 0
0 <= t_x_{3}_{0} <= 1
0 <= t_x_{3}_{15} <= 1
0 <= t_x_{3}_{30} <= 1
0 <= t_x_{3}_{45} <= 1
0 <= t_x_{3}_{60} <= 1
0 <= t_x_{3}_{75} <= 1
0 <= t_x_{3}_{90} <= 0
0 <= t_x_{3}_{105} <= 0
0 <= t_x_{3}_{120} <= 0
0 <= t_x_{4}_{0} <= 1
0 <= t_x_{4}_{15} <= 1
0 <= t_x_{4}_{30} <= 1
0 <= t_x_{4}_{45} <= 1
0 <= t_x_{4}_{60} <= 1
0 <= t_x_{4}_{75} <= 1
0 <= t_x_{4}_{90} <= 0
0 <= t_x_{4}_{105} <= 0
0 <= t_x_{4}_{120} <= 0
0 <= t_x_{5}_{0} <= 1
0 <= t_x_{5}_{15} <= 1
0 <= t_x_{5}_{30} <= 1
0 <= t_x_{5}_{45} <= 1
0 <= t_x_{5}_{60} <= 1
0 <= t_x_{5}_{75} <= 1
0 <= t_x_{5}_{90} <= 0
0 <= t_x_{5}_{105} <= 0
0 <= t_x_{5}_{120} <= 0
0 <= t_x_{6}_{0} <= 1
0 <= t_x_{6}_{15} <= 1
0 <= t_x_{6}_{30} <= 1
0 <= t_x_{6}_{45} <= 1
0 <= t_x_{6}_{60} <= 1
0 <= t_x_{6}_{75} <= 1
0 <= t_x_{6}_{90} <= 0
0 <= t_x_{6}_{105} <= 0
0 <= t_x_{6}_{120} <= 0
Binaries
t_x_{1}_{0} t_x_{1}_{15} t_x_{1}_{30} t_x_{1}_{45} t_x_{1}_{60} t_x_{1}_{75} t_x_{1}_{90} t_x_{1}_{105}
t_x_{1}_{120} t_x_{2}_{0} t_x_{2}_{15} t_x_{2}_{30} t_x_{2}_{45} t_x_{2}_{60} t_x_{2}_{75} t_x_{2}_{90}
t_x_{2}_{105} t_x_{2}_{120} t_x_{3}_{0} t_x_{3}_{15} t_x_{3}_{30} t_x_{3}_{45} t_x_{3}_{60} t_x_{3}_{75}
t_x_{3}_{90} t_x_{3}_{105} t_x_{3}_{120} t_x_{4}_{0} t_x_{4}_{15} t_x_{4}_{30} t_x_{4}_{45} t_x_{4}_{60}
t_x_{4}_{75} t_x_{4}_{90} t_x_{4}_{105} t_x_{4}_{120} t_x_{5}_{0} t_x_{5}_{15} t_x_{5}_{30} t_x_{5}_{45}
t_x_{5}_{60} t_x_{5}_{75} t_x_{5}_{90} t_x_{5}_{105} t_x_{5}_{120} t_x_{6}_{0} t_x_{6}_{15} t_x_{6}_{30}
t_x_{6}_{45} t_x_{6}_{60} t_x_{6}_{75} t_x_{6}_{90} t_x_{6}_{105} t_x_{6}_{120}
End
No preview for this file type
dualbound = 1.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 21.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 41.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 61.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 78.000000, lowerbound=46.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 83.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 85.000000, lowerbound=75.000000, norm of subgrad 5.830952 stepsize= 1.000000
dualbound = 93.000000, lowerbound=31.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 100.000000, lowerbound=46.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 105.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 103.000000, lowerbound=75.000000, norm of subgrad 5.830952 stepsize= 1.000000
dualbound = 115.000000, lowerbound=31.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 119.000000, lowerbound=75.000000, norm of subgrad 5.830952 stepsize= 1.000000
dualbound = 117.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 127.000000, lowerbound=75.000000, norm of subgrad 5.830952 stepsize= 1.000000
dualbound = 129.000000, lowerbound=1.000000, norm of subgrad 6.164414 stepsize= 1.000000
dualbound = 135.000000, lowerbound=75.000000, norm of subgrad 5.830952 stepsize= 1.000000
dualbound = 139.000000, lowerbound=31.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 147.000000, lowerbound=31.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 152.000000, lowerbound=60.000000, norm of subgrad 5.099020 stepsize= 1.000000
dualbound = 153.000000, lowerbound=61.000000, norm of subgrad 5.099020 stepsize= 1.000000
1.000000
14.000000
27.000000
40.000000
50.000000
51.000000
49.000000
54.000000
58.000000
59.000000
53.000000
62.000000
63.000000
58.000000
65.000000
64.000000
67.000000
68.000000
73.000000
74.000000
72.000000
71.000000
No preview for this file type
No preview for this file type
28 nslot conss
all = 76
2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3 3
2 4 6 8 10 12 14 16 19 22 25 28 31 34 37 40 43 46 49 52 55 58 61 64 67 70 73 76 t_x_{1}_{0} t_x_{2}_{0}
t_x_{1}_{15} t_x_{2}_{15}
t_x_{1}_{30} t_x_{2}_{30}
t_x_{1}_{45} t_x_{2}_{45}
t_x_{1}_{60} t_x_{2}_{60}
t_x_{1}_{75} t_x_{2}_{75}
t_x_{1}_{90} t_x_{2}_{90}
t_x_{1}_{105} t_x_{2}_{105}
t_x_{2}_{0} t_x_{3}_{0} t_x_{4}_{0}
t_x_{2}_{15} t_x_{3}_{15} t_x_{4}_{15}
t_x_{2}_{30} t_x_{3}_{30} t_x_{4}_{30}
t_x_{2}_{45} t_x_{3}_{45} t_x_{4}_{45}
t_x_{2}_{60} t_x_{3}_{60} t_x_{4}_{60}
t_x_{2}_{75} t_x_{3}_{75} t_x_{4}_{75}
t_x_{2}_{90} t_x_{3}_{90} t_x_{4}_{90}
t_x_{1}_{0} t_x_{3}_{0} t_x_{5}_{0}
t_x_{1}_{15} t_x_{3}_{15} t_x_{5}_{15}
t_x_{1}_{30} t_x_{3}_{30} t_x_{5}_{30}
t_x_{1}_{45} t_x_{3}_{45} t_x_{5}_{45}
t_x_{1}_{60} t_x_{3}_{60} t_x_{5}_{60}
t_x_{1}_{75} t_x_{3}_{75} t_x_{5}_{75}
t_x_{4}_{0} t_x_{5}_{0} t_x_{6}_{0}
t_x_{4}_{15} t_x_{5}_{15} t_x_{6}_{15}
t_x_{4}_{30} t_x_{5}_{30} t_x_{6}_{30}
t_x_{4}_{45} t_x_{5}_{45} t_x_{6}_{45}
t_x_{4}_{60} t_x_{5}_{60} t_x_{6}_{60}
t_x_{4}_{75} t_x_{5}_{75} t_x_{6}_{75}
t_x_{4}_{105} t_x_{5}_{105} t_x_{6}_{105}
F_6
t_x_{6}_{0} 45 nvarincons = 1 var = t_x_{4}_{0} var = t_x_{5}_{0}
(t_x_{6}_{0},45,1.000000)
t_x_{6}_{15} 46 (t_x_{6}_{15},46,0.000000)
t_x_{6}_{30} 47 (t_x_{6}_{30},47,0.000000)
t_x_{6}_{45} 48 (t_x_{6}_{45},48,0.000000)
t_x_{6}_{60} 49 (t_x_{6}_{60},49,0.000000)
t_x_{6}_{75} 50 (t_x_{6}_{75},50,0.000000)
t_x_{6}_{90} 51 (t_x_{6}_{90},51,0.000000)
t_x_{6}_{105} 52 (t_x_{6}_{105},52,0.000000)
t_x_{6}_{120} 53 (t_x_{6}_{120},53,0.000000)
F_4
t_x_{4}_{0} 27 (t_x_{4}_{0},27,0.000000)
t_x_{4}_{15} 28 nvarincons = 2 var = t_x_{2}_{15} var = t_x_{3}_{15} var = t_x_{5}_{15} var = t_x_{6}_{15}
(t_x_{4}_{15},28,1.000000)
t_x_{4}_{30} 29 (t_x_{4}_{30},29,0.000000)
t_x_{4}_{45} 30 (t_x_{4}_{45},30,0.000000)
t_x_{4}_{60} 31 (t_x_{4}_{60},31,0.000000)
t_x_{4}_{75} 32 (t_x_{4}_{75},32,0.000000)
t_x_{4}_{90} 33 (t_x_{4}_{90},33,0.000000)
t_x_{4}_{105} 34 (t_x_{4}_{105},34,0.000000)
t_x_{4}_{120} 35 (t_x_{4}_{120},35,0.000000)
F_5
t_x_{5}_{0} 36 (t_x_{5}_{0},36,0.000000)
t_x_{5}_{15} 37 (t_x_{5}_{15},37,0.000000)
t_x_{5}_{30} 38 nvarincons = 2 var = t_x_{1}_{30} var = t_x_{3}_{30} var = t_x_{4}_{30} var = t_x_{6}_{30}
(t_x_{5}_{30},38,1.000000)
t_x_{5}_{45} 39 (t_x_{5}_{45},39,0.000000)
t_x_{5}_{60} 40 (t_x_{5}_{60},40,0.000000)
t_x_{5}_{75} 41 (t_x_{5}_{75},41,0.000000)
t_x_{5}_{90} 42 (t_x_{5}_{90},42,0.000000)
t_x_{5}_{105} 43 (t_x_{5}_{105},43,0.000000)
t_x_{5}_{120} 44 (t_x_{5}_{120},44,0.000000)
F_3
t_x_{3}_{0} 18 nvarincons = 2 var = t_x_{2}_{0} var = t_x_{4}_{0} var = t_x_{1}_{0} var = t_x_{5}_{0}
(t_x_{3}_{0},18,1.000000)
t_x_{3}_{15} 19 (t_x_{3}_{15},19,0.000000)
t_x_{3}_{30} 20 (t_x_{3}_{30},20,0.000000)
t_x_{3}_{45} 21 (t_x_{3}_{45},21,0.000000)
t_x_{3}_{60} 22 (t_x_{3}_{60},22,0.000000)
t_x_{3}_{75} 23 (t_x_{3}_{75},23,0.000000)
t_x_{3}_{90} 24 (t_x_{3}_{90},24,0.000000)
t_x_{3}_{105} 25 (t_x_{3}_{105},25,0.000000)
t_x_{3}_{120} 26 (t_x_{3}_{120},26,0.000000)
F_1
t_x_{1}_{0} 0 (t_x_{1}_{0},0,0.000000)
t_x_{1}_{15} 1 nvarincons = 2 var = t_x_{2}_{15} var = t_x_{3}_{15} var = t_x_{5}_{15}
(t_x_{1}_{15},1,1.000000)
t_x_{1}_{30} 2 (t_x_{1}_{30},2,0.000000)
t_x_{1}_{45} 3 (t_x_{1}_{45},3,0.000000)
t_x_{1}_{60} 4 (t_x_{1}_{60},4,0.000000)
t_x_{1}_{75} 5 (t_x_{1}_{75},5,0.000000)
t_x_{1}_{90} 6 (t_x_{1}_{90},6,0.000000)
t_x_{1}_{105} 7 (t_x_{1}_{105},7,0.000000)
t_x_{1}_{120} 8 (t_x_{1}_{120},8,0.000000)
F_2
t_x_{2}_{0} 9 (t_x_{2}_{0},9,0.000000)
t_x_{2}_{15} 10 (t_x_{2}_{15},10,0.000000)
t_x_{2}_{30} 11 nvarincons = 2 var = t_x_{1}_{30} var = t_x_{3}_{30} var = t_x_{4}_{30}
(t_x_{2}_{30},11,1.000000)
t_x_{2}_{45} 12 (t_x_{2}_{45},12,0.000000)
t_x_{2}_{60} 13 (t_x_{2}_{60},13,0.000000)
t_x_{2}_{75} 14 (t_x_{2}_{75},14,0.000000)
t_x_{2}_{90} 15 (t_x_{2}_{90},15,0.000000)
t_x_{2}_{105} 16 (t_x_{2}_{105},16,0.000000)
t_x_{2}_{120} 17 (t_x_{2}_{120},17,0.000000)
(t_x_{1}_{0} 0.000000 weight 1.000000)
(t_x_{1}_{15} 1.000000 weight 15.000000)
(t_x_{1}_{30} 0.000000 weight 30.000000)
(t_x_{1}_{45} 0.000000 weight 45.000000)
(t_x_{1}_{60} 0.000000 weight 60.000000)
(t_x_{1}_{75} 0.000000 weight 75.000000)
(t_x_{1}_{90} 0.000000 weight 90.000000)
(t_x_{1}_{105} 0.000000 weight 105.000000)
(t_x_{1}_{120} 0.000000 weight 120.000000)
(t_x_{2}_{0} 0.000000 weight 0.000000)
(t_x_{2}_{15} 0.000000 weight 15.000000)
(t_x_{2}_{30} 1.000000 weight 30.000000)
(t_x_{2}_{45} 0.000000 weight 45.000000)
(t_x_{2}_{60} 0.000000 weight 60.000000)
(t_x_{2}_{75} 0.000000 weight 75.000000)
(t_x_{2}_{90} 0.000000 weight 90.000000)
(t_x_{2}_{105} 0.000000 weight 105.000000)
(t_x_{2}_{120} 0.000000 weight 120.000000)
(t_x_{3}_{0} 1.000000 weight 0.000000)
(t_x_{3}_{15} 0.000000 weight 15.000000)
(t_x_{3}_{30} 0.000000 weight 30.000000)
(t_x_{3}_{45} 0.000000 weight 45.000000)
(t_x_{3}_{60} 0.000000 weight 60.000000)
(t_x_{3}_{75} 0.000000 weight 75.000000)
(t_x_{3}_{90} 0.000000 weight 90.000000)
(t_x_{3}_{105} 0.000000 weight 105.000000)
(t_x_{3}_{120} 0.000000 weight 120.000000)
(t_x_{4}_{0} 0.000000 weight 0.000000)
(t_x_{4}_{15} 1.000000 weight 15.000000)
(t_x_{4}_{30} 0.000000 weight 30.000000)
(t_x_{4}_{45} 0.000000 weight 45.000000)
(t_x_{4}_{60} 0.000000 weight 60.000000)
(t_x_{4}_{75} 0.000000 weight 75.000000)
(t_x_{4}_{90} 0.000000 weight 90.000000)
(t_x_{4}_{105} 0.000000 weight 105.000000)
(t_x_{4}_{120} 0.000000 weight 120.000000)
(t_x_{5}_{0} 0.000000 weight 0.000000)
(t_x_{5}_{15} 0.000000 weight 15.000000)
(t_x_{5}_{30} 1.000000 weight 30.000000)
(t_x_{5}_{45} 0.000000 weight 45.000000)
(t_x_{5}_{60} 0.000000 weight 60.000000)
(t_x_{5}_{75} 0.000000 weight 75.000000)
(t_x_{5}_{90} 0.000000 weight 90.000000)
(t_x_{5}_{105} 0.000000 weight 105.000000)
(t_x_{5}_{120} 0.000000 weight 120.000000)
(t_x_{6}_{0} 1.000000 weight 0.000000)
(t_x_{6}_{15} 0.000000 weight 15.000000)
(t_x_{6}_{30} 0.000000 weight 30.000000)
(t_x_{6}_{45} 0.000000 weight 45.000000)
(t_x_{6}_{60} 0.000000 weight 60.000000)
(t_x_{6}_{75} 0.000000 weight 75.000000)
(t_x_{6}_{90} 0.000000 weight 90.000000)
(t_x_{6}_{105} 0.000000 weight 105.000000)
(t_x_{6}_{120} 0.000000 weight 120.000000)
\ No newline at end of file
......@@ -176,6 +176,8 @@ SCIP_RETCODE SCIPcreateprobdata
int** badconss
)
{
FILE* prob;
prob = fopen("probdata.txt","wr");
int nconss = SCIPgetNConss(relaxscip);
int nvars = SCIPgetNVars(relaxscip);
int nSlotConss = 0;
......@@ -189,7 +191,7 @@ SCIP_RETCODE SCIPcreateprobdata
++nSlotConss;
}
}
printf("%d nslot conss",nSlotConss);
fprintf(prob,"%d nslot conss \n",nSlotConss);
int allnconsvars=0;
int nconsvars=0;
......@@ -239,7 +241,11 @@ SCIP_RETCODE SCIPcreateprobdata
{
(*varbuffers)[v] =vars[v];
}
printf("all = %d\n",allnconsvars);
// for (int v = 0; v < nvars; v++)
// {
// fprintf(prob,"(%s %d)\t", SCIPvarGetName(vars[v]), SCIPvarGetIndex(vars[v]));
// }
fprintf(prob,"all = %d\n",allnconsvars);
counter=0;
for (int r = 0; r < nSlotConss; ++r)
......@@ -254,7 +260,7 @@ SCIP_RETCODE SCIPcreateprobdata
if (!success){
abort(); }
listnconsvars[r] = nconsvars;
printf(" %d ",listnconsvars[r]);
fprintf(prob," %d ",listnconsvars[r]);
for (int j = 0; j < nconsvars; ++j) /* (8) */
{
SCIP_VAR* varx = (*varbuffers)[j];
......@@ -264,23 +270,29 @@ SCIP_RETCODE SCIPcreateprobdata
counter++;
}
}
printf("\n");
int* increasingorder; //example {2,4,6,9,12,...}
SCIP_CALL(SCIPallocBufferArray(relaxscip,&increasingorder,nSlotConss));
increasingorder[0] = listnconsvars[0]; //listnconsvars[0];
for(int r=1; r<nSlotConss;r++)
{
increasingorder[r]=listnconsvars[r]+increasingorder[r-1];
// printf(" %d ",increasingorder[r]);
}
fprintf(prob,"\n");
//printing to prob.txt
for(int r=0; r<nSlotConss;r++)
{
fprintf(prob," %d ",increasingorder[r]);
}
for(int r=0; r<nSlotConss;r++)
{
for (int p = increasingorder[r]-listnconsvars[r]; p < increasingorder[r]; p++)
{
printf("%d ",listconsvarids[p]);
fprintf(prob,"%s ",SCIPvarGetName(vars[listconsvarids[p]]));
}
printf("\n");
fprintf(prob,"\n");
}
// for(int s=0;s<allnconsvars;s++)
......@@ -360,7 +372,7 @@ SCIP_RETCODE SCIPcreateprobdata
// // // printf("%d\n->",counter);
// }
fclose(prob);
SCIP_CALL(SCIPallocMemory(relaxscip,probdata));
(*probdata)->nSlotConss = nSlotConss;
......
This diff is collapsed.
row and column identified in (sec) : 0.000252
row and column identified in (sec) : 0.000162
finished changing the variable's weight after (sec) : 0.000941
0.006116
finished changing the variable's weight after (sec) : 0.006164
0.020437
finished changing the variable's weight after (sec) : 0.020603
0.029869
finished changing the variable's weight after (sec) : 0.030062
0.052249
finished changing the variable's weight after (sec) : 0.052727
0.083780
finished changing the variable's weight after (sec) : 0.084110
0.100559
finished changing the variable's weight after (sec) : 0.100606
0.134207
finished changing the variable's weight after (sec) : 0.134376
0.170888
finished changing the variable's weight after (sec) : 0.170987
0.189907
finished changing the variable's weight after (sec) : 0.190397
0.214879
finished changing the variable's weight after (sec) : 0.215035
0.248610
finished changing the variable's weight after (sec) : 0.249024
0.276051
finished changing the variable's weight after (sec) : 0.276489
0.305234
finished changing the variable's weight after (sec) : 0.305363
0.331501
finished changing the variable's weight after (sec) : 0.331629
0.365271
finished changing the variable's weight after (sec) : 0.365548
0.392237
finished changing the variable's weight after (sec) : 0.392345
0.416936
finished changing the variable's weight after (sec) : 0.417094
0.448937
finished changing the variable's weight after (sec) : 0.449053
0.480631
finished changing the variable's weight after (sec) : 0.481091
0.520802
finished changing the variable's weight after (sec) : 0.520921
0.540580
finished changing the variable's weight after (sec) : 0.540629
1.000000
14.000000
27.000000
40.000000
50.000000
51.000000
51.000000
54.000000
58.000000
59.000000
59.000000
62.000000
63.000000
63.000000
65.000000
65.000000
67.000000
68.000000
73.000000
74.000000
74.000000
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment