(1,17) (2,20) (3,12) (4,15) (5,18) (7,16) (8,19) (9,14) (10,13) 
nodes: 262  conflicts: 22  modelTime: 585  solveTime: 567  totalTime: 1157  modelSize: 20658  readTime: 5 size: 9