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