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