(1,18) (2,20) (3,15) (5,16) (8,11) 
nodes: 171  conflicts: 43  modelTime: 770  solveTime: 419  totalTime: 1195  modelSize: 20646  readTime: 6 size: 5