(1,16) (2,18) (3,20) (4,13) (5,17) (6,19) (8,11) (9,14) (10,15) 
nodes: 695  conflicts: 14  modelTime: 682  solveTime: 1328  totalTime: 2015  modelSize: 20658  readTime: 5 size: 9