(2,14) (3,17) (5,15) (8,13) (10,18) 
nodes: 110  conflicts: 48  modelTime: 758  solveTime: 275  totalTime: 1038  modelSize: 20646  readTime: 5 size: 5