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