(1,11) (2,20) (3,15) (4,12) (5,18) (7,13) (9,19) 
nodes: 433  conflicts: 25  modelTime: 711  solveTime: 855  totalTime: 1571  modelSize: 20658  readTime: 5 size: 7