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