(1,26) (2,28) (4,21) (6,19) (7,25) (8,30) (9,22) (11,18) (12,24) (14,29) (15,20) 
nodes: 540  conflicts: 94  modelTime: 664  solveTime: 554  totalTime: 1225  modelSize: 41300  readTime: 7 size: 11