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