(1,18) (2,11) (4,14) (6,19) (7,20) (9,13) (10,15) 
nodes: 213  conflicts: 37  modelTime: 773  solveTime: 289  totalTime: 1068  modelSize: 20646  readTime: 6 size: 7