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