(1,21) (2,28) (3,27) (5,29) (6,16) (7,23) (8,25) (9,30) (10,19) (11,24) (12,17) (13,22) (14,18) 
nodes: 1854  conflicts: 39  modelTime: 661  solveTime: 1471  totalTime: 2139  modelSize: 41298  readTime: 7 size: 13