(1,10) (2,22) (3,27) (4,16) (5,24) (6,8) (11,21) (12,17) (13,15) (14,23) (18,19) (25,29) (26,30) 
nodes: 1779  conflicts: 105  modelTime: 935  solveTime: 6386  totalTime: 7346  modelSize: 72266  readTime: 25 size: 13