(3,18) (4,13) (5,11) (6,20) (8,19) (9,17) (10,14) 
nodes: 557  conflicts: 30  modelTime: 675  solveTime: 619  totalTime: 1299  modelSize: 20658  readTime: 5 size: 7