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