(1,5) (2,6) (3,21) (4,11) (7,15) (8,25) (9,19) (10,13) (12,16) (14,29) (17,30) (18,23) (20,22) (24,27) (26,28) 
nodes: 874541  conflicts: 14  modelTime: 1713  solveTime: 4985102  totalTime: 4986869  modelSize: 72264  readTime: 53 size: 15