(1,12) (2,19) (3,16) (4,11) (5,14) (6,18) (7,20) (8,17) (9,13) 
nodes: 468  conflicts: 8  modelTime: 684  solveTime: 779  totalTime: 1467  modelSize: 20658  readTime: 4 size: 9