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