(2,27) (3,17) (4,24) (5,30) (6,18) (7,20) (8,28) (9,21) (10,25) (11,23) (13,19) (14,22) (15,29) 
nodes: 2135  conflicts: 40  modelTime: 659  solveTime: 2901  totalTime: 3567  modelSize: 41293  readTime: 7 size: 13