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