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