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