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