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