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