(3,17) (6,14) (7,18) (8,11) (9,13) 
nodes: 120  conflicts: 50  modelTime: 771  solveTime: 309  totalTime: 1086  modelSize: 20646  readTime: 5 size: 5