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