(2,11) (3,13) (4,16) (5,17) (6,14) (7,18) (9,20) (10,12) 
nodes: 411  conflicts: 17  modelTime: 583  solveTime: 560  totalTime: 1148  modelSize: 20658  readTime: 5 size: 8