(1,12) (2,13) (3,15) (4,17) (5,18) (6,19) (7,20) (8,16) (9,11) 
nodes: 450  conflicts: 13  modelTime: 485  solveTime: 622  totalTime: 1112  modelSize: 20658  readTime: 5 size: 9