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