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