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