(1,19) (2,11) (3,13) (4,15) (5,17) (6,14) (7,18) (8,20) (9,16) 
nodes: 228  conflicts: 18  modelTime: 696  solveTime: 433  totalTime: 1135  modelSize: 20658  readTime: 5 size: 9