(1,20) (2,12) (3,17) (4,11) (5,19) (6,13) (8,14) (9,18) (10,16) 
nodes: 502  conflicts: 11  modelTime: 687  solveTime: 727  totalTime: 1419  modelSize: 20658  readTime: 5 size: 9