(1,10) (2,23) (3,27) (4,14) (5,12) (6,19) (7,30) (11,24) (13,21) (15,25) (17,26) (18,29) 
nodes: 3500  conflicts: 123  modelTime: 1262  solveTime: 10031  totalTime: 11314  modelSize: 72266  readTime: 21 size: 12