(2,28) (3,20) (4,21) (5,19) (6,27) (7,23) (8,18) (9,16) (10,26) (11,25) (12,22) (13,17) (15,29) 
nodes: 1042  conflicts: 42  modelTime: 657  solveTime: 1731  totalTime: 2394  modelSize: 41298  readTime: 6 size: 13