(3,18) (4,17) (7,14) (9,12) (10,19) 
nodes: 148  conflicts: 55  modelTime: 770  solveTime: 368  totalTime: 1144  modelSize: 20646  readTime: 6 size: 5