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