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