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