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