(1,26) (2,25) (4,21) (5,8) (6,18) (7,14) (9,30) (10,23) (11,17) (13,24) (15,19) (16,20) (22,27) (28,29) 
nodes: 82660  conflicts: 54  modelTime: 973  solveTime: 267577  totalTime: 268562  modelSize: 72262  readTime: 11 size: 14