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