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