(1,14) (2,7) (3,20) (4,17) (5,25) (6,24) (8,29) (9,21) (10,22) (12,15) (13,27) (18,30) (19,28) (23,26) 
nodes: 1277143  conflicts: 30  modelTime: 1556  solveTime: 6677163  totalTime: 6678738  modelSize: 72285  readTime: 19 size: 14