(1,16) (2,19) (3,15) (4,17) (6,11) (7,18) (8,14) (9,13) (10,12) 
nodes: 315  conflicts: 11  modelTime: 687  solveTime: 537  totalTime: 1228  modelSize: 20658  readTime: 4 size: 9