(1,22) (2,20) (3,25) (5,27) (7,18) (9,23) (13,28) (15,29) 
nodes: 3178  conflicts: 110  modelTime: 695  solveTime: 4102  totalTime: 4805  modelSize: 41300  readTime: 8 size: 8