(1,16) (3,19) (5,18) (6,17) (10,11) 
nodes: 215  conflicts: 36  modelTime: 818  solveTime: 691  totalTime: 1515  modelSize: 20646  readTime: 6 size: 5