(1,29) (2,25) (3,30) (4,16) (5,18) (6,21) (7,26) (8,19) (9,24) (10,27) (11,20) (12,17) (14,28) (15,23) 
nodes: 2418  conflicts: 9  modelTime: 656  solveTime: 7155  totalTime: 7816  modelSize: 41293  readTime: 5 size: 14