(5,12) (7,13) (8,15) (10,18) 
nodes: 227  conflicts: 49  modelTime: 681  solveTime: 477  totalTime: 1163  modelSize: 20646  readTime: 5 size: 4