(1,14) (2,19) (3,11) (4,12) (6,13) (7,16) (8,20) (9,17) (10,18) 
nodes: 343  conflicts: 11  modelTime: 684  solveTime: 822  totalTime: 1511  modelSize: 20658  readTime: 5 size: 9