(1,19) (2,14) (3,17) (4,13) (5,15) (6,11) (8,12) (9,20) 
nodes: 214  conflicts: 17  modelTime: 757  solveTime: 561  totalTime: 1323  modelSize: 20646  readTime: 5 size: 8