(1,20) (2,22) (3,23) (5,27) (6,26) (7,29) (8,10) (9,13) (11,25) (14,21) (15,28) (16,17) (18,19) (24,30) 
nodes: 137174  conflicts: 31  modelTime: 1736  solveTime: 604246  totalTime: 606002  modelSize: 72263  readTime: 19 size: 14