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