(3,13) (6,12) (7,15) (8,19) (10,18) 
nodes: 216  conflicts: 46  modelTime: 689  solveTime: 335  totalTime: 1030  modelSize: 20646  readTime: 6 size: 5