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