(1,21) (2,24) (3,10) (4,22) (5,8) (6,27) (7,12) (9,15) (11,13) (14,30) (16,23) (17,28) (18,26) (19,25) (20,29) 
nodes: 31673  conflicts: 12  modelTime: 1223  solveTime: 157743  totalTime: 158982  modelSize: 72264  readTime: 16 size: 15