(1,17) (3,11) (5,12) (10,15) 
nodes: 109  conflicts: 59  modelTime: 773  solveTime: 255  totalTime: 1033  modelSize: 20646  readTime: 5 size: 4