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