(1,20) (3,13) (5,14) (6,12) (7,19) (9,18) 
nodes: 325  conflicts: 36  modelTime: 816  solveTime: 801  totalTime: 1623  modelSize: 20646  readTime: 6 size: 6