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