(1,15) (2,18) (3,13) (4,16) (5,12) (6,11) (7,20) (8,14) (9,19) 
nodes: 305  conflicts: 20  modelTime: 817  solveTime: 631  totalTime: 1453  modelSize: 20658  readTime: 5 size: 9