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