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