(2,13) (6,17) (8,12) (9,14) (10,11) 
nodes: 159  conflicts: 44  modelTime: 688  solveTime: 382  totalTime: 1076  modelSize: 20646  readTime: 6 size: 5