(1,18) (2,20) (3,28) (4,16) (5,25) (6,19) (7,17) (9,22) (10,21) (11,23) (12,29) (13,24) (14,26) (15,27) 
nodes: 10112  conflicts: 26  modelTime: 657  solveTime: 19415  totalTime: 20080  modelSize: 41298  readTime: 7 size: 14