(1,16) (2,20) (3,15) (4,13) (6,11) (7,14) (8,12) (9,18) (10,17) 
nodes: 288  conflicts: 11  modelTime: 679  solveTime: 470  totalTime: 1154  modelSize: 20658  readTime: 5 size: 9