(1,27) (2,11) (3,4) (5,26) (6,25) (7,30) (8,19) (9,18) (10,12) (13,21) (14,24) (15,28) (16,22) (17,23) (20,29) 
nodes: 47271  conflicts: 48  modelTime: 1738  solveTime: 185947  totalTime: 187705  modelSize: 72264  readTime: 20 size: 15