(1,12) (2,19) (3,16) (4,18) (5,17) (8,11) (9,13) (10,20) 
nodes: 613  conflicts: 21  modelTime: 814  solveTime: 950  totalTime: 1769  modelSize: 20658  readTime: 5 size: 8