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