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