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