(1,28) (2,12) (3,17) (4,26) (5,8) (6,23) (7,13) (9,15) (10,22) (11,21) (14,27) (16,30) (18,24) (19,25) (20,29) 
nodes: 30875  conflicts: 31  modelTime: 1730  solveTime: 129459  totalTime: 131209  modelSize: 72268  readTime: 19 size: 15