(2,23) (3,30) (4,27) (6,29) (7,20) (8,26) (9,22) (10,19) (11,24) (12,28) (13,21) (14,18) (15,17) 
nodes: 1585  conflicts: 71  modelTime: 1203  solveTime: 1986  totalTime: 3195  modelSize: 41293  readTime: 6 size: 13