(1,28) (2,26) (3,4) (5,14) (6,30) (7,27) (8,13) (9,15) (10,20) (11,16) (12,22) (17,24) (18,21) (19,23) (25,29) 
nodes: 55199  conflicts: 52  modelTime: 929  solveTime: 188917  totalTime: 189860  modelSize: 72267  readTime: 13 size: 15