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