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