(1,30) (2,26) (3,10) (4,11) (5,29) (6,14) (7,23) (8,19) (9,27) (12,13) (15,22) (16,17) (18,28) (20,24) (21,25) 
nodes: 47917  conflicts: 45  modelTime: 1577  solveTime: 170382  totalTime: 171970  modelSize: 72269  readTime: 11 size: 15