(1,16) (4,14) (6,13) (8,18) 
nodes: 151  conflicts: 50  modelTime: 692  solveTime: 442  totalTime: 1141  modelSize: 20646  readTime: 6 size: 4