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