(1,11) (2,13) (3,12) (4,18) (5,14) (7,16) (8,20) (9,19) (10,15) 
nodes: 236  conflicts: 14  modelTime: 681  solveTime: 353  totalTime: 1039  modelSize: 20658  readTime: 5 size: 9