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