(1,3) (2,12) (4,28) (5,18) (6,21) (7,23) (8,24) (9,19) (10,13) (11,25) (14,22) (15,17) (16,27) (20,29) (26,30) 
nodes: 1494315  conflicts: 25  modelTime: 1714  solveTime: 6956656  totalTime: 6958388  modelSize: 72285  readTime: 18 size: 15