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