(1,26) (2,21) (3,17) (5,18) (8,24) (11,29) (12,16) (13,27) (14,22) (15,28) 
nodes: 1209  conflicts: 66  modelTime: 670  solveTime: 1018  totalTime: 1695  modelSize: 41300  readTime: 7 size: 10