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