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