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