(1,18) (3,13) (4,19) (5,14) (10,20) 
nodes: 159  conflicts: 51  modelTime: 670  solveTime: 360  totalTime: 1036  modelSize: 20646  readTime: 6 size: 5