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