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