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