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