(1,20) (2,12) (3,14) (4,13) (6,18) (7,17) (8,15) (9,16) (10,11) 
nodes: 105  conflicts: 4  modelTime: 794  solveTime: 305  totalTime: 1105  modelSize: 20658  readTime: 6 size: 9