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