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