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