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