(1,15) (4,17) (6,20) (7,18) (8,19) 
nodes: 107  conflicts: 46  modelTime: 774  solveTime: 228  totalTime: 1008  modelSize: 20646  readTime: 5 size: 5