(1,16) (2,19) (4,14) (5,18) (10,20) 
nodes: 109  conflicts: 50  modelTime: 713  solveTime: 437  totalTime: 1155  modelSize: 20646  readTime: 5 size: 5