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