(1,15) (4,18) (7,17) (8,14) (9,13) 
nodes: 185  conflicts: 48  modelTime: 688  solveTime: 384  totalTime: 1077  modelSize: 20646  readTime: 5 size: 5