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