(1,23) (2,30) (3,22) (4,21) (5,17) (6,28) (7,19) (8,24) (9,29) (10,18) (11,20) (12,26) (13,16) (14,27) (15,25) 
nodes: 2074  conflicts: 13  modelTime: 1189  solveTime: 7039  totalTime: 8238  modelSize: 41293  readTime: 10 size: 15