(1,19) (2,4) (3,16) (5,6) (7,18) (8,17) (9,11) (10,21) (12,14) (13,22) (15,27) (20,30) (23,28) (26,29) 
nodes: 72309  conflicts: 66  modelTime: 995  solveTime: 275339  totalTime: 276345  modelSize: 72262  readTime: 11 size: 14