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