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