(1,18) (2,11) (3,20) (4,24) (5,10) (6,14) (7,21) (8,9) (12,28) (13,25) (15,27) (17,22) (19,30) 
nodes: 15698  conflicts: 75  modelTime: 1727  solveTime: 56272  totalTime: 58020  modelSize: 72263  readTime: 21 size: 13