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