(1,11) (2,16) (3,17) (4,20) (6,19) (7,15) (8,13) (9,14) (10,18) 
nodes: 371  conflicts: 21  modelTime: 766  solveTime: 534  totalTime: 1305  modelSize: 20658  readTime: 5 size: 9