(1,28) (2,21) (3,29) (4,24) (5,30) (6,26) (7,20) (8,25) (10,16) (11,19) (12,17) (13,22) (14,18) (15,23) 
nodes: 1112  conflicts: 30  modelTime: 660  solveTime: 2161  totalTime: 2827  modelSize: 41299  readTime: 6 size: 14