(1,2) (3,23) (4,29) (6,19) (7,26) (8,24) (10,20) (11,27) (13,17) (14,16) (15,21) (25,30) 
nodes: 855  conflicts: 133  modelTime: 1667  solveTime: 5114  totalTime: 6801  modelSize: 72262  readTime: 20 size: 12