(1,15) (2,11) (3,20) (4,19) (5,14) (6,13) (7,17) (8,12) (9,18) 
nodes: 586  conflicts: 12  modelTime: 766  solveTime: 792  totalTime: 1562  modelSize: 20646  readTime: 4 size: 9