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