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