(1,16) (2,14) (4,15) (8,12) (9,13) (10,20) 
nodes: 105  conflicts: 37  modelTime: 726  solveTime: 268  totalTime: 1000  modelSize: 20646  readTime: 6 size: 6