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