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