(1,19) (2,13) (3,15) (4,14) (5,20) (6,11) (8,12) (9,18) (10,17) 
nodes: 219  conflicts: 14  modelTime: 767  solveTime: 508  totalTime: 1281  modelSize: 20658  readTime: 6 size: 9