(1,11) (2,13) (3,15) (4,20) (5,19) (6,16) (7,18) (8,12) (9,17) 
nodes: 318  conflicts: 12  modelTime: 684  solveTime: 909  totalTime: 1597  modelSize: 20658  readTime: 4 size: 9