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