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