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