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