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