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