(1,26) (2,25) (3,17) (4,14) (5,28) (6,22) (7,29) (8,23) (9,15) (10,19) (11,21) (12,24) (13,20) (16,27) 
nodes: 7686  conflicts: 63  modelTime: 942  solveTime: 34746  totalTime: 35719  modelSize: 72262  readTime: 31 size: 14