(1,5) (2,23) (3,7) (4,21) (6,9) (11,24) (13,14) (16,28) (17,19) (18,20) (22,27) (25,30) 
nodes: 1260  conflicts: 107  modelTime: 977  solveTime: 6186  totalTime: 7176  modelSize: 72262  readTime: 12 size: 12