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