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