(2,26) (3,28) (4,27) (5,17) (6,19) (7,29) (8,22) (9,16) (10,21) (11,18) (12,30) (13,20) (15,24) 
nodes: 836  conflicts: 26  modelTime: 686  solveTime: 1568  totalTime: 2261  modelSize: 41293  readTime: 6 size: 13