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