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