* #variable= 1 #constraint= 2 #soft= 2 mincost= 2 maxcost= 3 sumcost= 5 soft: ; [2] +1 x1 >= 1 ; [3] -1 x1 >= 0 ;