(1,19) (2,18) (3,14) (5,17) (8,13) (9,11) (10,20) 
nodes: 536  conflicts: 27  modelTime: 587  solveTime: 496  totalTime: 1088  modelSize: 20646  readTime: 5 size: 7