(1,5) (2,20) (3,23) (6,12) (7,16) (8,28) (9,27) (10,29) (11,22) (13,17) (14,25) (15,19) (18,21) (24,30) 
nodes: 7627  conflicts: 60  modelTime: 1764  solveTime: 33104  totalTime: 34888  modelSize: 72262  readTime: 20 size: 14