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