(2,12) (3,11) (4,16) (8,21) (9,13) (10,24) (14,17) (15,23) (18,25) (19,29) (26,28) 
nodes: 2854  conflicts: 106  modelTime: 939  solveTime: 9230  totalTime: 10181  modelSize: 72266  readTime: 12 size: 11