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