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