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