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