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