(1,16) (3,13) (4,18) (5,19) (6,11) (7,15) (8,14) (9,12) (10,17) 
nodes: 307  conflicts: 11  modelTime: 671  solveTime: 648  totalTime: 1324  modelSize: 20658  readTime: 5 size: 9