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