(1,19) (2,20) (4,18) (5,13) (6,12) (10,17) 
nodes: 108  conflicts: 31  modelTime: 770  solveTime: 269  totalTime: 1044  modelSize: 20646  readTime: 5 size: 6