(1,14) (2,11) (3,17) (4,20) (6,19) (7,16) (8,15) (9,18) (10,12) 
nodes: 226  conflicts: 21  modelTime: 641  solveTime: 547  totalTime: 1194  modelSize: 20658  readTime: 6 size: 9