(1,13) (3,20) (4,14) (5,18) (6,12) (7,15) (8,11) (9,16) (10,17) 
nodes: 224  conflicts: 16  modelTime: 685  solveTime: 508  totalTime: 1197  modelSize: 20658  readTime: 4 size: 9