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