(1,26) (2,20) (3,30) (4,21) (5,28) (6,22) (7,16) (9,19) (10,25) (11,23) (12,18) (13,17) (14,24) (15,27) 
nodes: 7479  conflicts: 33  modelTime: 656  solveTime: 12724  totalTime: 13386  modelSize: 41292  readTime: 6 size: 14