(1,14) (2,4) (3,30) (5,23) (6,24) (7,12) (8,17) (9,18) (10,19) (11,27) (13,25) (15,20) (16,29) (21,26) 
nodes: 28729  conflicts: 43  modelTime: 932  solveTime: 87543  totalTime: 88486  modelSize: 72265  readTime: 11 size: 14