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