(1,26) (2,22) (3,18) (4,19) (6,16) (8,17) (9,28) (10,25) (11,27) (12,20) (13,24) (14,23) (15,29) 
nodes: 10072  conflicts: 36  modelTime: 657  solveTime: 17082  totalTime: 17746  modelSize: 41293  readTime: 7 size: 13