(1,18) (2,13) (3,17) (4,14) (5,12) (6,15) (7,19) (9,20) (10,16) 
nodes: 469  conflicts: 14  modelTime: 817  solveTime: 710  totalTime: 1532  modelSize: 20658  readTime: 5 size: 9