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