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