(3,20) (4,15) (6,19) (7,12) (10,17) 
nodes: 114  conflicts: 41  modelTime: 722  solveTime: 468  totalTime: 1195  modelSize: 20646  readTime: 5 size: 5