(1,17) (2,24) (3,21) (4,28) (6,23) (7,25) (8,16) (9,27) (10,22) (11,29) (13,18) (14,26) (15,20) 
nodes: 6294  conflicts: 41  modelTime: 658  solveTime: 9166  totalTime: 9831  modelSize: 41298  readTime: 7 size: 13