(3,12) (4,19) (5,15) (7,13) (8,18) 
nodes: 155  conflicts: 45  modelTime: 689  solveTime: 465  totalTime: 1160  modelSize: 20646  readTime: 5 size: 5