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