(1,2) (3,10) (4,8) (5,11) (6,12) (7,16) (9,17) (13,28) (14,25) (15,21) (18,24) (19,26) (20,27) (22,23) (29,30) 
nodes: 48292  conflicts: 7  modelTime: 934  solveTime: 261701  totalTime: 262643  modelSize: 72264  readTime: 8 size: 15