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