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