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