(1,28) (2,17) (3,25) (4,27) (5,22) (6,23) (8,18) (9,19) (10,24) (11,26) (12,30) (13,16) (14,21) (15,20) 
nodes: 31190  conflicts: 25  modelTime: 655  solveTime: 52460  totalTime: 53122  modelSize: 41293  readTime: 6 size: 14