(1,18) (2,19) (3,15) (4,17) (5,16) (7,13) (8,20) (9,14) (10,12) 
nodes: 825  conflicts: 26  modelTime: 693  solveTime: 1255  totalTime: 1953  modelSize: 20658  readTime: 5 size: 9