(1,16) (2,5) (3,28) (4,19) (6,15) (7,11) (9,29) (10,17) (12,23) (13,27) (14,18) (20,21) (22,30) (24,25) 
nodes: 85308  conflicts: 40  modelTime: 1479  solveTime: 464217  totalTime: 465707  modelSize: 72271  readTime: 11 size: 14