(1,12) (2,18) (3,15) (4,17) (5,14) (6,13) (7,16) (8,20) (9,11) 
nodes: 879  conflicts: 3  modelTime: 661  solveTime: 989  totalTime: 1654  modelSize: 20646  readTime: 3 size: 9