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