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