(1,17) (2,26) (3,11) (4,23) (5,25) (6,30) (8,28) (9,18) (10,12) (13,14) (16,21) (19,22) (20,29) (24,27) 
nodes: 50183  conflicts: 44  modelTime: 1706  solveTime: 212909  totalTime: 214633  modelSize: 72269  readTime: 18 size: 14