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