(1,28) (2,29) (3,27) (5,19) (6,18) (7,22) (8,21) (9,23) (10,25) (11,16) (12,30) (13,17) (14,26) (15,20) 
nodes: 5262  conflicts: 7  modelTime: 656  solveTime: 9932  totalTime: 10594  modelSize: 41292  readTime: 5 size: 14