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