(1,21) (2,22) (4,23) (5,16) (6,17) (8,19) (9,30) (12,24) (13,18) 
nodes: 1063  conflicts: 107  modelTime: 673  solveTime: 1338  totalTime: 2018  modelSize: 41300  readTime: 7 size: 9