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