(1,19) (2,18) (3,30) (4,14) (5,20) (6,12) (7,28) (8,26) (9,21) (10,16) (11,25) (13,27) (15,22) (17,29) (23,24) 
nodes: 19089  conflicts: 38  modelTime: 956  solveTime: 46193  totalTime: 47163  modelSize: 72265  readTime: 14 size: 15