(1,17) (2,5) (3,25) (4,20) (6,12) (7,30) (8,11) (10,29) (13,27) (14,18) (15,22) (16,23) (19,28) (21,24) 
nodes: 38022  conflicts: 44  modelTime: 949  solveTime: 160675  totalTime: 161636  modelSize: 72272  readTime: 11 size: 14