(2,12) (3,20) (4,13) (5,11) (6,15) (7,17) (9,19) (10,14) 
nodes: 339  conflicts: 17  modelTime: 765  solveTime: 663  totalTime: 1433  modelSize: 20658  readTime: 5 size: 8