(1,27) (3,18) (4,28) (5,20) (6,29) (8,30) (9,23) (11,26) (12,22) (15,25) 
nodes: 1392  conflicts: 66  modelTime: 677  solveTime: 1059  totalTime: 1742  modelSize: 41300  readTime: 6 size: 10