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