(1,26) (2,17) (3,16) (4,23) (6,25) (7,18) (8,29) (9,22) (11,28) (12,30) 
nodes: 623  conflicts: 64  modelTime: 666  solveTime: 1069  totalTime: 1742  modelSize: 41300  readTime: 7 size: 10