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