(1,19) (2,12) (3,17) (4,16) (5,11) (6,20) (8,15) (9,14) (10,13) 
nodes: 251  conflicts: 13  modelTime: 764  solveTime: 597  totalTime: 1366  modelSize: 20658  readTime: 5 size: 9