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