(3,16) (4,11) (5,12) (7,18) (8,13) 
nodes: 143  conflicts: 51  modelTime: 676  solveTime: 455  totalTime: 1137  modelSize: 20646  readTime: 6 size: 5