(1,28) (3,5) (4,26) (6,30) (7,27) (8,11) (9,15) (10,14) (12,25) (13,19) (16,17) (18,23) (20,21) (24,29) 
nodes: 3629  conflicts: 74  modelTime: 1719  solveTime: 12284  totalTime: 14024  modelSize: 72262  readTime: 20 size: 14