(1,14) (3,13) (5,20) (7,16) (8,11) 
nodes: 175  conflicts: 41  modelTime: 589  solveTime: 413  totalTime: 1008  modelSize: 20646  readTime: 6 size: 5