(1,13) (2,15) (3,19) (4,16) (5,18) (6,12) (7,20) (9,11) 
nodes: 222  conflicts: 23  modelTime: 725  solveTime: 528  totalTime: 1258  modelSize: 20658  readTime: 5 size: 8