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