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