(5,11) (8,13) (10,12) 
nodes: 110  conflicts: 64  modelTime: 770  solveTime: 273  totalTime: 1048  modelSize: 20646  readTime: 5 size: 3