(1,2) (3,25) (4,11) (5,8) (6,27) (7,15) (9,20) (10,26) (12,17) (13,28) (14,24) (16,29) (18,22) (19,30) (21,23) 
nodes: 38332  conflicts: 44  modelTime: 1736  solveTime: 152810  totalTime: 154566  modelSize: 72273  readTime: 20 size: 15