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