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