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