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