(1,28) (2,23) (3,21) (4,29) (5,30) (7,15) (8,13) (9,10) (11,19) (12,26) (17,25) (18,24) (22,27) 
nodes: 4034  conflicts: 93  modelTime: 1090  solveTime: 9230  totalTime: 10334  modelSize: 72266  readTime: 14 size: 13