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