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