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