(2,16) (3,29) (4,17) (5,19) (6,25) (7,23) (8,22) (9,27) (12,30) (13,21) (15,18) 
nodes: 1543  conflicts: 69  modelTime: 659  solveTime: 1224  totalTime: 1890  modelSize: 41292  readTime: 7 size: 11