(1,24) (2,23) (3,16) (4,18) (5,12) (6,30) (7,21) (9,20) (10,14) (11,29) (13,25) (15,26) (17,27) (19,28) 
nodes: 17047  conflicts: 77  modelTime: 928  solveTime: 32183  totalTime: 33129  modelSize: 72263  readTime: 18 size: 14