(1,15) (2,13) (3,14) (4,12) (5,17) (6,20) (8,18) (9,19) (10,16) 
nodes: 389  conflicts: 12  modelTime: 683  solveTime: 445  totalTime: 1133  modelSize: 20658  readTime: 5 size: 9