(2,18) (3,27) (4,29) (5,23) (6,26) (7,25) (8,20) (9,24) (10,22) (13,16) (14,19) (15,28) 
nodes: 1413  conflicts: 54  modelTime: 658  solveTime: 1444  totalTime: 2109  modelSize: 41293  readTime: 7 size: 12