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