(1,19) (2,20) (3,13) (5,30) (6,15) (7,18) (8,16) (9,12) (10,23) (11,14) (17,24) (22,25) (26,27) (28,29) 
nodes: 6730  conflicts: 69  modelTime: 949  solveTime: 24071  totalTime: 25031  modelSize: 72263  readTime: 11 size: 14