(1,17) (2,16) (3,19) (4,28) (5,29) (6,22) (7,30) (8,26) (9,23) (10,18) (11,24) (12,20) (13,27) (15,21) 
nodes: 1718  conflicts: 42  modelTime: 659  solveTime: 2504  totalTime: 3169  modelSize: 41299  readTime: 6 size: 14