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