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