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