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