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