(1,16) (2,30) (3,13) (4,11) (5,19) (6,20) (7,26) (8,14) (10,21) (12,29) (15,27) (17,25) (18,22) (23,28) 
nodes: 10229  conflicts: 50  modelTime: 1215  solveTime: 39854  totalTime: 41088  modelSize: 72266  readTime: 19 size: 14