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