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