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