(1,26) (2,20) (3,27) (4,16) (5,17) (7,23) (8,18) (10,25) (11,30) (12,21) (13,19) (15,24) 
nodes: 9652  conflicts: 35  modelTime: 656  solveTime: 13840  totalTime: 14502  modelSize: 41293  readTime: 6 size: 12