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