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