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