(3,13) (4,17) (5,12) (6,19) (7,15) (8,11) 
nodes: 308  conflicts: 45  modelTime: 683  solveTime: 650  totalTime: 1339  modelSize: 20646  readTime: 6 size: 6