(2,11) (3,19) (5,17) (6,18) (7,13) (8,12) (9,15) (10,16) 
nodes: 142  conflicts: 20  modelTime: 693  solveTime: 349  totalTime: 1047  modelSize: 20658  readTime: 5 size: 8