(1,18) (2,28) (3,26) (4,29) (5,27) (6,21) (7,23) (8,17) (9,16) (10,20) (11,22) (12,30) (13,19) (14,24) (15,25) 
nodes: 20763  conflicts: 7  modelTime: 716  solveTime: 30444  totalTime: 31169  modelSize: 41293  readTime: 8 size: 15