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