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