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