(1,10) (2,13) (3,26) (4,25) (5,12) (6,20) (7,30) (8,24) (9,18) (11,27) (15,17) (16,19) (21,28) (22,23) 
nodes: 20257  conflicts: 46  modelTime: 1544  solveTime: 81913  totalTime: 83468  modelSize: 72271  readTime: 11 size: 14