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