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