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