(1,16) (2,13) (3,12) (4,20) (5,11) (7,18) (9,17) (10,15) 
nodes: 365  conflicts: 27  modelTime: 813  solveTime: 695  totalTime: 1514  modelSize: 20658  readTime: 6 size: 8