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