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