(5,13) (8,15) (10,20) 
nodes: 110  conflicts: 74  modelTime: 692  solveTime: 339  totalTime: 1037  modelSize: 20646  readTime: 6 size: 3