(1,19) (2,14) (3,20) (4,16) (5,13) (6,17) (7,11) (8,12) 
nodes: 419  conflicts: 19  modelTime: 773  solveTime: 573  totalTime: 1351  modelSize: 20658  readTime: 5 size: 8