(1,2) (3,11) (4,8) (5,23) (6,21) (7,13) (9,16) (12,17) (15,27) (19,24) (20,28) (25,26) (29,30) 
nodes: 48  conflicts: 94  modelTime: 1010  solveTime: 1392  totalTime: 2442  modelSize: 72266  readTime: 40 size: 13