(1,19) (3,13) (4,12) (5,17) (6,18) (7,11) (9,20) 
nodes: 133  conflicts: 33  modelTime: 772  solveTime: 308  totalTime: 1086  modelSize: 20646  readTime: 6 size: 7