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