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