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