(1,9) (2,28) (3,7) (6,18) (8,26) (10,14) (11,20) (12,23) (15,22) (16,21) (17,25) (24,27) (29,30) 
nodes: 3047  conflicts: 73  modelTime: 1454  solveTime: 12860  totalTime: 14325  modelSize: 72263  readTime: 11 size: 13