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