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