(1,16) (2,12) (7,18) (9,15) (10,13) 
nodes: 106  conflicts: 49  modelTime: 699  solveTime: 268  totalTime: 972  modelSize: 20646  readTime: 5 size: 5